C++ - 函数范围内的函数声明？

Question

不久前我正在浏览C++11 standard draft 并遇到了这个（在第 8.3.6 节，第 204 页）：

void g(int = 0, ...); // OK, ellipsis is not a parameter so it can follow

// a parameter with a default argument
void f(int, int);
void f(int, int = 7);
void h() {
    f(3); // OK, calls f(3, 7)
    void f(int = 1, int); // error: does not use default
    // from surrounding scope
}
void m() {
    void f(int, int); // has no defaults
    f(4); // error: wrong number of arguments
    void f(int, int = 5); // OK
    f(4); // OK, calls f(4, 5);
    void f(int, int = 5); // error: cannot redefine, even to
    // same value
}
void n() {
    f(6); // OK, calls f(6, 7)
}

这与函数的默认参数有关。令我印象深刻的是函数声明出现在函数范围内。这是为什么？这个功能是做什么用的？

Answer 1

虽然我不知道你能做到这一点，但我测试了它并且它有效。我猜你可能会用它来前向声明稍后定义的函数，如下所示：

#include <iostream>

void f()
{
    void g(); // forward declaration
    g();
}

void g()
{
    std::cout << "Hurray!" << std::endl;
}

int main()
{
    f();
}

如果删除前向声明，程序将无法编译。因此，通过这种方式，您可以获得某种基于范围的前向声明可见性。

Answer 2

任何函数/变量声明都有其可见性和范围。例如，如果在课堂上，只有班级成员可以看到它。如果在函数中只有函数可以看到它，在我们声明变量或函数之后。

我们通常在函数范围内使用数据结构。但是编译器的语法规则对两者都适用，因为函数本身具有地址，因此可见性也适用于它。