비전통적인 템플릿 선언: 비유형 매개변수를 사용한 템플릿 탐색

C 프로그래밍 영역에서는 템플릿과 같은 유형 매개변수를 지정하는 템플릿 선언을 자주 접합니다. . 그러나 고유한 변형에는 템플릿 과 같은 비유형 매개변수로 정의된 템플릿이 포함됩니다.

이 색다른 선언은 몇 가지 질문을 제기합니다. 비유형 매개변수를 구성하는 것은 무엇입니까? 그리고 유형 매개변수 없이 어떻게 템플릿이 존재할 수 있습니까?

비유형 매개변수 이해

템플릿의 비유형 매개변수는 유형이 아닌 컴파일 타임 상수인 값을 참조합니다. . 비유형 매개변수의 유형은 다음과 같습니다:

• 적분 상수 표현식(예: 정수, 열거형)
• 외부 링크가 있는 객체/함수에 대한 포인터
• 객체에 대한 참조 /외부 링크가 있는 함수

비형 매개변수가 있는 템플릿

템플릿은 실제로 기본 인수를 활용하여 명시적인 유형 매개변수 없이 존재할 수 있습니다. 이러한 경우 기본값은 비유형 매개변수에 할당됩니다. 예를 들면:

template
struct Vector {
    unsigned char buffer[SIZE];
};

이 예에서 SIZE는 기본값이 3인 비형 템플릿 매개변수입니다. SIZE 매개변수를 지정하지 않고 Vector 구조체의 인스턴스를 선언하면 기본값이 사용됩니다.

Vector test; // Size of buffer will be 3

구문 참고

명시적 템플릿 특수화(template로 표시됨)와 매개변수가 없는 템플릿을 구별하는 것이 중요합니다. 전자는 특정 매개변수 값에 대한 대체 정의를 지정하는 반면, 후자는 매개변수가 없고 기본값만 있습니다.

결론적으로 템플릿은 유형 매개변수를 넘어 확장할 수 있으며 비유형 매개변수도 포함할 수 있습니다. 이러한 유연성을 통해 프로그래머는 컴파일 타임 상수, 포인터 및 참조를 사용하여 템플릿을 정의하여 템플릿 애플리케이션의 범위를 넓히고 코드 재사용성을 향상시킬 수 있습니다.