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>
{ }</code>

上記のコードでは、SomeQuery インスタンスを使用して IQueryProcessor の Process メソッドを呼び出すと、コンパイラーは正しいジェネリック パラメーターを推論できません。パラメーターを明示的に指定すると、この問題は解決されます:

<code class="language-csharp">p.Process<SomeQuery, string>(query);</code>

推論失敗の理由

最初の仮定に反して、制約だけでは型推論には十分ではありません。 C# の型推論は、パラメーターとそれに対応する仮パラメーターの型に完全に基づいています。提供されたパラメーターの型は SomeQuery (IQuery<string> を実装する) であるため、コンパイラーは、ジェネリック パラメーターが TQuery = SomeQuery および TResult = string であるべきであることを自動的に推論できません。

Eric Lippert の記事「制約は署名の一部ではない」 (https://www.php.cn/link/4cf06252cc21d496e754ad7185d0617d.

)

以上がC# のジェネリック型推論がインターフェイス制約により失敗するのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。