我是如何设法将引用类型存储在标准容器中的？

Question

在尝试使用 C++11 智能指针和容器类时，我编写了两段代码，基本上可以归结为以下内容：

class Foo { ... };
typedef std::unique_ptr<Foo> FooPtr;

// First attempt; this did _not_ compile
typedef std::unordered_map<int, FooPtr> IntToFooMap;

// Second attempt; this _did_ compile
typedef std::unordered_map<int, const FooPtr &> IntToFooMap;

// here is the declaration causing the error in the second case:
IntToFooMap m {
    { 41, FooPtr(new Foo()) }
};

如您所见，首先我尝试定义一个未编译的FooPtr 的无序映射，因为FooPtr 是一个不可复制的std::unique_ptr（它有一个已删除的复制构造函数）。

更准确地说，是使用初始化列表初始化地图导致错误。

然而，令我大吃一惊的是，第二个版本，我将无序映射的value_type 定义为FooPtr 的const 引用，确实编译了。

直到今天，我认为一般情况下不可能将引用类型的值存储在标准容器中。虽然这种行为在某种程度上是可以直观理解的，但由于声明 (const) 引用可以防止 - 否则禁止 - 复制 unique_ptr，我仍然不完全理解它是如何工作或为什么工作的。 如果它确实有效，当然可以；如果这只是导致未定义行为的微妙极端情况，我不会感到惊讶。

Answer 1

您违反了库的约束。这会导致未定义的行为。该库可能会也可能不会检测到它是参考。

引用的问题是允许库假定容器拥有保存元素值的对象，因此调用其析构函数，特别是它可以这样做：

allocator_traits<A>::destroy(m, p) // m is the allocator, p points to object.

我没有注意到语言明确要求 std::[unordered_]map 中的映射类型是对象类型，但是您必须非常小心地避免 operator[] 尝试默认构造 value_type是std::pair<int, FooPtr const &>。对于无序的容器，还需要value_type的CopyAssignability，为了使用动态数组作为散列桶，虽然引用是CopyAssignable（复制传递给被引用的对象），但包含引用的pair则不是。

我怀疑图书馆的意图是允许在那里引用，但可能缺少禁令。反正我现在很困。也许有人能找到它。