泛型类型参数和 Nullable 方法重载

Question

嗨
我使用通用和可为空的代码：

// The first one is for class
public static TResult With<TInput, TResult>(this TInput o, 
          Func<TInput, TResult> evaluator)
    where TResult : class
    where TInput : class

// The second one is for struct (Nullable)
public static TResult With<TInput, TResult>(this Nullable<TInput> o, 
          Func<TInput, TResult> evaluator)
    where TResult : class
    where TInput : struct

请注意 TInput 约束，一个是类，另一个是结构。然后我将它们用于：

string s;
int? i;

// ...

s.With(o => "");
i.With(o => ""); // Ambiguos method

它会导致 Ambiguos 错误。但我还有另一对：

public static TResult Return<TInput, TResult>(this TInput o,
          Func<TInput, TResult> evaluator, TResult failureValue)
    where TInput : class

public static TResult Return<TInput, TResult>(this Nullable<TInput> o,
          Func<TInput, TResult> evaluator, TResult failureValue)
    where TInput : struct

这个编译成功

string s;
int? i;

// ...

s.Return(o => 1, 0);
i.Return(o => i + 1, 0);

我不知道为什么会发生这种情况。第一个看起来不错，但编译错误。如果第一个是，第二个（'Return'）应该是错误，但编译成功。我错过了什么吗？

Answer 1

在选择重载时不考虑泛型方法中的约束 - 在选择重载后检查它们。

参数类型内的约束被检查作为选择重载的一部分。这有点令人困惑，但最终还是有意义的。

我对此有一个blog post，这可能有助于进一步理解它。

另外请注意，您的第二个示例具有有助于类型推断的附加参数，这就是两者之间的区别。 TResult 被推断为 int，这会阻止第一个重载有效 - 没有从 (int? x) => x + 1 到 Func<int?, int> 的转换，而 是从 (int x) => x + 1 到 @987654327 的转换@。