c# - 泛型类型参数和 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约束，一个是class，一个是struct。然后我将它们用于:

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 的转换至 Func<int, int> .