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

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 是一个错误示例，其中好友类成员名称的访问控制解析不正确。

在您的示例中，您有一个静态成员模板 f，为此我们只需要 temp.mem#2

... 访问控制规则适用于成员模板名称。 ...

所以f在T的声明中确实可见，代码有效。

请注意，链接帖子中提到的修复在这里也有效，因为它是相同的错误：

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