C++ 如何基于模板参数实现带编译校验的可选函数形参

直接用 模板重载+类型约束 实现，完全不需要参数包，代码可读性高，参数校验逻辑由编译器自动完成。

C++20 及以上版本（最简洁写法） #

直接用requires子句约束重载的生效条件，可保留constexpr if的统一逻辑写法：

#include <iostream>

// test为true时生效：必须传入w
template<bool test>
void Foo(int x, int y, int z, int w) requires test
{
    if constexpr(test)
    {
        std::cout << "w value: " << w << std::endl;
        // 其他使用w的逻辑
    }
}

// test为false时生效：仅接受3个参数
template<bool test>
void Foo(int x, int y, int z) requires !test
{
    // 无需处理w的逻辑
}

int main()
{
    Foo<true>(1, 2, 3, 4);   // 正常编译运行，输出w的值
    Foo<false>(1, 2, 3);     // 正常编译运行
    // Foo<false>(1, 2, 3, 4); // 编译错误：无匹配重载，提示参数数量超出
}

如果需要统一业务逻辑（避免两个重载重复写代码），可以把核心逻辑放到内部实现函数，对外仅做参数约束：

// 内部统一实现
namespace detail {
template<bool test>
void FooImpl(int x, int y, int z, int w = 0)
{
    // 公共业务逻辑
    if constexpr(test)
    {
        // 仅test为true时执行的w相关逻辑
        std::cout << "w value: " << w << std::endl;
    }
    // 其他公共逻辑
}
}

// 对外接口：约束参数数量
template<bool test>
void Foo(int x, int y, int z, int w) requires test
{
    detail::FooImpl<test>(x, y, z, w);
}

template<bool test>
void Foo(int x, int y, int z) requires !test
{
    detail::FooImpl<test>(x, y, z);
}

C++17 兼容版本 #

用std::enable_if实现类型约束，替代C++20的requires子句：

#include <type_traits>
#include <iostream>

// test为true时生效
template<bool test, typename = std::enable_if_t<test>>
void Foo(int x, int y, int z, int w)
{
    if constexpr(test)
    {
        std::cout << "w value: " << w << std::endl;
    }
}

// test为false时生效
template<bool test, typename = std::enable_if_t<!test>>
void Foo(int x, int y, int z)
{
    // 无w的逻辑
}

行为说明 #

• 当test为true时，仅存在带4个形参的重载，必须传入w，否则会编译错误，内部可通过constexpr if正常使用w
• 当test为false时，仅存在带3个形参的重载，多传入w会因为无匹配重载触发编译错误，错误信息明确提示参数数量不符合要求

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