초기화 목록을 사용하여 명시적 템플릿 생성자를 호출할 수 있습니까?

초기화 목록을 사용하여 명시적 템플릿 생성자를 호출하는 방법

질문:

명시적 템플릿을 사용할 수 있습니다. 생성자는 다음과 같이 초기화 목록을 사용하여 호출됩니다. 예?

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

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

답변:

안타깝게도 초기화 목록을 사용하여 템플릿 생성자를 명시적으로 호출하는 것은 불가능합니다.

C에 따르면 14.8.1/7의 표준, "[...] 왜냐하면 변환 멤버 함수 템플릿과 생성자 멤버 함수 템플릿은 함수 이름이 없으면 이러한 함수 템플릿에 대해 명시적인 템플릿 인수 목록을 제공할 방법이 없습니다."

즉, 자체 이름이 없는 생성자는 템플릿 인수를 명시적으로 받아들일 수 없습니다. 귀하의 경우 컴파일러는 t 기본 클래스 유형으로 사용되어 코드가 실패하게 됩니다.

이 문제를 해결하려면 해결 방법을 사용할 수 있습니다.

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

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

여기서 ID는 템플릿 매개변수에 대한 자리 표시자 역할을 합니다. . C 20 내에서는 std::type_identity를 ID 유형으로 사용할 수 있습니다.

위 내용은 초기화 목록을 사용하여 명시적 템플릿 생성자를 호출할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!