C의 템플릿 제약 조건

C에서는 현재 C#에서 볼 수 있듯이 템플릿 매개 변수에 제약 조건을 적용하는 기본 지원 기능이 없습니다. 일반적인 제약. 그러나 비슷한 효과를 얻을 수 있는 해결 방법이 있습니다.

C 11 정적 어설션

C 11은 컴파일 타임을 수행하기 위해 static_assert 매크로와 std::is_base_of 템플릿을 제공합니다. 체크 무늬. 제공된 예에서는 다음과 같이 사용할 수 있습니다.

#include 

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

        // ...
    }
};

이렇게 하면 컴파일 시 T 매개변수가 IFoo에서 파생되어야 하며 제공된 예에서 Foo과 같은 인스턴스화를 방지할 수 있습니다.

C 0x 템플릿 제약 조건

C 17이라고도 알려진 C 0x는 템플릿 제약 조건 개념에 대한 기본 지원을 도입하여 다음을 허용합니다. template ::value>와 같은 구문을 사용하여 템플릿 매개변수에 대한 제약 조건을 직접 지정합니다. 하지만 현재 C 표준에서는 이 기능을 사용할 수 없습니다.