如何利用可变模板消除C++日志函数的参数冗余？

你遇到的这个问题确实很典型——当函数只有开头的位置参数类型不同，后面的参数（包括可变参数）逻辑一致时，用可变模板来统一是非常合适的方案。我来给你捋清楚具体怎么实现：

核心思路 #

我们可以把两个不同的位置参数类型（util::source_provider和util::source_location）作为模板参数的候选，结合可变模板接收后续任意参数，把多个变体函数合并成一个模板函数，彻底消除冗余。

具体实现方案 #

1. 通用模板函数定义 #

先写一个模板函数，让它能接受指定的两种位置参数类型，同时用可变参数处理后续的日志内容：

#include <string>
#include <utility> // 用于std::forward
#include <type_traits> // 用于类型检查

// 通用的error模板函数
template <typename Location, typename... Args>
void error(Location const& where, Args&&... args) {
    // 类型校验：确保传入的Location是我们需要的两种类型之一
    static_assert(
        std::is_same_v<Location, util::source_provider> || 
        std::is_same_v<Location, util::source_location>,
        "Location must be either util::source_provider or util::source_location"
    );

    // 提取统一格式的位置信息（比如文件名、行号）
    auto location_info = extract_location_details(where);

    // 格式化可变参数为日志内容（可使用std::format或自定义逻辑）
    std::string reason = format_log_message(std::forward<Args>(args)...);

    // 最终的日志输出逻辑
    output_log("ERROR", location_info, reason);
}

2. 配套辅助函数实现 #

上面的模板依赖几个辅助函数，你可以根据实际需求补充：

• extract_location_details：针对两种位置类型，提取统一格式的位置数据（比如从source_provider和source_location里都拿到文件名和行号）
• format_log_message：处理可变参数，把它们拼接/格式化成标准的日志字符串
• output_log：负责最终的日志输出（写入文件、控制台或其他日志系统）

3. 完全兼容原有调用 #

这个模板函数可以直接替代你原来的两个基础函数，原有调用方式完全不受影响：

// 原有的两种调用依然有效
util::source_provider sp;
error(sp, "Failed to open config file");

util::source_location sl;
error(sl, "Connection timed out after {} seconds", 30);

额外优化：抽离核心逻辑 #

如果原来的两个基础函数里有重复的日志输出逻辑，可以把这部分抽离到内部辅助函数中，进一步减少冗余：

namespace detail {
    // 核心日志写入逻辑，只实现一次
    void write_error_log(std::string const& location, std::string const& msg) {
        // 这里写真正的日志输出代码
    }
}

template <typename Location, typename... Args>
void error(Location const& where, Args&&... args) {
    static_assert(...); // 类型校验
    auto location_info = extract_location_details(where);
    auto reason = format_log_message(std::forward<Args>(args)...);
    detail::write_error_log(location_info, reason);
}

这样一来，你就不用再维护多个几乎一样的error函数变体了，所有逻辑都集中在一个模板里，后续扩展warn、info等其他日志级别，也可以用同样的模式快速实现。

内容的提问来源于stack exchange，提问作者edA-qa mort-ora-y