Почему эти два сравнения имеют разные результаты?

Question

Почему этот код возвращает истину:

new Byte() == new Byte() // returns true 

но этот код возвращает ложь:

new Byte[0] == new Byte[0] // returns false 

Answer 1

Поскольку new Byte() создает тип значения, которые сравниваются по значению (по умолчанию он будет возвращать byte со значением 0). И new Byte[0] создает массив, который является ссылочным типом и сравнивается по ссылке (и эти два экземпляра массива будут иметь разные ссылки).

См. Value Types and Reference Types артикул для деталей.

Answer 2

Байты: value types в .NET, что означает, что оператор == возвращает true тогда и только тогда, когда два байта имеют одинаковое значение. Это также известно как value equality.

Но массивы reference types в .NET, то есть оператор == возвращает true тогда и только тогда, когда они ссылаются на один и тот же экземпляр массива в памяти. Это также известно как reference equality or identity.

Обратите внимание, что оператор == может быть перегружен как для ссылочных, так и для значений. System.String, например, является ссылочным типом, но оператор == для строк сравнивает каждый символ в массиве в последовательности. См. Guidelines for Overloading Equals() and Operator == (C# Programming Guide).

Если вы хотите, чтобы проверить, является ли массивы содержат точно такое же значение (по порядку), вы должны рассмотреть возможность использования Enumerable.SequenceEqual вместо ==.

Answer 3

Сравнение ссылки на самом деле сравнивает адрес указателя, который отличается от причины, возвращающей значение false и в значение, не имеет значения, что он сравнивает значение.

Компилятор попытается сохранить тип значения в регистрах, но из-за ограниченного числа регистров дальнейшее хранение происходит в стеке со значениями [Reference], в то время как тип Reference находится в стеке, но значение хранит адрес адреса памяти в куче.

Сравнение здесь сравнивает значение, присутствующее в стеке, которое в первом случае является одинаковым, а во втором случае это адреса кучи, которые различны.

Answer 4

Существует перегрузка == оператора, в котором оба операнда имеют тип byte и реализуется для сравнения значения каждого байта; в этом случае у вас есть два нулевых байта, и они равны.

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

Следует отметить, что это не имеет ничего общего с тем, что byte является типом значений, а массивы - ссылочными типами.Оператор == для byte имеет значение семантики только, потому что существует определенная перегрузка оператора с этой реализацией. Если эта перегрузка не существует, то будет перегрузки, для которой два байта будут действительными операндами, и поэтому код не будет компилироваться вообще. Вы можете увидеть это достаточно легко, создав пользовательский struct и сравнив два экземпляра его с оператором ==. Код не будет компилироваться, если вы не предоставите свою собственную реализацию == для этих типов.