C++模板推导问题：传入字符串字面量时print模板的T类型是什么

问题场景复现 #

你给出的测试代码如下：

#include <iostream>
template <typename T>
void print(const T& a) {
  std::cout << a;
}
int main()
{
  print("hello");
}

你提到普通函数void print(const char* const& a)可以匹配该调用，因此推测T的类型为char* const，以下是明确推导结果。

最终结论 #

该场景下模板推导得到的T的实际类型为char[6]（部分编译器会推导为const char[6]，二者语义完全等价，因为数组的const限定符会直接作用于数组元素）。

推导逻辑 #

1. 首先明确实参类型：字符串字面量"hello"的原生类型是const char[6]，长度为6是因为包含末尾隐式的\0结束符。
2. 模板形参为const T&，属于左值引用绑定场景：当左值引用绑定到数组对象时，数组不会发生常规的"数组退化为指针"的转换，会保留完整数组类型参与类型推导。
3. 匹配规则验证：当T推导为char[6]时，const T的类型就是const char[6]，形参const T&的完整类型为const char (&)[6]，和实参const char[6]完全匹配，不需要任何隐式转换，是模板推导的最优解。

误区解释 #

你提到的void print(const char* const& a)确实可以匹配该调用，但它不是模板实例化的最优结果：

• 该匹配需要触发一次隐式转换：将const char[6]数组退化为const char*类型的临时指针。
• 只有当不存在更优的数组引用匹配版本时，才会选择这个需要隐式转换的次优匹配。
• 如果模板形参改为值传递（void print(const T a)），数组会默认退化为指针，此时T的类型为const char*，const T就是const char* const，形参类型和你给出的普通函数完全一致。

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