추론되지 않은 컨텍스트에서 템플릿 인수 추론이 실패하는 이유는 무엇입니까?

템플릿 인수 추론 및 추론되지 않은 컨텍스트

C에서 템플릿 인수 추론을 통해 컴파일러는 유형에 따라 템플릿 매개변수의 유형을 결정할 수 있습니다. 템플릿 함수나 클래스에 전달된 인수의 수입니다. 그러나 이 메커니즘은 추론되지 않은 컨텍스트와 관련된 특정 시나리오에서는 실패할 수 있습니다.

다음 코드 조각을 고려하세요.

template <class t>
struct S {
    typedef T& type;
};

template <class a>
A temp(S<a>::type a1) {
    return a1;
}

template <class a class b>
B temp2(S<a>::type a1, B a2) {
    return a1 + a2;
}</a></class></a></class></class>

여기서 S 구조체는 유형에 대한 참조를 얻는 방법으로 사용됩니다. 템플릿 매개변수 A에 의해 유지됩니다. 그러나 아래와 같이 정수 값으로 이러한 함수를 호출하려고 하면 컴파일러는 보고합니다. 오류:

int main() {
    char c = 6;
    int d = 7;
    int res = temp(c);
    int res2 = temp2(d, 7);
}

오류 메시지:

• 오류 1: temp(S::type): A에 대한 템플릿 인수를 추론할 수 없습니다
• 오류 2: temp2(S::type,B): 다음에 대한 템플릿 인수를 추론할 수 없습니다. A

설명:

A 유형이 추론되지 않은 컨텍스트에서만 사용되기 때문에 문제가 발생합니다. 이는 컴파일러가 인수에서 이를 추론할 수 없음을 의미합니다. 함수에 전달되었습니다. 특히 S::type은 중첩된 템플릿 유형 내에 나타나며 temp 또는 temp2의 인수와 직접적인 관련이 없기 때문에 추론되지 않은 것으로 간주됩니다.

해결책:

이 문제를 해결하고 템플릿 인수 추론을 활성화하려면 다음과 같이 함수 호출 시 A 유형을 명시적으로 지정해야 합니다. 아래:

temp<char>(c);</char>

이 명시적 사양을 통해 컴파일러는 A 유형을 결정하고 템플릿 함수를 성공적으로 인스턴스화할 수 있습니다.

위 내용은 추론되지 않은 컨텍스트에서 템플릿 인수 추론이 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!