Comment puis-je appliquer des contraintes sur les paramètres du modèle en C ?

Contraintes de modèle en C

En C , il n'existe actuellement aucune prise en charge intégrée pour appliquer des 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 :

<code class="cpp">#include <type_traits>

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

        // ...
    }
};</code>

Cela garantit que le paramètre T doit être dérivé de IFoo au moment de la compilation, empêchant ainsi les instanciations telles que 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 pour spécifier directement des contraintes sur les paramètres du modèle en utilisant une syntaxe telle que template ::value>. Cependant, cette fonctionnalité n'est pas disponible dans la norme C actuelle.

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!