Неявные преобразования C# и оператор ==

Оператор implicit работает только для присваивания.

Вы хотите перегрузить оператор равенства (==) как таковой:

class a
{
    public static bool operator ==(a x, b y)
    {
        return x == y.a;
    }

    public static bool operator !=(a x, b y)
    {
        return !(x == y);
    }
}

class b
{
    public a a{get;set;}
    public static implicit operator a(b b)
    {
        return b.a;
    }
}

Затем это должно позволить вам сравнить два объекта типа a и b, как это предлагается в вашем посте.

var x = new a();
var y = new b();
bool c = (x == y); // compiles

Примечание.

Я рекомендую просто переопределить методы GetHashCode и Equals, как предупреждает компилятор, но поскольку вы, похоже, хотите подавить их, вы можете сделать это следующим образом.

Измените объявление класса a на:

#pragma warning disable 0660, 0661
class a
#pragma warning restore 0660, 0661
{
    // ...
}

Можно ли использовать оператор == для экземпляров разных типов, где один может неявно преобразовываться в другой?

Да.

Что я пропустил?

Вот соответствующая часть спецификации. Вы пропустили выделенное слово.

Предопределенные операторы равенства ссылочного типа требуют, чтобы оба операнда были значениями ссылочного типа или литералом null. Более того, существует стандартное неявное преобразование типа одного операнда в тип другого операнда.

Пользовательское преобразование по определению не является стандартным преобразованием. Это ссылочные типы. Следовательно, предопределенный оператор равенства ссылочного типа не является кандидатом.

Если типы должны быть одинаковыми, вызывая ==, то почему работает [double == int]?

Ваше предположение, что типы должны быть одинаковыми, неверно. Существует стандартное неявное преобразование из int в double и оператор равенства, который принимает два числа типа double, так что это работает.

Я думаю, вы также пропустили этот момент:

Использование предопределенных операторов равенства ссылочного типа для сравнения двух ссылок, о которых известно, что они различны во время компиляции, является ошибкой времени компиляции. Например, если типы операндов времени компиляции являются двумя типами классов A и B, и если ни A, ни B не являются производными от другого, то два операнда не могут ссылаться на один и тот же объект. Таким образом, операция считается ошибкой времени компиляции.

Я бы предположил, что вам нужно фактически переопределить оператор == для интересующих вас типов. Будет ли среда компиляции/выполнения по-прежнему жаловаться, даже если типы неявно конвертируемы, - это то, с чем вам придется поэкспериментировать.

public static bool operator ==(a a, b b)
    {
        //Need this check or we can't do obj == null in our Equals implementation
        if (((Object)a) == null)
        {
            return false;
        }
        else
        {
            return a.Equals(b);
        }
    }

В качестве альтернативы просто используйте реализации Equals, как предлагает ole6ka, и убедитесь, что реализация выполняет приведение типов, которое вам нужно.

http://msdn.microsoft.com/en-us/library/8edha89s.aspx

В каждом случае один параметр должен быть того же типа, что и класс или структура, объявляющая оператор (...)

Использовать это

 bool c = a.Equals(b);