c++ - 无法使此代码在 MSVC 2015 和 GCC 7.3 之间交叉编译
问题描述
当我为我的项目编写代码时,我发现了一个非常奇怪的情况,我的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++ 标准过于模棱两可?
解决方案
这似乎适用于我测试过的所有编译器:
template <typename X>
template <typename Y>
inline auto Outer<X>::Inner<Y>::operator++()
-> Inner<Y> &
{
++y;
return *this;
}
推荐阅读
- python - 反转数组,Python
- node.js - 通过 Google Calendar API 向与会者发送即时电子邮件通知以插入和删除事件
- angular - 检索数据角度火力
- java - 使用 Spring MongoTemplate 在 mongo 中插入数据时获取 java.lang.NoSuchMethodError: org.springframework.cglib.core.ReflectUtils.defineClass
- wordpress - 如何使用 Thrive 主题创建单个博客页面(架构师)
- file - 检索完全隐藏的文件
- java - 未从 AttributeConverter 内的属性中获取值
- javascript - DFP 广告管理系统 (DFP) 解决方案上的 Adobe Flash Animate CC HTML5 广告
- haskell - 函数 buildTree' Haskell 中的非详尽模式
- php - 通过 POST 接收的 HTML 实体与在同一页面中创建的实体不可比较