C 风格变参 vs C++ 变参模板：核心区别与选型指南

一句话总结：C 风格是"运行时、无类型检查"；C++ 风格是"编译期、强类型检查"。

一、核心区别速览

维度	C 风格（`...` + `va_list`）	C++ 风格（模板参数包 `Args...`）
类型安全	❌ 无编译期类型检查	✅ 编译期强类型推导
可读性	依赖格式字符串/约定，维护成本高	直接按真实类型写逻辑，直观清晰
错误风险	类型不匹配 → 未定义行为（UB）	类型不匹配 → 编译期报错
适用场景	兼容 C 接口、老库、`printf` 风格 API	现代 C++ 代码、泛型工具、日志封装
性能	运行时解析，优化空间有限	编译期展开，内联优化友好

二、C 风格变参：运行时解析，风险自担

复制代码

#include <cstdarg>
#include <iostream>

int sum_c(int n, ...) {
    va_list ap;
    va_start(ap, n);
    int s = 0;
    for (int i = 0; i < n; ++i) {
        s += va_arg(ap, int);  // 必须和调用时类型完全一致
    }
    va_end(ap);
    return s;
}

// ❌ 危险！传入 double 但按 int 读取 → 未定义行为
sum_c(3, 1, 2.5, 3);

另一个经典陷阱 ：char 在可变参数中会被提升为 int，用 va_arg(ap, char) 读取会出错。

三、C++ 变参模板：编译期推导，类型安全

C++17 折叠表达式（推荐写法）

复制代码

#include <iostream>

template<typename... Args>
auto sum_cpp17(Args... args) {
    return (args + ...);  // 一元右折叠，简洁优雅
}

// 空参数包安全版本
template<typename... Args>
auto sum_cpp17_safe(Args... args) {
    return (args + ... + 0);
}

int main() {
    std::cout << sum_cpp17(1, 2, 3, 4) << std::endl;       // 10
    std::cout << sum_cpp17(1.1, 2.2, 3.3) << std::endl;    // 6.6
    std::cout << sum_cpp17_safe() << std::endl;            // 0
    // sum_cpp17(1, "hello");  // ❌ 编译报错！
    return 0;
}

实用例子：类型安全的日志函数

复制代码

#include <iostream>
#include <sstream>
#include <string>

void log_impl(std::ostringstream& oss) {}

template<typename T, typename... Args>
void log_impl(std::ostringstream& oss, T first, Args... args) {
    oss << first;
    if constexpr (sizeof...(args) > 0) oss << " | ";
    log_impl(oss, args...);
}

template<typename... Args>
std::string log(Args... args) {
    std::ostringstream oss;
    log_impl(oss, args...);
    return oss.str();
}

// 输出: Status | 200 | OK | 3.14
std::cout << log("Status", 200, "OK", 3.14) << std::endl;

实用例子：将变参参数转换成string:

复制代码

template <typename... Args>
std::string StringFormat(const std::string& fmt, Args... args)
{
    if constexpr (sizeof...(Args) == 0)
    {
        return std::string(fmt);
    }
    else
    {
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wformat-nonliteral"
        const auto size = std::snprintf(nullptr, 0, fmt.c_str(), args...);
        if (size <= 0)
        {
            return std::string(fmt);
        }
        const auto usize = static_cast<size_t>(size);
        std::string result(usize, '\0');
        std::snprintf(result.data(), usize + 1, fmt.c_str(), args...);
        return result;
#pragma GCC diagnostic pop
    }
}

四、选型结论

场景	推荐方案
新写 C++ 代码（C++11+）	C++ 变参模板
对接 C API / 遗留代码	C 风格 + 封装层
类型安全要求高	C++ 变参模板
性能敏感 + 编译期优化	C++ 变参模板

核心原则：能用模板就不用 ...，能编译期检查就不拖到运行期。