无法在MSVC 2015和GCC 7.3之间交叉编译此代码

Question

当我为我的项目编写代码时,我发现了一个非常奇怪的情况,即我的C++ 11代码无法在GCC 7.3和MSVC 2015之间进行交叉编译.案件基本上是这样的:

// .H file

template <typename X>
struct Outer {
    X x = {};

    template <typename Y>
    struct Inner {
        Y y = {};
        Inner& operator++();
    };
};

// .INL file

template <typename X>
template <typename Y>
inline Outer<X>::Inner<Y>&
    Outer<X>::Inner<Y>::operator++()
{
    ++y;
    return *this;
}

// .CPP file

#include <iostream>

int main()
{
    Outer<int>::Inner<int> a;
    ++a;
    std::cout << a.y << std::endl;

    return 0;
}

海湾合作委员会不会抱怨上述代码.但MSVC会,错误将是:

warning C4346: 'Inner': dependent name is not a type note: prefix with
'typename' to indicate a type error C2061: syntax error: identifier
'Inner' error C2143: syntax error: missing ';' before '{' error C2447:
'{': missing function header (old-style formal list?)

正如MSVC编译器本身所建议的那样,typename在返回类型上编写关键字将解决问题:

template <typename X>
template <typename Y>
inline typename Outer<X>::Inner<Y>&
Outer<X>::Inner<Y>::operator++()
{
    ++y;
    return *this;
} 

但现在,非常令人惊讶的是,GCC将不再编译,其错误是:

error: non-template 'Inner' used as template
     inline typename Outer<X>::Inner<Y>&
                               ^~~~~ note: use 'Outer<X>::template Inner' to indicate that it is a template error: expected
unqualified-id at end of input

同样,正如编译器本身所建议的那样,我尝试将关键字添加template到返回类型中,这将解决GCC的问题:

template <typename X>
template <typename Y>
inline typename Outer<X>::template Inner<Y>&
Outer<X>::Inner<Y>::operator++()
{
    ++y;
    return *this;
}

但是这个修复程序现在将再次破坏MSVC构建,并且编译器的错误是:

error C2244: 'Outer<X>::Inner<Y>::operator ++': unable to match
function definition to an existing declaration note: see declaration
of 'Outer<X>::Inner<Y>::operator ++' note: definition note:
'Outer<X>::Inner<Y> &Outer<X>::Inner<Y>::operator ++(void)' note:
existing declarations note: 'Outer<X>::Inner<Y>
&Outer<X>::Inner<Y>::operator ++(void)'

这一次,我刚停止,因为编译器错误消息没有帮助,因为报告的定义和声明之间的不匹配不存在:编译器本身给出的签名是完全匹配的.

此时,我不知道任何更好的解决方案,我决定只在.H文件中定义Inner类范围内的函数,这对GCC和MSVC都有效.但仍存在一些问题:谁是对的？GCC还是MSVC？或者C++标准在这种情况下是不是太模糊了？

Answer 1

这似乎适用于我测试过的所有编译器：

template <typename X>
template <typename Y>
inline auto Outer<X>::Inner<Y>::operator++() 
    -> Inner<Y> &
{
    ++y;
    return *this;
}