Visual C++带默认参数的函数如何获取显式、隐式传入参数的数量

首先明确核心结论：

标准C++没有提供原生能力在函数体内区分参数是用户显式传入，还是编译器填充的默认值。默认参数的填充逻辑是在编译期的调用侧完成的，比如你写func(0)，编译器会直接把代码处理为func(0, 0, 0)，和你手动传入3个0的调用在运行时没有任何区别，因此函数本身无法直接统计两种参数的数量。

以下是两种可行的实现方案： #

方案1：函数重载实现（全平台兼容，优先推荐） #

将默认参数逻辑拆分为不同参数数量的重载函数，手动传递显式参数计数，调用逻辑和原有写法完全兼容，无额外运行时开销：

// 内部公共实现，最后一个参数接收显式传入的参数数量
void func_impl(int p1, int p2, int p3, int explicit_cnt)
{
    printf("The # of explicit parameters is %d\n", explicit_cnt);
    printf("The # of implicit parameters is %d\n", 3 - explicit_cnt);
    // 原有函数逻辑写在这里即可
}

// 重载对应不同参数数量的调用入口
void func(int p1)                  { func_impl(p1, 0, 0, 1); }
void func(int p1, int p2)          { func_impl(p1, p2, 0, 2); }
void func(int p1, int p2, int p3)  { func_impl(p1, p2, p3, 3); }

// 调用示例和原代码完全一致
int main(int argc, char* argv[])
{
    func(0);        // 输出 1、2
    func(0, 0);     // 输出 2、1
    func(0, 0, 0);  // 输出 3、0
    return 0;
}

方案2：哨兵值判断（仅适用特定场景） #

如果你能确定某个取值绝对不会被作为显式参数传入，可以将该值设为哨兵用作默认参数，函数内通过判断哨兵来统计数量：

#include <climits>

// 选定INT_MIN作为哨兵值，确认业务场景下用户不会传入该值
void func(int p1, int p2 = INT_MIN, int p3 = INT_MIN)
{
    int explicit_cnt = 1;
    if (p2 != INT_MIN) explicit_cnt++;
    if (p3 != INT_MIN) explicit_cnt++;

    printf("The # of explicit parameters is %d\n", explicit_cnt);
    printf("The # of implicit parameters is %d\n", 3 - explicit_cnt);
    
    // 把哨兵值替换为实际的默认值0
    p2 = (p2 == INT_MIN) ? 0 : p2;
    p3 = (p3 == INT_MIN) ? 0 : p3;
    // 原有函数逻辑写在这里即可
}

注意：该方案通用性差，只要用户显式传入了哨兵值就会统计错误，仅适合参数取值范围明确的特殊场景使用。

内容的提问来源于stack exchange，提问作者Rick C. Hodgin