c++ - 为什么C++不允许将void参数传递给具有零参数的函数？

void f()
{}

void f(int)
{
    return f(); // #1: ok
}

void g(auto fn)
{
    f(fn());
}

int g1()
{
    return 0;
}

void g2()
{}

int main()
{
    g(g1); // #2: ok
    g(g2); // #3: error
}

C++允许显式返回一个void值，如#1所示，我认为它是优雅而通用的。

但是，不能以相同方式将规则应用于#3。

为什么C++不允许将void参数传递给具有零参数的函数？

最佳答案

因为该语言指定调用中的每个参数表达式都会初始化函数的参数

[expr.call/7]



在没有参数的函数中，没有第一个参数要初始化，即使存在，void也是没有值的类型。