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

Question

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 参数传递给具有零参数的 function？

Answer 1

因为语言规定调用中的每个参数表达式都会初始化function的一个参数

[expr.call/7]

当调用 function 时，每个参数都使用其对应的参数进行初始化。

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