模板隐式参数转换失效：如何保留模板并支持类型转换？

问题重现 #

编写的C++代码如下：

template<class A>
struct X {
        template<class T>
        X(T t) {}
};

template<class A>
void f(X<A> x, A a) {}

int main() {
        f(0, 0);
}

使用GCC 14.1.1编译时失败，报错信息：

test.cc:20:10: error: no matching function for call to ‘f(int, int)’
   20 |         f(0, 0);
      |         ~^~~~~~
test.cc:17:6: note: candidate: ‘template<class A> void f(X<A>, A)’
   17 | void f(X<A> x, A a) {}
      |      ^
test.cc:17:6: note:   template argument deduction/substitution failed:
test.cc:20:10: note:   mismatched types ‘X<A>’ and ‘int’
   20 |         f(0, 0);
      |         ~^~~~~~

但以下断言不会触发编译错误：

static_assert(std::is_convertible_v<int, X<int>>); // 无断言失败

提问：如何修改程序，在保留两个模板的同时允许向X进行类型转换？

原因解析 #

问题核心在于模板参数推导规则：编译器推导f的模板参数A时，第一个函数参数X<A>需要从传入的int推导，但隐式转换（包括通过模板构造函数的转换）不会参与模板参数推导。编译器无法从int反向推导出X<A>中的A，即便第二个参数0能推导出A=int，第一个参数的类型不匹配问题依然存在，最终导致推导失败。

而static_assert是明确指定了X<int>，此时编译器仅需检查int能否转换为X<int>——模板构造函数X(T)可以接受int类型参数，转换合法，因此断言通过。

修改方案 #

有两种可行方式，均能保留原有两个模板：

方式一：显式指定模板参数 #

调用f时明确指定A的类型，让编译器无需推导第一个参数的模板类型，自动触发隐式转换：

int main() {
        f<int>(0, 0); // 显式指定A=int
}

方式二：将第一个参数设为非推导上下文 #

通过std::type_identity_t（C++20及以上支持）让第一个参数不参与模板参数推导，编译器仅从第二个参数推导A，之后再进行隐式转换：

#include <type_traits> // 需要包含此头文件

template<class A>
void f(std::type_identity_t<X<A>> x, A a) {}

int main() {
        f(0, 0); // 正常编译
}

内容的提问来源于stack exchange，提问作者Iris