MSVC：无法识别的模板声明/定义（使用 Clang/GCC 编译）

Question

我尝试构建一个在 OSX (clang) 和 Linux (GCC/Clang) 上编译得很好的库。我偶然发现了一个 MSVC/Visual Studio 2017 不理解的模板定义。我可以归结为：

#include "stdafx.h"

template<class T>
class Parent {
    class Child {
        friend class Parent;
    public:
        Child(const Child &r);
    };
};

template<class T>
Parent<T>::Child::Child(const Parent<T>::Child &r) {
    *this = r;
}

int main(int argc, char const *argv[]) {
    /* code */
    return 0;
}

这（仍然）会导致以下错误：

1>...consoleapplication1.cpp(13): error C2988: unrecognizable template declaration/definition
1>...consoleapplication1.cpp(13): error C2059: syntax error: '('
1>...consoleapplication1.cpp(13): error C2143: syntax error: missing ';' before '{'
1>...consoleapplication1.cpp(13): error C2447: '{': missing function header (old-style formal list?)

但是（仍然）在 OSX 上使用 Clang 或 GCC 编译。 stdafx.h 和 main 不是实际库代码的一部分，但已添加以允许在 VS Windows 命令行项目中使用它。

我在这里想念什么？ MSVC 是否存在模板中的成员类或友元声明问题？

Answer 1

VC++ 的问题是参数类型没有被typename 限定。 [temp.res]/7:

[…] 在定义中 declarator-id（关键字）之后的类模板的成员 typename 在引用以前的名称时不需要 声明类型或类的类模板的声明成员 模板。

declarator-id 是 declaration 的第一个组件，因此参数子句中的任何成员类型都不需要以 typename 为前缀。