C++ 标准是否定义了结构中成员函数的函数内定义是否必须具有静态链接？

Question

我在函数中定义的结构中定义了一个静态函数。我想得到一个指向内部函数的模板函数指针。

考虑以下示例：

template <class Func, Func GetToken>
struct token_user {
    void foo () { GetToken(); } // Do something with token.
};

struct generator_out {
    constexpr static const auto get_token() {return 0;}
};

int main() {
    struct generator_in {
        constexpr static const auto get_token() {return 0;}
    };
    // Works fine
    token_user<decltype(&generator_out::get_token), &generator_out::get_token>(); 
    // Fails with GCC, works with clang and msvc
    token_user<decltype(&generator_in::get_token), &generator_in::get_token>();
}

我使用本地 MSVC 2017 编译器以及 wandbox.org 上的 clang 6.0 和 gcc 8.1 编译器对此进行了测试。 MSVC 和 clang 可以工作，gcc 不行。

谁是正确的？ clang 和 msvc 是否过于宽容并弯曲了 c++ 标准，或者 gcc 还没有实现这一点？ （或者它甚至可能是一个错误？）标准对此有何评论？

编辑： 来自 gcc 的错误消息：

prog.cc: In function 'int main()':
prog.cc:15:76: error: 'main()::generator_in::get_token' is not a valid template argument for type 'const int (*)()' because 'static constexpr const auto main()::generator_in::get_token()' has no linkage
 token_user<decltype(&generator_in::get_token), &generator_in::get_token>(); // Fails with GCC, works with clang and msvc

Answer 1

GCC 是对的，generator_in::get_token 没有链接，不能在声明的范围之外使用，因此不能用作实例化token_user 的参数。

见 [basic.link]/8 和 /9（我只包括相关部分）：

...除非另有说明，在块范围内声明的名称没有链接。

例子：

void f() {
  struct A { int x; };  // no linkage
}

这很重要，因为成员函数具有类的链接。 [basic.link]/5:

... 成员函数、静态数据成员、类范围的命名类或枚举，或在类范围 typedef 声明中定义的未命名类或枚举，以便类或枚举具有用于链接目的的 typedef 名称([dcl.typedef])，如果有的话，与它所属的类的名称具有相同的链接。

所以generator_in 和generator_in::get_token 都没有链接。

最后：[basic.link]/2.3:

——当一个名称​​没有链接时，它所表示的实体不能被其他范围的名称引用。