我对 N4140 中 [basic.link]/7 的理解是否正确？

Question

VS2015 编译并执行以下代码片段没有问题。 g++ 和 clang 没有 link 代码，我认为它们是正确的。

#include <iostream>

namespace X {
    void p() {
        void q();   // This is a block scope declaration of the function q() with external
                    // linkage (by §3.5/6), which then must be defined in namespace X,
                    // according to §3.5/7, and not in the global namespace.
        q();
    }
}

void q() { std::cout << "q()" << '\n'; }

int main()
{
    X::p();
}

Answer 1

您的示例与 [basic.link]/7 中的几乎相同 - 是的，您的解释是正确的。
使用未定义的函数 q 会使您的程序格式错误 NDR。因此 VC++ 在技术上符合标准。不过，你肯定要举报。

注意 VC++ produces the same output ("q()") 即使我们添加了 q 的内部定义：

namespace X {
    void p() {
        void q();                    
        q();
    }

    void q() { std::cout << "This would be right"; }
}

void q() { std::cout << "q()" << '\n'; }

…但确实有明智的行为when extern is used。

我对 N4140 中 [basic.link]/7 的理解是否正确？

Is my understanding about [basic.link]/7 in N4140 correct?

c++

linkage

c++14