为什么编译器将其解析为函数指针而不是递归调用？ [复制]

Question

在以下代码中，foo() 在两个不同的地方被解析并调用两个不同的函数（由******** 标记）。

#include <cstdio>

typedef int (*func)(void);

int bar()
{
    printf("bar\n");
    return 4; // guaranteed to be random
}

int foo()
{
    printf("foo\n");
    static int i = 0;
    if(i)
        return i;
    ++i;
    i = foo(); // recursive call     ********
    printf("%d\n", i);
    func foo = bar;
    i = foo(); // calls bar. Why?    ********
    printf("%d\n", i);
    return i;
}

int main()
{
    return foo();
}

在我能够尝试的所有编译器（gcc, clang、MSVC 和其他几个）中，输出是：

富
富
1
酒吧
4

为什么编译器选择通过函数指针调用bar并屏蔽递归调用？是否定义了这种行为？如果有，可以给个参考吗？

Answer 1

是的，此行为已定义，称为名称隐藏、范围隐藏或阴影。请参阅 Victor Polevoy 的 this answer，下面引用的相关部分。

来自N4296：

3.3.10 名称隐藏 [basic.scope.hiding]

1. 可以通过在嵌套声明区域或派生类中显式声明相同名称来隐藏名称。
2. 类名 (9.1) 或枚举名 (7.2) 可以被声明的变量、数据成员、函数或枚举器的名称隐藏 相同的范围。如果一个类或枚举名称和一个变量，数据 成员、函数或枚举器在同一范围内声明（在任何 order) 同名，隐藏类名或枚举名 变量、数据成员、函数或枚举器名称在哪里 可见。
3. 在成员函数定义中，块范围内的名称声明隐藏了具有相同名称的类成员的声明 姓名;见 3.3.7。派生类中成员的声明 （第 10 条）隐藏基类成员的声明 一样的名字;见 10.2。
4. 在查找由命名空间名称限定的名称期间，原本可以通过 using 指令可见的声明 可以被命名空间中同名的声明隐藏 包含使用指令；见 (3.4.3.2)。
5. 如果名称在范围内且未隐藏，则称其为可见

在这种情况下也是第1点：函数中名称foo的声明隐藏了外部作用域中函数名称foo的声明。