.NET이 일반 메서드에서 반환 유형을 추론할 수 없는 이유는 무엇입니까?

.NET에서 일반 메서드 반환 유형을 유추할 수 없는 이유

.NET에서 일반 메서드는 반환 유형을 유추할 수 없습니다. 이 제한은 유형 추론이 표현식 내에서 "양방향"으로 흐르지 않도록 하기 위해 적용됩니다. 이로 인해 가능한 유형 조합이 폭발적으로 늘어날 수 있습니다.

예

다음을 고려하세요. 다음 일반 메서드:

static TDest Gimme<TSource, TDest>(TSource source)
{
    return default(TDest);
}

반환 유형 추론이 허용된 경우 다음 코드는 다음과 같습니다. 유효:

string dest = Gimme(5);

그러나 이 코드는 Gimme의 반환 유형을 int 인수 유형에서 추론할 수 없기 때문에 컴파일러 오류를 발생시킵니다.

추론

이러한 제한의 이유는 유형 정보가 표현식 내부와 외부 모두에서 흐르는 상황을 방지하기 위한 것입니다. 다음 시나리오를 고려하십시오.

시나리오 1: 다중 오버로드

다양한 인수 유형을 가진 메서드 N의 오버로드가 10개 있다고 가정합니다. 일반 메서드에 대한 반환 유형 유추를 허용한 경우 N(G(5)) 표현식에서 G의 반환 유형을 유추해야 합니다. 이를 위해서는 N의 10가지 과부하를 모두 고려하고 "최적의" 것을 선택해야 합니다. 그러나 "최상의" 오버로드를 결정하는 기준이 불분명하여 잠재적인 모호성이 발생할 수 있습니다.

시나리오 2: 조건식

double x = b 표현식을 고려하세요. ? G(5) : 123. 반환 유형 추론이 허용된 경우 조건식(double)의 유형을 기반으로 G의 반환 유형을 결정해야 합니다. 그러나 이는 G의 반환 유형이 조건식(int)의 인수 유형으로 암시적으로 변환 가능해야 할 가능성을 고려하지 않습니다.

시나리오 3: 중첩 표현식

N(N(b ? G(5) * 표현식과 같이 여러 조건식과 메서드 호출을 결합하는 경우 G("hello") : 123)), 반환 유형 추론의 복잡성이 기하급수적으로 증가합니다. 가능한 유형 조합의 폭증으로 이어지는 G와 N의 가능한 모든 오버로드를 고려해야 합니다.

결론

일반에 대한 반환 유형 추론을 금지함으로써 방법을 사용하면 .NET은 이러한 조합 폭발을 방지하고 유형 추론이 예측 가능하고 일관된 방식으로 흐르도록 보장합니다.

위 내용은 .NET이 일반 메서드에서 반환 유형을 추론할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!