无法使此代码在MSVC 2015和GCC 7.3之间交叉编译
无法使此代码在MSVC 2015和GCC 7.3之间交叉编译
提问于 2019-01-30 17:02:31
当我为我的项目编写代码时，我发现了一种非常奇怪的情况:我的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;
}GCC不会抱怨上述规定。但是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文件的内部类范围内定义函数，这对GCC和MSVC都适用。但仍然存在一些问题:谁是对的？GCC还是MSVC？还是C++标准在这种情况下过于模棱两可？
回答 2
Stack Overflow用户
回答已采纳
发布于 2019-01-30 22:08:06
这似乎适用于我测试过的所有编译器：
template <typename X>
template <typename Y>
inline auto Outer<X>::Inner<Y>::operator++()
-> Inner<Y> &
{
++y;
return *this;
}页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/54445795
复制相关文章
相似问题
腾讯云开发者
