c++ - 具有不同类型的两个参数的隐式模板类型推导

Question

假设以下情况:

键入A 并键入B，B 可以隐式转换为A 但反之则不成立。

我有一个函数

template<class T>
void do_stuff(T a, T b);

我想这样调用所述函数:

do_stuff(A{}, B{});

这里的问题是编译器无法推断出类型，而是说:

template argument deduction/substitution failed

我可以这样调用我的函数:

do_stuff<A>(A{}, B{});

但这对用户来说更烦人。

或者我可以这样做:

template<class T, class M>
void do_stuff(T a, M b);

但是随后 b 继续其成为 B 类型的快乐方式(通过先前的调用)。

理想情况下，我想要这样的东西:

template<class T, class M = T>
void do_stuff(T a, M b);

或者:

template<class T@INSERT MAGIC SO THAT T IS DEDUCED AS BEING THE TYPE OF ARGUMENT NR 1@>
void do_stuff(T a, T b);

这样的事情可能吗？

Answer 1

将 b 包装在非推导上下文中。这样，只会推导出 a 并且必须将 b 转换为该类型。

template <class T> struct dont_deduce { using type = T; };
template <class T> using dont_deduce_t = typename dont_deduce<T>::type;

template<class T>
void do_stuff(T a, dont_deduce_t<T> b);