在该命名空间中的另一个函数内转发声明该命名空间中的函数

Question

我有两个源文件，a.cpp 和 b.cpp。在a.cpp，我有一个函数，foo：

namespace ns { void foo() { std::cout << "foo!"; } }

在b.cpp 中，我在命名空间ns 中有另一个函数，我想在其中创建原型并调用foo：

namespace ns
{

void bar()
{
    void foo();
    foo();       
}

}

虽然以上在语法上是有效的，但它会导致编译器认为foo 位于全局命名空间中（或者至少这是我从执行此操作时得到的链接器错误推断出来的）。我要解决的前两个想法是void ns::foo(); 和namespace ns { void foo(); }，但都无效。是否可以在bar 中正确地对该函数进行原型设计？

请注意，我知道我可以简单地将其移至文件范围或头文件，对此有很多问题，但我想专门在另一个函数中对其进行原型设计。我的编译器是最新更新的 MSVC 14.0。

编辑：根据我所做的一些测试以及我们在 cmets 中的讨论，我相信这是一个 MSVC 错误。比较：

namespace ns
{

void bar()
{
    void foo();   // link error, MSVC assumes global namespace
    foo();
}

void foo() { }

} // namespace ns

如前所述，此操作失败。但是，将原型移出函数会使 MSVC 正确地将原型函数放置在封闭的命名空间中：

namespace ns
{

void foo();   // all fine
void bar()
{
    foo();
}

void foo() { }

} // namespace ns

Answer 1

标准明确了这一点：

3.3.2/11： (..) 块范围内的函数声明和块范围内带有 extern 说明符的变量声明参考 声明是封闭命名空间的成员 (...)

因此：

void bar()
{
    void foo();   // should refer to ns::foo() according to 3.3.2/11
    foo();
}

并且链接应该引用具有相同签名的单独编译的函数：

1.3.17 签名： <function> 名称、参数类型列表和封闭的命名空间（如果有） [注意：签名用作 名称修改和链接。-结束注释]