Question

我真的需要在std::vector内加std::pair引用（&），但当我尝试push_back引用值时，它会在函数内部中断。调试后我发现，引用地址与unique_ptr内的地址不同（但值相同）。

当我不使用（这里是foo（））任何插入向量的函数时，它引用的值是正确的，但地址仍然不匹配。

#include <iostream>
#include <memory>
#include <iterator>
#include <string>
#include <vector>

void foo(std::vector<std::pair<const int&, int> >& vector,         
std::unique_ptr<int>& ptr) {
    vector.push_back(std::make_pair<const int&, int>(*ptr, 11));
}

int main() {
    std::vector<std::pair<const int&, int> > v;
    std::unique_ptr<int> i = std::make_unique<int>(1);
    std::unique_ptr<int> b = std::make_unique<int>(0);   
    foo(v, i);
    v.push_back(std::make_pair<const int&, int>(*b, 10));
    std::cout << v.size() << ": ";
    for (auto x : v) {
        std::cout << x.first << ",";
    }
    std::cout << "\n";
}

此代码演示了问题 - 而不是"2: 1,0,"它输出"2: -342851272,0,"（或者首先是类似的大负数）。

问题出在哪里？

Answer 1

由于C ++ 14 std::make_pair被定义为

template< class T1, class T2 >
std::pair<V1,V2> make_pair( T1&& t, T2&& u );

其中V1和V2分别为std::decay<T1>::type和std::decay<T2>::type。

这意味着您的make_pair<const int&, int>调用并不真正生成带有引用的对，因为它们的第一个元素（与您显然相信的相反）。它们实际上产生pair<int, int>类型的临时数。此时，您将丢失对int中存储的原始unique_ptr对象的任何附件。

当您将这些pair<int, int>临时值传递给push_back时，它们会隐式转换为pair<const int&, int>类型的临时值，这是您的向量元素类型。通过此机制，您可以将向量元素中的引用附加到int生成的pair<int, int>个临时对象的make_pair成员（而不是存储在int s中的unique_ptr个对象）。一旦临时过期，引用就会变坏。

在这种情况下，您可以通过完全避免make_pair并简单地直接构造适当类型的std::pair个对象来消除此特定问题，例如

vector.push_back(std::pair<const int&, int>(*ptr, 11));

但是您可能会遇到由原始引用引起的其他问题。

如何在向量内部引用一对？

1 个答案: