静态成员函数使用相同名称时模板类型名称错误

Question

我有以下代码：

struct test
{
    static void T()
    {
    }
    
    template<typename T>
    void f(T* t)
    {
    }
    
    template<typename T>
    T* get()
    {
        return new T();     
    }
};

int main()
{
    test t;
    t.f(t.get<int>());
    
    return 0;
}

这段代码编译得很好，但如果我将定义移到类之外，它就不会：

struct test
{
    static void T();
    
    template<typename T>
    void f(T* t);
    
    template<typename T>
    T* get();
};

void test::T()
{
}

template<typename T>
void test::f(T* t)
{
}

template<typename T>
T* test::get()
{
    return new T();     
}

int main()
{
    test t;
    t.f(t.get<int>());
    
    return 0;
}

gcc错误消息：

#1 with x86-64 gcc 9.3
<source>:17:14: error: variable or field 'f' declared void
   17 | void test::f(T* t)
      |              ^
<source>:17:15: error: expected primary-expression before '*' token
   17 | void test::f(T* t)
      |               ^
<source>:17:17: error: 't' was not declared in this scope
   17 | void test::f(T* t)
      |                 ^
Compiler returned: 1

叮当的错误消息：

#1 with x86-64 clang 8.0.0
<source>:17:12: error: variable has incomplete type 'void'
void test::f(T* t)
           ^
<source>:17:17: error: use of undeclared identifier 't'
void test::f(T* t)
                ^
<source>:17:19: error: expected ';' at end of declaration
void test::f(T* t)
                  ^
                  ;
<source>:18:1: error: expected unqualified-id
{
^
<source>:24:16: error: unknown type name 'T'
    return new T();
               ^
5 errors generated.

Compiler returned: 1

MSVC 2019错误消息：

#1 with x64 msvc v19.24
example.cpp

<source>(17): error C2065: 't': undeclared identifier
<source>(17): error C2182: 'f': illegal use of type 'void'
<source>(17): error C2350: 'test::f' is not a static member
<source>(17): note: see declaration of 'test::f'
<source>(17): error C2513: 'test::f': no variable declared before '='
<source>(18): error C2447: '{': missing function header (old-style formal list?)
Compiler returned: 2

如果它在测试中将类型名称T更改为类型名称SomeOtherName：：f，或者如果我将静态void T（）重命名为其他名称，它也可以很好地编译。

你能解释一下为什么第一个版本编译而第二个版本没有编译吗？你能告诉我这个错误的标准措辞吗？

编辑：我发布了来自不同编译器的错误消息。当@cigien pointed clang trunk编译第二个版本时

Answer 1

名称查找对于模板参数来说非常微妙：它们在作用域中的优先级不仅取决于模板头出现的位置，还取决于它为其提供模板参数的实体。[temp.local]/7说

在出现在类模板定义之外的类模板成员的定义中，类模板成员的名称隐藏任何封闭类模板的模板参数的名称(如果成员是类或函数模板，则不隐藏成员的模板参数)。

这在这里并不完全适用(< code>test不是一个类模板)，但它表明您的外部定义应该没问题。编译器知道这一点并不容易，因为它需要识别成员来决定它是否是一个成员模板。然而，通过仔细考虑declarator-id的哪一部分使用来自每个模板头的模板参数，这是可能的，所以该规则不应该自动被认为是有缺陷的；铿锵(行李箱！)似乎在这种扩展的意义上正确地应用了它，尽管(正如在一个评论中指出的，也有一个老的CWG问题对这种情况提出了相反的解释。