Question

我编写的原始代码与microsoft的编译器开箱即用，但不能用gcc（4.7.4）编译：这是简化的代码：

// test.cpp
#include <unordered_map>
using namespace std;

struct order_rec;
typedef unordered_map<int, order_rec> placed_orders_t;
typedef placed_orders_t::iterator placed_order_iterator;
typedef unordered_map<int, placed_order_iterator> book_list_t;
typedef book_list_t::iterator book_list_iterator;
struct order_rec
{
    int a;
    book_list_iterator bi;
};

int main()
{
    book_list_t test1;
    order_rec test2;
}

g ++不喜欢这一行：typedef placed_orders_t::iterator placed_order_iterator;，它出错了，因为该行struct order_rec没有完全声明。

如你所见，我有一张地图placed_orders_t的int =＆gt; order_rec，然后我有另一个映射book_list_t，它将int映射到迭代器到placed_orders_t映射。然后，order_rec本身将一个交互器存储到book_list_t map。

中

请注意，我认为这是gcc实现unordered_map（或者编译器本身）的一个错误：如果我将placed_orders_t作为std :: map键入，那么一切编译都很好;但是，我确实需要在那里使用无序地图。

什么可以用作解决方法？

这是g ++编译中的相关部分

g++-4.7 -O3 -DNDEBUG -std=c++11 -c test.cpp
...
/usr/include/c++/4.7/bits/unordered_map.h:264:11:   required from ‘class std::unordered_map<int, order_rec>’
test.cpp:7:24:   required from here
/usr/include/c++/4.7/bits/stl_pair.h:94:11: error: ‘std::pair<_T1, _T2>::second’ has incomplete type
test.cpp:5:8: error: forward declaration of ‘struct order_rec’

Answer 1

您拥有的代码是未定义的行为。当你写：

struct order_rec;
typedef unordered_map<int, order_rec> placed_orders_t;
typedef placed_orders_t::iterator placed_order_iterator;

这需要placed_orders_t的实例化，这需要实例化unordered_map<int, order_rec>。此时order_rec不完整。来自[res.on.functions]：

特别是，在以下情况下效果未定义：[...]如果在实例化模板组件时将不完整类型（3.9）用作模板参数，除非特别允许该组件。

标准库中的某些类模板允许不完整的类型（例如unique_ptr或vector），但unordered_map不是其中之一，因此其效果是未定义。未能编译是允许的效果。请注意，即使您的代码已编译，map也是如此。

您必须让placed_orders_t::mapped_type成为可在此上下文中使用的类型。也许是std::unique_ptr<order_rec>？

Answer 2

我认为这是编译器问题。但通常它不应该工作，因为当你使用typedef unordered_map<int, order_rec> placed_orders_t;时，它需要知道order_rec的大小，以便它可以相应地分配内存，在你的情况下是未知的，所以要么使用{{ 1}}代替order_rec*或在使用之前移动order_rec的定义。

Answer 3

不是一个非常好的解决方案，但我们可以更改order_rec并尽早申报。

struct  book_list_iterator;
struct order_rec
{   
    int a;
    vector    <book_list_iterator> bi;
};

这是有效的，因为vector明确允许不完整的类型作为成员类型。

（我确实考虑过shared_ptr和unique_ptr而不是vector，但我认为这是避免为order_rec编写复制构造函数的最简单方法。

要访问单个迭代器，我们需要->bi.at(0)，而不仅仅是->bi。

最后，book_list_iterator不是typedef，而是结构

typedef unordered_map<int, order_rec> placed_orders_t;
typedef placed_orders_t::iterator placed_order_iterator;
typedef unordered_map<int, placed_order_iterator> book_list_t;

struct  book_list_iterator : public book_list_t::iterator
{
};

带有容器迭代器的c ++中的循环类型依赖（GCC失败，而MSVC ok）

3 个答案: