如何将模板化固定字符串传递至另一类的构造函数重载

问题原因 #

编译器无法同时完成模板参数推导和隐式类型转换：当你调用B("test")时，"test"是const char[5]类型，而B的构造函数需要A<N>参数。模板推导阶段不会考虑隐式转换（比如把字符串转成A<N>），因此找不到匹配的构造函数，触发报错。

解决方案 #

方案1：显式构造A对象

直接在调用B的构造时，显式生成A实例，跳过隐式转换的需求：

int main() {
    auto k = B(A("test"));
}

方案2：给B添加字符串字面量构造模板

在B类中新增一个直接接受字符串字面量的构造函数，内部委托给原构造函数，这样编译器可以直接推导N：

template <std::size_t N>
class B {
public:
    B(A<N> a) {
        // 原操作逻辑
    }

    // 新增：直接接受字符串字面量，委托给原构造
    B(const char (&p)[N]) : B(A<N>(p)) {}
};

之后就可以直接使用B("test")，编译器会自动推导N=5并完成转换。

方案3：添加模板推导指引（C++17及以上）

如果不想修改B的构造函数，可以为B添加推导指引，告诉编译器如何从字符串字面量推导模板参数N，之后编译器会尝试隐式转换为A<N>：

// 在B类定义之后添加推导指引
template <std::size_t N>
B(const char (&)[N]) -> B<N>;

这样B("test")会先推导N=5，再将const char[5]隐式转换为A<5>，匹配原构造函数。

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