Почему невозможно сравнение?

Question

[KickMicro]

Тип Т создан так:
class Program<T>

Comments

[alexalexes]

Компилятор не знает, как сравнивать ваш объект.
Нужно перегрузить оператор == для шаблона класса.
В методе-перегрузке опишете, что значит, когда объекты равны.

[KickMicro]

alexalexes, но это же одинаковый в теории тип. Разве компилятор не может сравнить ето в бинорном виде на соответствие?

[Станислав Макаров]

KickMicro
> Разве компилятор не может сравнить ето в бинорном виде на соответствие?
А кто сказал что это будет правильно в общем случае? Вы пишете обобщённый код, подразумевается что он будет работать с любым T.

[KickMicro]

Станислав Макаров, на плюсах можно было бы с указателями решить проблему. эх

Answer 1

[Дмитрий Башинский]

Потому что под T могут быть не сравниваемые значения.
Укажи что будет под T, на пример:

class MyClass<T> where T :class
    {

    }

Comments

[KickMicro]

Да, спасибо. То есть как я понял, несравниваемые значения те, к которым нет перегрузки "==" и это не базовый тип. Тогда вопрос, часть where T : class указывает что?

[Петр]

KickMicro, что T будет классом тоесть ссылочным типом. Поскольку если не указать, то Т может быть чем угодно.
Тут подробнее.

Answer 2

[Артем]

Потому что IEquatable не реализован для класса. Компилятор не знает, как сравнивать ваши объекты.
https://stackoverflow.com/questions/10454519/best-...