不违反ODR的前提下，从预处理器注入默认日志标签的最佳方案

我们可以利用C++模板的非类型参数特性，配合自定义的字符串字面量包装类型，实现既符合ODR规则、又能自动注入目标名的日志函数，同时保留系统的扩展性。

具体实现步骤 #

1. 定义字符串字面量包装类型 #

这个类型用于将字符串字面量转换为可作为模板非类型参数的载体：

template<std::size_t N>
struct TagLiteral {
    constexpr TagLiteral(const char (&str)[N]) noexcept : value(str) {}
    const char (&value)[N]; // 持有字面量引用，无运行时拷贝开销
};

2. 保留原有基础日志函数 #

继续使用你提供的基础日志函数声明：

struct Tag { std::string_view value; };

template<class... Args>
inline void log(Tag tag, std::format_string<Args...> fmt, Args&&... args);

3. 实现自动注入标签的模板日志函数 #

通过模板默认参数绑定构建系统提供的CURRENT_TARGET_NAME，每个翻译单元会自动实例化对应自身目标名的模板特化：

template<TagLiteral Tag = CURRENT_TARGET_NAME, class... Args>
inline void log(std::format_string<Args...> fmt, Args&&... args) {
    log({Tag.value}, fmt, std::forward<Args>(args)...);
}

方案优势 #

• 符合ODR规则：模板函数的核心定义在所有翻译单元中完全一致，不同翻译单元只是实例化了不同的模板特化（对应各自的CURRENT_TARGET_NAME），这些特化是独立的实体，不会触发ODR冲突。
• 无宏扩展性问题：无需自定义预处理器宏（仅使用构建系统提供的CURRENT_TARGET_NAME），后续扩展日志功能（如增加日志级别、支持自定义标签覆盖默认值）时，只需修改模板或函数参数，无需调整宏逻辑。
• 编译期高效处理：目标名是编译期确定的字符串字面量，无运行时额外开销。
• 调用简洁：使用时直接写log("Hello World {}", 0)即可，自动注入当前目标库/模块的名称。

对比错误方案的问题 #

• 直接在inline函数中使用CURRENT_TARGET_NAME：违反ODR规则，因为不同翻译单元中该宏的值不同，导致inline函数的定义令牌序列不一致，属于未定义行为。
• 原字符串字面量模板方案：原方案中使用字符数组拷贝而非引用，效率稍低；且误解了默认模板参数的ODR要求——模板特化是独立实体，不同翻译单元的默认参数不同只会生成不同特化，不会违反规则。
• 预处理器宏方案：虽然能避免ODR问题，但宏的扩展性差，后续修改日志逻辑时容易引发预处理器展开错误，也不利于类型安全检查。

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