Null-распространения для проверки нулевой предварительного условного оператора

Question

Посмотрев similar question, мне было интересно, если следующее выражение ...

if (attribute != null && attribute.Description == input) 

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

if (attribute?.Description == input) 

До сих пор я мог определить только после (как-то незначительные) различия:

• не представляется возможным в случае input имеет ненулевых типа в случае input
• бы сам null, поведение будет изменен

Я что-то пропустил? или существуют другие отличия в поведении?

---

EDIT: в конце концов, только отказоустойчивая альтернатива я нашел для первого фрагмента кода, будет:

if (attribute?.Description?.Equals(input) ?? false) 

Answer 1

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

Единственное различие в поведении, как вы упомянули, что, если input является null, то второй фрагмент кода не имеет возможности дифференциации между attribute быть null, когда он должен быть false, и где Description является null, где он должен be true.

О, и это предполагает, что attribute является локальной переменной или полем. Если это свойство (или на самом деле более сложное выражение), тогда он может иметь побочные эффекты или приводить к другому значению при вычислении дважды, как это происходит в первом фрагменте, но не во втором, что является разницей в поведении.

Это, конечно, предполагает однопоточный контекст. В многопоточном контексте, если attribute доступен из другого потока (либо потому, что это поле, доступное, либо потому, что оно закрыто в лямбда, которое подвергается другому потоку), тогда значение может быть различным при каждом его вычислении, поэтому два фрагмента отличаются по той же причине, что и в предыдущем абзаце.