c# - Resharper、ICloneable 且永不为空

Question

Resharper 提示以下代码，说最后的空检查是多余的，因为“表达式总是假的”:

  ICloneable data = item as ICloneable;
  if (data == null)
    throw new InvalidCastException("blah blah, some error message");

  object copy = data.Clone();
  if (copy == null) //  <-- this is where it complains.
    return default(T);

它怎么知道它永远不能为空？

Answer 1

ReSharper 假设您的对象遵守 ICloneable 的契约，除其他外，它说

The resulting clone must be of the same type as, or compatible with, the original instance.

从 data 的事实来看被检查为非空，并假设您从 ICloneable.Clone() 的实现中返回相同或兼容类型的对象。 ReSharper 得出结论 copy也是非空的，触发警告。

当然可以返回null来自 Clone .但是，返回 null将是一个编码错误，因此跳过该空检查是个好主意。