如何在向量内有一对带有参考的对?

How can I have a pair with reference inside vector?

本文关键字：参考 向量      更新时间：2023-10-16

我真的需要在内部使用引用(&)来std::vectorstd::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,"(或类似的大负数)。

问题出在哪里？

自 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>类型的临时。此时，您将失去对存储在unique_ptr中的原始int对象的任何附件。

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

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

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

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

相关文章：