기본값과 함께 `std::enable_if_t`를 사용하면 재정의 오류가 발생하는 이유는 무엇입니까?

enable_if_t 템플릿 인수의 재정의 문제

제공된 코드에서 새로운 구문을 사용하여 std::enable_if 유형 제약 조건을 변환하려고 시도합니다. (typename = 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() { }

이 모두 templatevoid() 유형이기 때문입니다. 두 번째 유형 인수의 기본값이 다르다는 사실은 중요하지 않습니다. 컴파일러는 두 템플릿을 동일한 것으로 간주하기 때문입니다.

이 문제를 해결하려면 활성화_if_t 제약 조건에서 기본값을 제거해야 합니다. 결과적으로 다음 코드가 생성됩니다.

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

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

이 경우 두 번째 유형 인수는 이제 첫 번째 유형에 종속되는 포인터입니다. 컴파일러는 두 템플릿 사이에 충돌이 있는지 확인하기 위해 T 유형을 대체할 수 있으며 충돌이 없음을 확인합니다.

위 내용은 기본값과 함께 `std::enable_if_t`를 사용하면 재정의 오류가 발생하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!