C++模板无法为const char*[N]从const char*[6]推导参数的问题

错误原因 #

• C++语法存在数组参数退化规则：当数组直接作为函数值参数声明时，会自动退化为对应类型的指针。你代码中写的模板函数参数const char* names[N]，编译器实际会将其处理为const char** names，数组的长度信息N会在这个过程中完全丢失，自然无法完成模板参数N的推导。
• 哪怕你显式在参数中指定固定数组长度（比如const char* names[6]），长度信息也不会参与参数类型匹配，依然会被当作指针处理。

修复方案 #

将函数参数修改为数组的引用即可避免数组退化，保留数组长度信息用于模板推导：

template <class Enum, size_t N>
// 给数组参数加引用符号&，并用括号包裹避免语法歧义
const char* enumValueToString(Enum val, const char* (&names)[N])
{
    return names[static_cast<std::underlying_type_t<Enum>>(val)];
}

修改后，传入的m_logLevels的实际类型const char*[6]可以完整匹配参数类型，模板参数N会自动推导为6，编译即可正常通过。

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