템플릿 인수에 std::enable_if_t를 사용할 때 재정의 오류가 발생하는 이유는 무엇입니까?

템플릿 인수의 std::enable_if_t에 대한 비정상적인 재정의 오류

C에서 std::enable_if는 특정 제약 조건에 따라 조건부 템플릿 활성화를 허용하는 메타 함수입니다. 최근에는 보다 간결한 std::enable_if_t로 대체되었습니다. 그러나 새로운 구문을 사용하기 위해 기존 코드를 이식하려고 하면 일부 사용자에게 예기치 않은 재정의 오류가 발생합니다.

예제 코드

std를 사용하여 작성된 다음 코드를 고려하세요. 활성화_if:

template<typename T,
         typename std::enable_if<std::is_same<int, T>::value>::type* = nullptr>
void f() { }

template<typename T,
         typename std::enable_if<std::is_same<double, T>::value>::type* = nullptr>
void f() { }

이 코드는 int 및 double에 대한 별도의 특수화를 사용하여 성공적으로 컴파일됩니다. 이제 std::enable_if_t 구문을 사용하여 이를 다시 작성한다고 가정합니다.

template<typename T,
         typename = std::enable_if_t<std::is_same<int, T>::value>>
void g() { }

template<typename T,
         typename = std::enable_if_t<std::is_same<double, T>::value>>
void g() { }

예기치 않은 오류

예상과 달리 이 업데이트된 코드는 컴파일에 실패합니다. GCC 5.2 사용 보고:

error: redefinition of 'template<class T, class> void g()'
       void g() { }

설명

오류는 std::enable_if_t가 조건이 아니라 유형을 나타낸다는 사실에 있습니다. 템플릿 인수로 사용되는 경우 유형 제약 조건을 지정합니다. 원래 std::enable_if의 경우 두 번째 템플릿 매개변수는 포인터 유형인 반면 std::enable_if_t 버전에서는 유형 별칭이 됩니다. 이로 인해 동일한 유형(void())을 가진 두 개의 서로 다른 템플릿 인수가 생성됩니다.

해결 방법

이러한 모호성을 피하려면 두 번째 템플릿 매개 변수가 고유 유형 제약 조건을 나타냅니다. 이를 달성하는 한 가지 방법은 더미 템플릿 매개변수를 사용하는 것입니다.

template<typename T,
         typename U = std::enable_if_t<std::is_same<int, T>::value>>
void g() { }

template<typename T,
         typename U = std::enable_if_t<std::is_same<double, T>::value>>
void g() { }

이 경우 U는 두 템플릿 인수를 구별하는 데만 사용되는 더미 매개변수입니다. 이렇게 수정하면 코드가 성공적으로 컴파일됩니다.

위 내용은 템플릿 인수에 std::enable_if_t를 사용할 때 재정의 오류가 발생하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!