C 17은 클래스 템플릿 인수 추론(CTAD)에서 템플릿 인수를 부분적으로 추론할 수 있습니까?

C 17의 부분 클래스 템플릿 인수 추론

C 17의 클래스 템플릿 인수 추론(CTAD)을 통해 컴파일러는 제공된 인수. 이 기능을 사용하면 자동 추론이 가능하지만, 템플릿 인수를 부분적으로 지정하고 나머지는 컴파일러가 추론하도록 남겨둘 수 있나요?

C 17의 부분 추론

현재 CTAD에는 템플릿 인수 사양이 전부 또는 전혀 필요하지 않습니다. 그러나 P1021R0과 같은 제안을 통해 부분공제를 도입하려는 시도가 있어왔다. 이러한 제안은 승인되지 않았지만 별칭 템플릿(P1814) 및 집계(P1816)에 대한 지원이 C 20 작업 초안에 통합되었습니다.

해결 방법

In 네이티브 부분 추론이 없으면 다음은 잠재적인 해결 방법입니다.

<code class="cpp">template<class T, class U> using NewBase2 = Base<T, U, double>;

// Usage
void func() {
    NewBase2<bool, int> val(1, 2);
}</code>

NewBase2를 Base의 별칭으로 도입하면 템플릿 인수(T 및 U)를 부분적으로 지정하는 동시에 컴파일러가 나머지 인수를 추론할 수 있습니다. func()의 사용법에 따른 하나(V).

참고: 이 해결 방법을 사용하려면 별칭 템플릿 인수를 명시적으로 지정해야 하며, 이는 CTAD의 목적을 어느 정도 무효화합니다.

위 내용은 C 17은 클래스 템플릿 인수 추론(CTAD)에서 템플릿 인수를 부분적으로 추론할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!