일반 유형 매개 변수 및 Null 허용 메서드 오버로드

Question

안녕
나는 일반적이고 널 (NULL) 사용하여이 코드를 가지고 :

// 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 + 1Func<int, int>- 전환이있는 반면 (int? x) => x + 1Func<int?, int>에서 아무런 변환도 없다.