Почему базовые типы C# 'Equals реализуют два раза?

Question

Я смотрел на справочник для .NET и реализации Equals для Int32, к примеру, выглядит следующим образом:

public override bool Equals(Object obj) { 
    if (!(obj is Int32)) { 
     return false; 
    } 
    return m_value == ((Int32)obj).m_value; 
} 

Я посмотрел на Чару и Bool, и они оба делают тоже самое.

Источник: http://referencesource.microsoft.com/mscorlib/R/13ad4f778352f7c4.html

Это, однако, нарушает CA1800: Do not cast unnecessarily.

Кроме того, я провел несколько простых тестов с is и создал локальную переменную, и последнее, похоже, всегда дает лучшую производительность. Это как-то не относится к базовым типам? И, если нет, не правильно ли предположить, что, поскольку это базовый метод, его можно назвать миллионы раз в алгоритме, и, следовательно, производительность должна быть приоритетной?

Answer 1

Предположим, вы просто бросили значение без оборонительного кода:

public override bool Equals(Object obj) 
{ 
    return m_value == ((Int32)obj).m_value; 
} 

С Equals может принять object, мы должны быть в состоянии не только пройти в int значений, но и, float, string, или практически любой тип. Хуже того, компилятор не будет жаловаться, потому что на самом деле все равно всего objects, так что звонок полностью легален.

Но что произойдет, если вы нанесете string на номер int? Мы получаем InvalidCastException во время выполнения, что совсем не приятно.

Таким образом, мы должны проверить, что object на самом деле int, перед заливкой его в int, это то, что ключевое слово is делает после того, как все.

Как примечание стороны, тело метода может также быть записано как:

return obj is Int32 ? m_value == ((Int32)obj).m_value : false; 

Answer 2

Оператор is используется для проверки типа obj.
Прямое приведение может привести к исключению, если obj не относится к тому типу, к которому вы его применили (Int32 в этом случае).
Чтобы предотвратить это потенциальное исключение, используется is.
Случаи, когда obj имеют другой тип, напрямую подпрыгивают при таком подходе.