C++ - 函数声明是否可以在函数作用域内?

8

我之前翻看了C++11标准草案,并发现这段话(在§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)
}

这与函数的默认参数有关。让我感到惊讶的是函数声明出现在函数作用域中。这是为什么呢?这个特性有什么用途?


我使用了这个来声明一个函数,我知道它只会在范围内被调用。 - Atul
简短的回答是它很少被使用。理论上,如果你有一个变量和一个同名的函数,那么它可能是有用的。内部作用域的声明会隐藏外部作用域的声明。 - Jerry Coffin
https://dev59.com/32Ei5IYBdhLWcg3wYLeT#35007616 是快速解答(针对 C 语言)。 - EML
2个回答

10

虽然我不知道你可以这样做,但我测试了一下,它有效。我想你可以使用它来预先声明稍后定义的函数,就像下面这样:

#include <iostream>

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

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

int main()
{
    f();
}
如果删除前向声明,程序将无法编译。因此,通过这种方式,您可以具有某种基于作用域的前向声明可见性。

嗯,好的,有时可能会变得有用! :) - Henri Korpela
2
@HenriKorpela 我必须说我以前不知道这个,也不认为我会使用这样的“功能”。我非常希望能够在其他函数内部定义函数,而无需使用将其包装为struct/class中的static的常见技巧。 - vsoftco
你听说过令人烦恼的解析吗?你可能会意外地声明一个函数而不是实例。人们通常认为 Foo f(); 声明并调用 f 的默认构造函数,但实际上它声明了一个函数。 - David G
你说你不知道可以在函数内部声明函数,但是你熟悉最令人困扰的解析,这是由于无意中在函数内部声明函数引起的。 - David G
@0x499602D2 哦,是的,你说得对 :) 我实际上没有想到这一点,谢谢你指出来。我误读了你的评论。 - vsoftco
1
请参考 https://dev59.com/GFcP5IYBdhLWcg3wDWRq,了解在一个函数内部定义另一个函数以减少代码重复的有用示例。 - Alessandro Teruzzi

0
任何函数/变量声明都有其可见性和作用域。例如,如果在类中,只有类成员才能看到它。如果在函数中,只有该函数可以看到它,在我们声明变量或函数之后。
我们通常在函数作用域内使用数据结构。但编译器的语法规则适用于两者,因为函数本身具有地址,因此可见性也适用于它。

但是您仍然可以从任何在其下定义的其他函数中调用该函数,因此您只需从上方隐藏它(无法在其他函数内定义您的函数)。 - vsoftco
是的,它基本上是关于作用域的。 - Atul
这就是我认为不正确的地方。这并不完全是关于作用域的问题,因为超出作用域仍然可以使用该函数,因为您必须在全局作用域中定义该函数(当然除了类成员)。只有在其上面声明的函数不能使用它。 - vsoftco
这与 { int x = 2;} cout << x; 不同。在这里,x 在离开作用域后将无法访问 {...} 外部。另一方面,在 { int f();} cout << f(); 中,函数 f() 将是可访问的,前提是它的定义在带有 cout 的行之前,并且其定义必须存在于全局作用域中。 - vsoftco
只有在块外声明时,才能访问f()。当你定义它时,实际上也隐式地声明了它 :) - Atul
显示剩余5条评论

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接