제약 조건이 있는 메서드에서 C#이 일반 형식을 추론할 수 없는 이유는 무엇입니까?

C# 일반 유형 추론: 한계 이해

C# 일반 메서드를 사용할 때 컴파일러가 제약 조건을 기반으로 일반 매개 변수를 추론할 수 있다고 가정하는 경우가 많습니다. 그러나 이러한 추론을 달성하기 어려워 보이는 상황이 있습니다.

다음 코드를 고려하세요.

<code class="language-csharp">interface IQuery<TResult> { }

interface IQueryProcessor
{
    TResult Process<TQuery, TResult>(TQuery query)
        where TQuery : IQuery<TResult>;
}

class SomeQuery : IQuery<string>
{
}

class Test
{
    void Test(IQueryProcessor p)
    {
        var query = new SomeQuery();

        // 编译失败
        p.Process(query);

        // 需要显式指定泛型参数
        p.Process<SomeQuery, string>(query);
    }
}</code>

일반 매개변수를 추론할 수 없기 때문에 이 코드는 컴파일에 실패합니다. 문제는 왜 컴파일러가 올바른 유형을 추론할 수 없는가입니다.

전 Microsoft C# 수석 엔지니어 Eric Lippert에 따르면 그 이유는 C#이 유형 추론을 수행하는 방식에 있습니다. 추론은 매개변수와 해당 형식 매개변수 유형을 검사하여 간단하게 수행됩니다. 이 경우 컴파일러에는 일반 매개변수를 추론하는 데 필요한 정보가 부족합니다.

에서 정의한 것과 같은 where TQuery : IQuery<TResult> 제약 조건은 서명의 일부로 간주되지 않으므로 추론에 직접 사용할 수 없습니다.

이 문제를 해결하려면 두 번째 Process 메서드 호출에 표시된 것처럼 일반 매개변수를 명시적으로 지정해야 합니다. 이는 제약 조건이 추가 정보를 제공하지만 메서드의 시그니처를 변경하지 않는다는 C# 디자인 철학과 일치합니다.

최신 C# 버전에서는 제약 조건 적용 규칙이 약간 수정되었습니다. 가장 정확한 정보를 얻으려면 공식 C# 문서를 참조하거나 C# 7.3 이상의 실제 구현을 확인하는 것이 좋습니다.

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