포인터 붕괴가 C 함수 템플릿의 오버로드 해결에 영향을 미치는 이유는 무엇입니까?

포인터 감쇠 및 함수 오버로드 해결

C에서 오버로드 해결은 주어진 인수 집합에 가장 잘 일치하는 함수를 선택하는 것을 목표로 합니다. 여러 함수가 실행 가능한 후보인 경우 변환 비용이 가장 적은 함수가 선호됩니다.

문자 배열의 길이를 인쇄하는 다음 함수 템플릿을 고려하세요.

template <size_t N>
void foo(const char (&s)[N]) {
    std::cout << "array, size=" << N - 1 << std::endl;
}

foo( "hello"), 템플릿 전문화를 성공적으로 식별하고 "array, size=5"를 출력합니다. 그러나 배열이 아닌 시나리오를 지원하기 위해 foo를 확장하면 모호성이 발생합니다.

void foo(const char* s) {
    std::cout << "raw, size=" << strlen(s) << std::endl;
}

이제 foo("hello")를 호출하면 템플릿 전문화가 다음과 같은 것처럼 보이지만 놀랍게도 "raw, size=5"가 인쇄됩니다. 더 정확하게 일치합니다.

모호함의 이유

배열은 본질적으로 첫 번째 요소에 대한 포인터이므로 배열에서 포인터로의 변환이 저렴하기 때문에 모호성이 발생합니다. C 오버로드 해결 규칙에 따르면 더 적은 변환 작업이 필요한 오버로드가 선호됩니다. 이 경우 배열에서 포인터로의 변환은 필요한 템플릿 인수 추론보다 순위가 높은 저비용 Lvalue 변환입니다.

모호성 해결

배열 함수 오버로드가 호출되도록 하기 위한 해결 방법은 배열이 아닌 오버로드를 다음과 같은 함수 템플릿으로 정의하는 것입니다. 음:

template <typename T>
auto foo(T s)
    -> std::enable_if_t<std::is_convertible<T, char const*>{}>
{
    std::cout << "raw, size=" << std::strlen(s) << std::endl;
}

부분 주문이 시작되므로 템플릿 전문화가 우선시됩니다.

위 내용은 포인터 붕괴가 C 함수 템플릿의 오버로드 해결에 영향을 미치는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!