能否通过类型转换或推导指南让编译器推导模板函数调用类型？若不能，原因何在？

先贴出对应场景的代码，方便理解问题：

// 模板包装类
template<typename T>
struct Wrapper {
    Wrapper(const T& val) : value(val) {}
    T value;
};

// 接受Wrapper的模板函数
template<typename T>
void someFunc(const Wrapper<T>& wrapper) {
    // 业务逻辑
}

// 非模板的字符串包装类
struct StrWrapper {
    StrWrapper(const char* str) : value(str) {}
    const char* value;
};

// 接受StrWrapper的非模板函数
void someStrFunc(const StrWrapper& wrapper) {
    // 业务逻辑
}

int main() {
    // ❌ 编译失败：编译器推不出模板参数T
    // someFunc("hello");

    // ✅ 编译成功：显式构造Wrapper对象
    someFunc(Wrapper<const char*>("hello"));

    // ✅ 编译成功：非模板类支持隐式转换
    someStrFunc("hello");
}

为啥直接传字符串字面量调用someFunc会失败？ #

核心原因是C++的模板推导规则限制：
当你调用someFunc("hello")时，编译器需要同时完成两件事：

1. 从实参"hello"（类型是const char[6]，长度随字符串内容变化）推导模板函数someFunc的T；
2. 把"hello"隐式转换成Wrapper<T>类型。

但C++模板推导不允许在推导过程中结合用户定义的隐式转换——编译器不会先尝试把实参转成某个Wrapper<T>，再反推T。它只会直接用实参的原始类型去匹配函数参数的模板参数，而const char[N]和const Wrapper<T>&之间没有直接的推导关系，所以直接报错。

反观非模板的someStrFunc，函数参数是明确的const StrWrapper&，编译器清楚要把"hello"隐式转换成StrWrapper（因为StrWrapper有对应的构造函数），所以能正常编译。

能不能用类型转换或推导指南让编译器自动推导？ #

1. 推导指南（Deduction Guides） #

可以给Wrapper加推导指南，让编译器能从字符串字面量推导出Wrapper的模板参数，但这解决不了模板函数的推导问题：

// 通用推导指南
template<typename T>
Wrapper(T) -> Wrapper<T>;

// 针对字符串字面量的推导指南
Wrapper(const char*) -> Wrapper<const char*>;

加了之后，你可以直接写Wrapper{"hello"}来构造对象，但调用someFunc("hello")还是会失败——因为模板函数someFunc的推导逻辑是先确定T，再匹配Wrapper<T>，编译器不会先把"hello"转成Wrapper<const char*>再代入函数。

2. 显式类型转换 #

比如手动写someFunc(Wrapper{"hello"})（C++17及以上支持类模板实参推导），这本质和显式构造没区别，只是写法简洁点，不算“自动推导”。

3. 可行的变通方案：修改模板函数参数 #

如果把someFunc改成接受const T&，内部再构造Wrapper<T>，就能让编译器直接从字符串字面量推导T：

template<typename T>
void someFunc(const T& val) {
    Wrapper<T> wrapper(val);
    // 原函数逻辑
}

// 现在可以直接调用
someFunc("hello"); // T会被推导为const char[6]，或者退化为const char*

这个方案需要调整函数参数设计，是否能用看你的实际需求。

为啥重载方案不实用？ #

字符串字面量的类型是const char[N]，每个不同长度的字符串类型都不一样。要覆盖所有可能的字符串，得给每个可能的N都写一个重载，这显然不现实。就算重载const char*，也只能匹配退化为指针的情况，覆盖不了所有场景，扩展性极差。

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