Почему неявное преобразование типов не работает при выводе шаблона?

В следующем коде я хочу вызвать функцию шаблона путем неявного преобразования int в объект Scalar<int>.

#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); 
  //int b = 2;
  //func(a, b);
  return 0;
}

Почему вычет/замена аргумента шаблона не удалась? И закомментированные коды тоже неверны.

test.cpp: In function ‘int main():
test.cpp:19:12: error: no matching function for call to ‘func(int&, int)
   func(a, 2);
            ^
test.cpp:19:12: note: candidate is:
test.cpp:13:6: note: template<class Dtype> void func(int, Scalar<Dtype>)
 void func(int a, Scalar<Dtype> b){
      ^
test.cpp:13:6: note:   template argument deduction/substitution failed:
test.cpp:19:12: note:   mismatched types ‘Scalar<Dtype> and ‘int
   func(a, 2);

Ответы

Ответ 1

Потому что вывод аргументов шаблона не такой уж умный: он (по замыслу) не учитывает определяемые пользователем преобразования. А int → Scalar<int> - это пользовательское преобразование.

Если вы хотите использовать TAD, вам нужно преобразовать свой аргумент на сайте вызывающей стороны:

func(a, Scalar<int>{2});

или определите руководство по вычету ¹ для Scalar и вызовите f:

func(a, Scalar{2}); // C++17 only

В качестве альтернативы, вы можете явно создать экземпляр f:

func<int>(a, 2);

¹⁾ Руководство по выводу по умолчанию достаточно: демо.

Ответ 2

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

Вывод аргумента шаблона - это сопоставление с образцом, и он точно соответствует только типам или их базовым типам. Это не преобразование.

Преобразование выполняется позже, при разрешении перегрузки и времени вызова функции.

Здесь мы добавляем еще одну перегрузку, которая явно перенаправляет на тот, который вы хотите.