Vorlageneinschränkungen in C: Jenseits von C#-Einschränkungen

In der objektorientierten Programmierung kann die Definition von Typen mit spezifischen Anforderungen die Robustheit des Codes verbessern und Fehler verhindern . In C# stellt das Auferlegen von Einschränkungen für generische Typparameter sicher, dass nur Typen instanziiert werden können, die bestimmte Kriterien erfüllen.

C 11-Implementierung

C unterstützt keine nativen Vorlageneinschränkungen, aber Der neueste Standard (C 11) führte static_assert mit std::is_base_of als Workaround ein. Dadurch können Sie Einschränkungen während der Kompilierung erzwingen, indem Sie überprüfen, ob ein Vorlagenparameter von einer angegebenen Basisklasse erbt.

Beispiel:

Betrachten Sie den folgenden C 11-Code:

#include 

template
class YourClass {

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

        // ...
    }
};

In diesem Beispiel erfordert die YourClass-Vorlage, dass ihr Typparameter T von der BaseClass-Basisklasse erbt. Wenn ein nicht abgeleiteter Typ als Parameter verwendet wird, tritt zur Kompilierungszeit ein Compilerfehler auf, wodurch Laufzeitfehler vermieden werden.

Dieser Ansatz bietet ähnliche Funktionen wie die generischen Einschränkungen von C#, ist jedoch spezifisch für C 11 und erfordert die Verwendung von static_assert und std::is_base_of.