字符数组指针退化致非类型模板参数推导失败的无调用点修改方案

代码示例 #

#include <algorithm>
#include <cstddef>
#include <iterator>
#include <source_location>

template<std::size_t N>
struct StringWrapper {
    // consteval 强制仅使用编译期字符串
    consteval StringWrapper(const char (&format_string)[N], std::source_location source_location = std::source_location::current())
        : SourceInfo{ source_location } {
        std::copy(std::begin(format_string), std::end(format_string), std::begin(FormatString));
    }

    char FormatString[N]{};

    // 存在此字段的目的是避免将StringWrapper用作非类型模板参数
    std::source_location SourceInfo{};
};

// 此处不需要类模板参数推导，可参考main中的第一个调用示例

// 可变参数模板，因此无法将std::source_location放在参数列表末尾
template<std::size_t N, class... Args>
void log(StringWrapper<N> format_string, Args&&... args);

int main()
{
    log(StringWrapper{ "This {}, explicitly instantiating, but deducing the parameter" }, "works");
    log("This {}, could not match 'StringWrapper<N>' against 'const char *'", "fails");
}

问题描述 #

要求不修改main里的调用点，让第二个log调用能正确匹配目标函数。已知两种方案不可行：

• 使用std::string_view：无法在log实现中获取编译期常量N；
• 让log直接接收const char (&)[N]：会丢失std::source_location信息。

同时存在疑问：重载解析优先匹配const char*而非数组引用，但为何编译器完全不尝试把数组引用转换为StringWrapper<N>？

可行解决方法 #

方法1：添加log的数组引用重载 #

新增一个接收字符数组的log重载，内部构造StringWrapper并转发给原函数：

template<std::size_t N, class... Args>
void log(const char (&fmt)[N], Args&&... args) {
    log(StringWrapper<N>{fmt}, std::forward<Args>(args)...);
}

这个重载会直接匹配字符串字面量的数组类型，避免数组退化为const char*，同时构造StringWrapper时会自动获取调用点的std::source_location，完全符合需求。

方法2：利用类模板推导+隐式转换（谨慎使用） #

虽然可行，但不如重载清晰。由于StringWrapper的构造函数是consteval，可以确保编译期构造，但需要确保没有其他歧义。不过相比之下，添加重载是更直观且安全的选择。

原代码匹配失败原因 #

模板参数推导阶段，编译器只会考虑标准隐式转换（比如数组退化为指针），不会尝试用户定义的转换（比如把数组转成StringWrapper）。因此当传入字符串字面量时，编译器先把数组退化为const char*，但没有对应const char*参数的log重载，最终导致匹配失败。

内容的提问来源于stack exchange，提问作者Hanno Bänsch