C는 함수 템플릿의 부분 특수화를 허용합니까?

부분 특수화 이상: 함수 템플릿 오버로드 발견

C 프로그래밍 영역에서 함수 템플릿 부분 특수화는 일반적으로 금지되어 전체만 허용됩니다. 전문화. 그러나 그렇지 않은 것으로 보일 수 있는 코드 조각과 관련하여 흥미로운 관찰이 나타났습니다.

다음 코드를 고려하십시오.

#include <iostream>
using std::cin;
using std::cout;
using std::endl;

template <typename T1, typename T2>
inline T1 max(T1 const& a, T2 const& b) {
    return a < b ? b : a;
}

template <typename T>
inline T const& max(T const& a, T const& b) {
    return 10;
}

int main() {
    cout << max(4, 4.2) << endl;
    cout << max(5, 5) << endl;
    int z;
    cin >> z;
}

얼핏 보면 두 번째 max 함수가 template은 두 템플릿 매개변수가 모두 동일한 유형 T를 나타내기 때문에 첫 번째 템플릿의 부분 특수화입니다. 그러나 이 가정은 올바르지 않습니다.

실제로 이 코드는 부분 특수화가 아닌 함수 템플릿 오버로드를 보여줍니다. 함수 템플릿 오버로드는 이름은 같지만 매개변수 유형이 다른 여러 함수 템플릿을 허용합니다. 이 경우 두 개의 max 함수 템플릿에는 서로 다른 서명이 있습니다. 하나는 서로 다른 유형의 인수를 취하고 다른 하나는 동일한 유형의 인수를 취합니다.

반면 부분 특수화에는 특정 버전을 정의해야 합니다. max와 같은 특정 템플릿 인수 세트에 대한 max 함수 템플릿. C 표준에 따르면 이는 함수 템플릿에는 허용되지 않습니다.

일부 컴파일러는 함수 템플릿의 부분 특수화를 허용하는 확장 기능을 제공할 수 있다는 점에 유의하는 것이 중요합니다. 그러나 이러한 확장으로 인해 모든 컴파일러와 플랫폼에서 이식할 수 없는 코드가 생성됩니다.

따라서 C 개발에서 코드 정확성과 이식성을 보장하려면 함수 템플릿 오버로드와 부분 특수화의 차이점을 이해하는 것이 중요합니다.

위 내용은 C는 함수 템플릿의 부분 특수화를 허용합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!