C의 템플릿 제약 조건: C# 제약 조건 너머

객체 지향 프로그래밍에서 특정 요구 사항으로 유형을 정의하면 코드 견고성을 향상하고 오류를 방지할 수 있습니다. . C#에서 일반 형식 매개 변수에 제약 조건을 적용하면 특정 기준을 충족하는 형식만 인스턴스화될 수 있습니다.

C 11 구현

C는 기본적으로 템플릿 제약 조건을 지원하지 않지만 최신 표준(C 11)에서는 해결 방법으로 std::is_base_of와 함께 static_assert를 도입했습니다. 이를 통해 템플릿 매개변수가 지정된 기본 클래스에서 상속되는지 확인하여 컴파일 중에 제약 조건을 적용할 수 있습니다.

예:

다음 C 11 코드를 고려하세요.

#include 

template
class YourClass {

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

        // ...
    }
};

이 예에서 YourClass 템플릿은 BaseClass 기본 클래스에서 상속하기 위해 해당 유형 매개변수 T가 필요합니다. 파생되지 않은 유형을 매개변수로 사용하는 경우 컴파일 타임에 컴파일러 오류가 발생하여 런타임 오류를 방지합니다.

이 접근 방식은 C#의 일반 제약 조건과 유사한 기능을 제공하지만 C 11에만 해당되며 다음이 필요합니다. static_assert 및 std::is_base_of.