c++ - 模板类型别名可见性编译器不一致

Question

以下示例使用 gcc 编译，但不使用 clang 编译。哪个编译器是正确的，为什么？

#include <utility>

struct Foo {

private:
    
    template<typename T>
    static int f();

public:

    template<typename U>
    using T = decltype(f<U>());

};


int main () {

    static_assert(std::is_same_v<Foo::T<float>, int>);
}

Clang 提示 'f' is a private member of 'Foo' .我认为这是不正确的 f从内部访问 Foo因此应该是可见的。有趣的是，如果 T 有效不是模板。
活码 here .

Answer 1

这是一个 clang bug ，其中 clang 不解析成员别名模板中使用的名称的正确访问控制。
此 question是错误的一个示例，其中对 friend 类成员的名称的访问控制未正确解决。
在您的示例中，您有一个静态成员模板 f ，为此我们只需要 temp.mem#2

... Access control rules apply to member template names. ...

所以 f在 T 的声明中确实可见，并且代码有效。
请注意，链接帖子中提到的修复程序也适用于此处，因为它是相同的错误:

template<typename U, typename X = decltype(f<U>())>
using T = X;  // ok