Contraintes de modèle en C

En C , il n'existe actuellement aucune prise en charge intégrée pour l'application de contraintes sur les paramètres de modèle, comme on le voit en C# en utilisant contraintes génériques. Cependant, il existe des solutions de contournement pour obtenir un effet similaire.

C 11 Static Assertion

C 11 fournit la macro static_assert et le modèle std::is_base_of pour effectuer la compilation. chèques. Dans l'exemple fourni, vous pouvez les utiliser comme suit :

#include 

template
class Foo {
    Foo() {
        // Compile-time check
        static_assert(std::is_base_of::value, "type parameter of this class must derive from IFoo");

        // ...
    }
};

Cela garantit que le paramètre T doit être dérivé de IFoo au moment de la compilation, empêchant les instanciations comme Foo dans l'exemple fourni.

Contraintes de modèle C 0x

Notez que C 0x, également connu sous le nom de C 17, introduit la prise en charge native du concept de contraintes de modèle, vous permettant de spécifier directement des contraintes sur les paramètres du modèle en utilisant une syntaxe telle que template ::valeur>. Cependant, cette fonctionnalité n'est pas disponible dans la norme C actuelle.