C 이니셜라이저 목록에서 템플릿 생성자를 명시적으로 호출할 수 없는 이유는 무엇입니까?

C에서 명시적 템플릿 생성자 호출

C에서는 초기화 목록에서 명시적으로 템플릿 생성자를 호출할 수 없습니다. 이는 생성 중에 괄호 안에 포함되지 않고 함수 템플릿 이름을 따르는 템플릿 인수에 사용되는 특정 구문 때문입니다.

C 표준(14.8.1/7)에 명시된 대로:

[참고: 명시적인 템플릿 인수 목록은 함수 템플릿 이름을 따르기 때문에 변환 멤버 함수 템플릿과 생성자 멤버 함수 템플릿은 함수 이름을 사용하지 않고 호출되기 때문에 다음에 대한 명시적인 템플릿 인수 목록을 제공할 방법이 없습니다. 이러한 기능 템플릿. ]

따라서 다음 예제는 작동하지 않습니다.

struct T { 
    template<class> T();
};

struct U {
    U() : t<void>() {} //does not work
    T t;
};

이 경우 컴파일러는 t 기본 클래스 유형으로 사용되며 일치하는 기본 생성자를 찾지 못합니다.

해결 방법

이 제한 사항을 해결하려면 다음을 사용하는 함수 템플릿을 사용할 수 있습니다. 인수로서의 ID 유형:

struct T { 
    template<class U> T(identity<U>);
};

struct U {
    U() : t(identity<void>()) {}
    T t;
};

다음과 같은 ID 정의가 제공됩니다. Boost:

template<typename T> struct identity { typedef T type; };

또는 C 20에서 std::type_identity:

using ::std::type_identity;

이 접근 방식을 사용하면 템플릿 인수를 초기화 목록의 생성자에 효과적으로 전달할 수 있습니다.

위 내용은 C 이니셜라이저 목록에서 템플릿 생성자를 명시적으로 호출할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!