CA2260 : Implémenter correctement des interfaces mathématiques génériques

  • Article
Propriété Value
Identificateur de la règle CA2260
Titre Implémenter correctement des interfaces mathématiques génériques
Catégorie Utilisation
Le correctif est cassant ou non cassant Sans rupture
Activé par défaut dans .NET 8 À titre d’avertissement

Cause

Cette règle se déclenche lorsque vous implémentez une interface mathématique générique qui nécessite un paramètre de type auto-récurrent et que vous ne transmettez pas le type lui-même comme paramètre de type.

Description de la règle

Certaines interfaces mathématiques génériques introduisent des membres abstraits statiques. La seule façon d’accéder à ces membres statiques consiste à utiliser une contrainte générique qui implémente le « Curiously Recurring Template Pattern » (CRTP). Par conséquent, le type dérivé lui-même doit être utilisé pour le paramètre de type auto-récurrent. Si un type implémente une telle interface sans transmettre le paramètre de type requis et que CA2260 est ignoré, le code est compilé correctement, mais l’abstraction statique n’est pas accessible. Par conséquent, le type n’est pas utilisable. Le compilateur émet un avertissement avec l’ID CS0315 lors de ce type d’utilisation.

Comment corriger les violations

Transmettez le paramètre de type correct pour le paramètre de type auto-récurrent (TSelf) lors de l’implémentation de ces interfaces.

Exemple

Violation :

using System;

// Warns: The 'IParsable<TSelf>' requires the 'TSelf' type parameter to be filled with the derived type 'MyDate'
public readonly struct MyDate : IParsable<DateOnly>
{ ... }

Correctif :

Transmettez le type MyDate comme paramètre de type pour l’interface IParsable<TSelf>.

using System;

// No warning
public readonly struct MyDate : IParsable<MyDate>
{ ... }

Quand supprimer les erreurs

Ne supprimez aucun avertissement de cette règle.

Voir aussi