操作员 '？'不能应用于“T”类型的操作数 (2)

Question

我遇到了 C# 编译器 (VS 2015) 的奇怪行为。 在下面的代码中，编译器对 Value2 很满意，但抱怨 Value1: Operator '?'不能应用于“T”类型的操作数

为什么？

public interface IValueProvider<T>
{
    T Value { get; }
}

class Validator<T>
{
    public Validator(IValueProvider<T> provider)
    {
        _valueProvider = provider;
    }

    public T Value1 => _valueProvider?.Value ?? default(T);

    public T Value2 => _valueProvider != null ? _valueProvider.Value : default(T);

    private readonly IValueProvider<T> _valueProvider;
}

Answer 1

我认为问题在于编译器无法知道表达式_valueProvider?.Value 的类型。

让我们稍微简化一下：

public interface IValueProvider<T>
{
    T Value { get; }
}

public class Test
{
    public static void Foo<T>(IValueProvider<T> provider)
    {
        var mystery = provider?.Value;
    }
}

编译器应该推断mystery的类型是什么？

• 如果T 是引用类型或可为空的值类型，则表达式（因此mystery）的类型为T 是有意义的。

• 如果T 是不可为空 值类型，则表达式（因此mystery）的类型为T? 是有意义的。

由于T 没有任何限制，因此没有合适的类型可以使用，因此出现了一条（有点遗憾）错误消息。

如果属性的类型为string、int 或int?，所有这些都可以，表达式将分别为string、int? 和int? 类型。但是T 没有这样的功能。

如果你将T约束为引用类型，没问题，表达式是T类型：

public static void Foo<T>(IValueProvider<T> provider) where T : class
{
    // Variable is of type T
    var mystery = provider?.Value;
}

如果您将T 约束为不可为空的值类型，那很好，并且表达式的类型为T?（又名Nullable<T>）。

public static void Foo<T>(IValueProvider<T> provider) where T : struct
{
    // Variable is of type Nullable<T>
    var mystery = provider?.Value;
}

但没有任何一个约束，就没有有效的翻译。

Answer 2

这段代码：

public interface IValueProvider<T>
{
    T Value { get; }
}

public class Validator<T>
{
    public Validator(IValueProvider<T> provider)
    {
        var providerValue = provider?.Value;
    }
}

在provider?.Value 显示此错误：

运算符“？”不能应用于“T”类型的操作数

ReSharper 给出了这个提示：

无法将条件访问表达式类型T 提升为可空类型

因为provider.Value 的类型是T，它不受约束，所以你可以为T 传递一个不可为空的类型。

假设您将它与var validator = new Validator<int>(null); 一起使用，那么就会发生这种情况：

var providerValue = provider?.Value;

即

int providerValue = null;

这是不允许的，因为 int 不能为空。

其余的错误会从那里慢慢下降。所以将T 约束为可以为空的类型，例如where T : class，它会起作用。