повысить make_shared без аргумента шаблона

Учитывая шаблон boost::make_shared<T>:

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

Механизм шаблона может вывести тип параметра arg1. Потому что он «видит» тип аргумента i (то есть int). Однако он не может определить возвращаемый тип T. Он не знает тип T boost::shared_ptr<T>, которому вы назначите (т. е. он не имеет возможности узнать тип int_ptr).

boost::shared_ptr<T> использует разные типы для аргумента (Arg1) и возврата (T), чтобы вы могли создавать общие указатели из аргументов, отличных от типа указателя. Например, от double до int:

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, поэтому вы не выигрываете в производительности.