부분 클래스 템플릿 인수 추론이 불가능한 이유는 무엇입니까?

클래스 템플릿에 대한 템플릿 인수 추론: 제한 사항 및 의미

함수 및 함수에 대한 템플릿 인수 추론 동작을 통합하라는 P0091 제안에 따라 클래스 템플릿에서 질문이 생깁니다. 부분 클래스 템플릿 인수 공제가 아닌 이유는 무엇입니까? 가능합니까?

초기 제안은 공제 메커니즘을 조정하여 두 가지 맥락 모두에서 부분 공제를 허용하는 것을 목표로 했습니다. 그러나 추론된 값이 여러 개의 유효한 템플릿 전문화를 생성할 때 잠재적인 혼란에 대한 우려가 나타났습니다. 전형적인 예는 튜플 유형의 추론입니다. 원래 튜플 정의에 여러 요소가 포함되어 있더라도 하나의 인수만 지정하면 컴파일러는 단일 요소가 있는 튜플을 추론할 수 있습니다.

이러한 모호성을 방지하려면 부분 클래스 템플릿 인수 공제가 제안서에서 제거되었습니다. 이러한 제한은 개발자가 특정 템플릿 매개변수를 명시적으로 지정하고 다른 매개변수는 추론하도록 하려는 시나리오에 영향을 미칩니다.

예를 들어 다음 클래스 템플릿을 고려해보세요.

template <std::size_t S, typename T>
struct test
{
    static constexpr auto size = S;
    using type_t = T;

    test(type_t (&amp;input)[size]) : data(input) {}
    type_t (&amp;data)[size]{};
};

도우미 함수는 다음과 같은 역할을 합니다. 테스트 객체 인스턴스화를 위한 구문 설탕:

template <std::size_t S, typename T>
test<S, T> helper(T (&amp;input)[S]) { return input; }

미리 선언된 헬퍼를 사용하는 경우 array:

int buffer[5];

auto a = helper<5, int>(buffer); // No deduction
auto b = helper<5>(buffer);      // Type deduced
auto c = helper(buffer);         // Type and size deduced

auto b = helper<5>(buffer);의 실패로 알 수 있듯이 클래스 템플릿의 경우 부분 공제가 지원되지 않습니다. 컴파일러는 인수에서 T 매개변수를 유추할 수 없으므로 컴파일 오류가 발생합니다. 대신, auto c = helper(buffer); S와 T를 모두 성공적으로 추론하여 모든 템플릿 매개변수를 명시적으로 지정해야 함을 보여줍니다.

위 내용은 부분 클래스 템플릿 인수 추론이 불가능한 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!