c++ - 非模板函数接受模板消歧器

Question

这段代码

template <typename U>
struct Bar{
    void setNumber(int) {}
};

template <int N>
struct Asd : public Bar<Asd<N>>{
    void doSomething();
};

template<int N>
inline void Asd<N>::doSomething() {
    this->template setNumber(N);
}

int main() {
    Asd<42> obj;
    obj.doSomething();
}

被 GCC(甚至 13.1 和 trunk)接受，但被 clang 拒绝( https://godbolt.org/z/xbs8GqG7h )。接受它似乎是错误的(setNumber 不是模板函数)，所以我相信这是 GCC 中的一个错误。有人可以引用章节和诗句来明确这一点吗？

我尝试在 GCC bugzilla 中搜索“消歧器”，但只得到不相关的错误。

Answer 1

[temp.names]/6 :

A name prefixed by the keyword template shall be followed by a template argument list or refer to a class template or an alias template.

这里是名称setNumber

• 后面没有模板参数列表；
• 不引用类模板；
• 不引用别名模板。

所以接受这个语法是错误的。