c# - 创建接口(interface)时的差异

Question

  public interface SomeInterfaceName<out T> where T : struct
  {
    T? SomePropertyName { get; }
  }

我得到的错误是:

error CS1961: Invalid variance: The type parameter 'T' must be invariantly valid on 'SomeInterfaceName.SomePropertyName'. 'T' is covariant.

我不需要这是协变的。我也可以删除 out 关键字。但随后 Resharper 建议我可以使用协方差，我同意，但我不明白为什么我不能。我只使用 T 作为返回值。还是因为Nullable<>不支持？

任何人都可以解释错误吗？

Answer 1

用 struct 做一个类型参数是没有意义的约束协变。值类型类型参数根本不支持泛型变体 - 例如，没有从 IEnumerable<int> 的转换到 IEnumerable<long>或 IEnumerable<object>即使有来自 int 的转化到两个long和 object .

您实际遇到的问题是 Nullable<T>不是协变的，但您正在尝试使用 T在 Nullable<T> 类型的属性中.这就是导致错误的原因。

我个人认为如果类型参数带有 struct 会更好不能将约束声明为协变或逆变(假设它不会有用)，但它本身并没有被禁止。