Vorlageneinschränkungen in C

In C gibt es derzeit keine integrierte Unterstützung für die Durchsetzung von Einschränkungen für Vorlagenparameter, wie sie in C# unter Verwendung von zu sehen sind generische Einschränkungen. Es gibt jedoch Problemumgehungen, um einen ähnlichen Effekt zu erzielen.

C 11 Static Assertion

C 11 stellt das Makro „static_assert“ und die Vorlage „std::is_base_of“ zur Kompilierzeit bereit Schecks. Im bereitgestellten Beispiel können Sie diese wie folgt verwenden:

#include 

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

        // ...
    }
};

Dadurch wird sichergestellt, dass der T-Parameter zur Kompilierungszeit von IFoo abgeleitet werden muss, wodurch Instanziierungen wie Foo im bereitgestellten Beispiel verhindert werden.

C 0x Template Constraints

Beachten Sie, dass C 0x, auch bekannt als C 17, native Unterstützung für das Konzept der Vorlageneinschränkungen einführt, sodass Sie dies tun können Geben Sie Einschränkungen für Vorlagenparameter direkt an, indem Sie eine Syntax wie Vorlage ::value> ist. Diese Funktion ist jedoch im aktuellen C-Standard nicht verfügbar.