2

我有以下代码（尽可能简化）：

#include <vector>
#include <algorithm>

using std::vector;

enum class Foo {
    BAR, BAZ
};

void print_to_file(const vector<const vector<Foo> >& sequences) {
    std::for_each(sequences.begin(), sequences.end(), [](const vector<Foo>& sequence) {
    });
}

int main(int argc, char **argv) {
    return EXIT_SUCCESS;
}

编译时g++ (SUSE Linux) 4.7.1 20120723 [gcc-4_7-branch revision 189773]出现g++ --std=c++11 test.cpp以下错误消息：

In file included from /usr/include/c++/4.7/x86_64-suse-linux/bits/c++allocator.h:34:0,
                 from /usr/include/c++/4.7/bits/allocator.h:48,
                 from /usr/include/c++/4.7/vector:62,
                 from test.cpp:1:
/usr/include/c++/4.7/ext/new_allocator.h: In instantiation of ‘struct __gnu_cxx::new_allocator<const std::vector<Foo> >’:
/usr/include/c++/4.7/bits/allocator.h:89:11:   required from ‘class std::allocator<const std::vector<Foo> >’
/usr/include/c++/4.7/bits/alloc_traits.h:89:43:   required from ‘struct std::allocator_traits<std::allocator<const std::vector<Foo> > >’
/usr/include/c++/4.7/ext/alloc_traits.h:109:10:   required from ‘struct __gnu_cxx::__alloc_traits<std::allocator<const std::vector<Foo> > >’
/usr/include/c++/4.7/bits/stl_vector.h:76:28:   required from ‘struct std::_Vector_base<const std::vector<Foo>, std::allocator<const std::vector<Foo> > >’
/usr/include/c++/4.7/bits/stl_vector.h:208:11:   required from ‘class std::vector<const std::vector<Foo> >’
test.cpp:11:25:   required from here
/usr/include/c++/4.7/ext/new_allocator.h:83:7: error: ‘const _Tp* __gnu_cxx::new_allocator<_Tp>::address(__gnu_cxx::new_allocator<_Tp>::const_reference) const [with _Tp = const std::vector<Foo>; __gnu_cxx::new_allocator<_Tp>::const_pointer = const std::vector<Foo>*; __gnu_cxx::new_allocator<_Tp>::const_reference = const std::vector<Foo>&]’ cannot be overloaded
/usr/include/c++/4.7/ext/new_allocator.h:79:7: error: with ‘_Tp* __gnu_cxx::new_allocator<_Tp>::address(__gnu_cxx::new_allocator<_Tp>::reference) const [with _Tp = const std::vector<Foo>; __gnu_cxx::new_allocator<_Tp>::pointer = const std::vector<Foo>*; __gnu_cxx::new_allocator<_Tp>::reference = const std::vector<Foo>&]’

相同的代码在 VS2012 上编译得很好，但在 g++ 下严重失败，我一点也不知道如何解释错误消息。

4

2 回答 2

5

我很惊讶您在其他地方没有遇到问题，因为这vector<const vector<Foo> >不是可能的数据类型。

a 的 value_typestd::vector必须至少是可复制构造 (C++03) 或可移动 (C++11)。如果它是 const，则不能分配或移动它。

于 2012-10-16T07:28:07.387 回答
3

用于标准容器的分配器要求不允许const容器持有对象。C++11 17.6.3.5“分配器要求”概述了使用以表 27 开头的一组表的标准分配器的要求。在表 27 中，第一个定义是针对“描述性变量” ，T定义为“任何非常量、非引用对象类型”。用于分配器类定义的描述性变量和是：UCXY

X- 类型的分配器类T

Y- 对应类型的分配器类U

总之，标准分配器是根据非常量类型的参数化定义的。

有一个旧的 GCC/libstdc++ 错误（已解决为无效）可以追溯到 2004 年（C++2003 对在容器中存储 const 对象有类似的限制，但它更容易显示，因为 2003 标准更直接地说存储在容器中的对象必须是“可分配的”）。

于 2012-10-16T08:03:10.963 回答