在没有模板参数的情况下提升make_shared

boost make_shared without template argument

本文关键字：make shared 情况下 参数      更新时间：2023-10-16

我正在尝试将指向堆栈变量的指针传递给一个只需要boost::shared_ptr的函数(我不控制)。

根据这个答案，使用boost::make_shared是要走的路。为了测试这个功能，我写了这个：

#include <iostream>
#include <boost/shared_ptr.hpp>
#include <boost/make_shared.hpp>
int main(int argc, char const *argv[])
{
int i = 10;
boost::shared_ptr<int> int_ptr = boost::make_shared(i); // doesn't work
some_function(int_ptr); // this function takes only shared_ptr
return 0;
}

但它会引发以下错误：

error: no matching function for call to ‘make_shared(int&)’
boost::shared_ptr<int> int_ptr = boost::make_shared(i);
^

如果我像这样添加模板参数，它可以工作，但这是什么原因？

boost::shared_ptr<int> int_ptr = boost::make_shared<int>(i);

谢谢！

给定boost::make_shared<T>模板：

namespace boost {
template<typename T, typename Arg1>
shared_ptr<T> make_shared( Arg1 const & arg1 );
}

模板机制可以推导出参数arg1的类型。因为它"看到"了i参数的类型(即int)。但是，它无法推断返回类型T。它不知道您将分配到的boost::shared_ptr<T>的类型T(即它无法知道int_ptr的类型。

boost::shared_ptr<T>对参数(Arg1)和返回(T)使用不同的类型，以允许您从不同于指针类型的参数构建共享指针。例如，doubleint：

double d = 10.0;
std::shared_ptr<int> int_ptr = std::make_shared<int>(d);

如果要构建类型与参数相同的共享指针，可以编写一个包装器：

template<typename T>
boost::shared_ptr<T> my_make_shared(T const & arg) {
return boost::make_shared<T>(arg);
}

但请记住，虽然这有效：

int i = 10.0;
std::shared_ptr<int> int_ptr = my_make_shared(i); // OK

隐式类型转换不会：

double d = 10.0;
std::shared_ptr<int> int_ptr = my_make_shared(d); // ERROR

希望对您有所帮助！

虽然Guilherme Ferreira的回答详细阐述了模板参数推导(在这方面是正确的)，但我相信这不是你要找的答案。

我正在尝试将指向堆栈变量的指针传递给一个只需要 boost：：shared_ptr 的函数(我不控制)。

shared_ptr表示对指向对象的共享所有权。如果您尝试调用的函数将指针保存在其某些数据结构(如容器)中，然后返回，则一旦堆栈上的值被销毁，指针就会变得悬空，尽管shared_ptr仍然持有引用。为了执行所需的操作，您必须绝对确定该函数不会将指针保存在任何地方，并且只能在这一次调用期间使用它。

如果满足此条件，您可以创建一个指向堆栈上值的shared_ptr，但不能为此使用make_shared。make_shared堆上分配一个新对象及其引用计数器，并使用传递给函数调用的参数对其进行初始化。返回的shared_ptr指向该新对象，而不是堆栈上的对象。

void foo()
{
int n = 10;
boost::shared_ptr< int > pn = boost::make_shared< int >(n);
assert(*pn == 10); // succeeds
assert(pn.get() == &n); // fails
bar(pn);
}

这意味着bar对尖头int所做的修改不会反映在n上。

为了创建对现有对象的shared_ptr，您必须直接使用其构造函数。此外，由于对象的生存期由堆栈控制，因此您必须禁止shared_ptr销毁对象。这可以通过在构造shared_ptr上指定无操作删除器来完成。

void foo()
{
int n = 10;
boost::shared_ptr< int > pn(&n, boost::null_deleter());
assert(*pn == 10); // succeeds
assert(pn.get() == &n); // succeeds
bar(pn);
}

但请注意，此代码仍shared_ptr使用的引用计数器分配堆内存，因此您不会赢得任何性能。

相关文章：