템플릿 인수 추론에서 암시적 유형 변환이 실패하는 이유는 무엇입니까?

암시적 유형 변환 및 템플릿 추론

C에서 템플릿 인수 추론은 유형 매개변수를 기반으로 자동으로 추론할 수 있도록 하는 메커니즘입니다. 함수 인수. 그러나 템플릿 추론에서 암시적 유형 변환에는 제한이 있습니다.

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

<code class="cpp">#include<iostream>
using namespace std;

template<typename Dtype>
class Scalar{
public:
  Scalar(Dtype v) : value_(v){}
private:
  Dtype value_;
};

template<typename Dtype>
void func(int a, Scalar<Dtype> b){ 
  cout << "ok" <<endl;
}

int main(){
  int a = 1;
  func(a, 2); // error: no matching function for call to ‘func(int&, int)’
  return 0;
}

여기서 목표는 정수로 func() 템플릿 함수를 호출하는 것입니다. a 및 암시적으로 변환된 Scalar; 개체 2. 그러나 이로 인해 컴파일 오류가 발생합니다. 이유는 무엇입니까?

오류 이해

다음과 같은 이유로 컴파일러가 템플릿 인수 추론을 수행하지 못합니다.

• 암시적 유형 변환이 고려되지 않습니다. 템플릿 인수 추론 중
• int에서 Scalar 는 추론 중에 컴파일러에서 인식되지 않는 사용자 정의 변환입니다.

  솔루션 옵션

  이 문제를 해결하려면 몇 가지 접근 방식을 취할 수 있습니다. :

  • 호출자 사이트에서 명시적 변환:
    호출자 사이트에서 수동으로 인수 변환:

    <code class="cpp">func(a, Scalar<int>{2});</code>

  • 연역 가이드(C 17):
    Scalar에 대한 추론 가이드를 정의하고 func()를 다음과 같이 호출합니다.

    <code class="cpp">func(a, Scalar{2});</code>

  • Explicit 템플릿 인스턴스화(Scalar 생성자가 명시적이지 않은 경우에만):
    원하는 유형 매개변수에 대한 func() 템플릿을 명시적으로 인스턴스화합니다:

    <code class="cpp">func<int>(a, 2); </code>

  결론

  C의 템플릿 인수 추론은 강력한 메커니즘이지만 사용자 정의 변환을 처리할 때 한계가 있습니다. 논의된 솔루션을 활용함으로써 개발자는 템플릿 함수가 의도한 유형 매개변수로 호출되도록 할 수 있습니다.

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