Pourquoi C# ne peut-il pas déduire des types génériques dans des méthodes avec des contraintes ?

Inférence de type générique C# : comprendre ses limites

Lors de l'utilisation de méthodes génériques C#, on suppose souvent que le compilateur peut déduire les paramètres génériques en fonction des contraintes. Il existe cependant une situation dans laquelle cette conclusion semble difficile à réaliser.

Considérez le code suivant :

<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>

Ce code ne parvient pas à être compilé car les paramètres génériques ne peuvent pas être déduits. La question est : pourquoi le compilateur ne peut-il pas déduire le type correct ?

Selon Eric Lippert, ancien ingénieur en chef de Microsoft C#, la raison réside dans la manière dont C# effectue l'inférence de type. L'inférence se fait simplement en examinant les paramètres et les types de paramètres formels correspondants. Dans ce cas, le compilateur ne dispose pas de suffisamment d’informations pour déduire les paramètres génériques.

Les contraintes

, telles que celles définies par where TQuery : IQuery<TResult>, ne sont pas considérées comme faisant partie de la signature et ne peuvent donc pas être utilisées directement pour l'inférence.

Pour résoudre ce problème, les paramètres génériques doivent être spécifiés explicitement, comme indiqué dans le deuxième appel de méthode Process. Ceci est cohérent avec la philosophie de conception C# selon laquelle les contraintes fournissent des informations supplémentaires mais ne modifient pas la signature de la méthode.

Dans la dernière version C#, les règles d'application des contraintes ont été légèrement modifiées. Pour les informations les plus précises, il est recommandé de consulter la documentation officielle C# ou de vérifier l'implémentation réelle de C# 7.3 et supérieur.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!