泛型类型参数和可空方法重载

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到Func<int, int>的转换。