为何C++模板函数返回数组引用时无法自动推导数组大小？

你遇到的核心问题是：模板函数返回数组引用时，编译器无法自动推导模板参数T，但数组引用作为函数参数时却可以，原因在于C++模板参数推导的规则限制，以及返回值推导的特性差异。

为什么参数能推导，返回值不能？ #

• 函数参数的模板推导：对于PrintArray这类函数，当你传入strarr时，实参的类型是明确的const char*[3]，编译器可以直接将其与模板参数const char* (&arr)[T]匹配，推导出T=3——这是C++模板参数推导的基本规则，针对函数的输入实参进行推导。
• 函数返回值的模板推导：你写的GetArr()模板函数，返回值是const char* (&)[T]，但C++标准中，模板函数的返回值模板参数不能自动从返回表达式反向推导。编译器不会因为你返回了strarr（类型const char*[3]）就自动推导出T=3，因为模板参数推导的逻辑只关注函数调用时的输入，而非返回值的表达式。

解决方案 #

不需要用模板来实现“返回大小可变的数组引用”，直接让编译器自动推导返回值类型即可：

方案1：C++14及以上，用auto推导返回值 #

const char *strarr[] = { "one", "two", "three" };

auto& GetArr()
{
    return strarr;
}

此时GetArr()的返回值会被编译器自动推导为const char* (&)[3]，直接在范围for中调用即可：

for (const auto& s : GetArr()) { 
    std::cout << s << std::endl; 
}

方案2：C++11及以上，用decltype指定返回值 #

如果你需要兼容C++11，可以用decltype显式让编译器推导返回类型：

const char *strarr[] = { "one", "two", "three" };

auto GetArr() -> decltype(strarr)&
{
    return strarr;
}

效果和方案1完全一致，范围for循环可以直接调用。

方案3（不推荐）：显式指定模板参数 #

如果你坚持使用模板，只能手动指定T的值，这也是你之前能编译的方式：

for (const auto& s : GetArr<3>()) { 
    std::cout << s << std::endl; 
}

但这种方式需要硬编码数组大小，失去了灵活性。

总结 #

本质上，你不需要用模板来返回数组引用——数组的大小是编译期确定的，直接让编译器推导返回的数组引用类型即可解决问题。模板参数推导仅针对函数输入，返回值的模板参数无法自动推导，这是C++的规则限制。

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