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

부분 클래스 템플릿 인수 추론: 불가능한 이유

클래스 템플릿에 대한 템플릿 인수 추론을 도입하려는 이전 노력의 목적은 함수 템플릿의 동작과 일치하도록 하는 것입니다. 그러나 P0091 제안의 릴리스에서는 부분 클래스 템플릿 인수 추론이 여전히 불가능하다는 주요 제한 사항이 드러났습니다.

클래스 템플릿 테스트가 정의된 제공된 예제를 고려하세요. 도우미 함수 도우미는 다양한 형태의 인수 추론을 보여주는 코드 조각에서 알 수 있듯이 테스트 개체 생성을 단순화합니다.

대부분의 경우 코드가 컴파일되는 동안 클래스 템플릿에 대해 부분 추론을 시도할 때 어려움이 발생합니다. 예를 들어, 다음 코드의 6행은 컴파일에 실패합니다.

int buffer[5];

test<5> b(buffer);      // Type deduced: FAILS.

이는 컴파일러가 유형 매개변수 T를 결정할 수 없기 때문에 발생합니다. 명시적인 지정이 없으면 컴파일러는 모든 템플릿 인수가 동시에 추론될 것으로 예상합니다. . 이는 각 매개변수의 추론 과정이 다른 매개변수의 추론에 영향을 미칠 수 있기 때문에 문제가 됩니다.

Botond Ballo의 보고서는 이러한 제한의 근거를 강조합니다.

원래 제안된 기능에는 다음이 포함되었습니다. 템플릿 인수 중 일부를 명시적으로 지정하고 나머지는 추론하도록 남겨두는 부분 추론 조항이지만 경우에 따라 매우 혼란스러울 수 있다는 우려로 인해 삭제되었습니다.

// Would have deduced tuple<int, string, float>,
// but tuple<int> is a well-formed type in and of itself!
tuple<int> t(42, "waldo", 2.0f);

따라서 함수 템플릿은 부분 인수 추론을 허용하지만 클래스 템플릿의 부분 추론으로 인해 도입된 모호함으로 인해 함수 템플릿이 제외되었습니다.

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