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

Question

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

#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 ++如何生成相同的输出 （“q（）”），即使我们添加q的内部定义：

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

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

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

......但在使用extern时确实有明智的行为。