なぜC ++では、パラメーターがゼロの関数にvoid引数を渡すことができないのですか？

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++では#1に示すように、明示的にvoid値を返すことができます。エレガントで汎用的だと思います。

ただし、ルールを#3に同じ方法で適用することはできません。

C++がゼロ引数を持つ関数にvoid引数を渡すことができないのはなぜですか？

Answer 1

言語は、呼び出しの各引数式が関数のパラメーターを初期化することを指定しているため

[expr.call/7]

関数が呼び出されると、各パラメーターは対応する引数で初期化されます。

パラメータのない関数では、初期化する最初のパラメータはありません。たとえあったとしても、voidは値のない型です。