如何正确实例化类内std::shared_ptr成员并解决编译错误？

问题场景 #

定义了如下模板结构体：

template <typename T>
struct foo {
    foo(T data) : data(data) {}
    std::shared_ptr<T> data;
};

在main函数中以int为模板参数实例化并使用时：

int main() {
    foo<int> obj(10);
    std::cout << *obj.data << "\n";
    return 0;
}

编译失败，错误信息为：no matching function for call to 'std::shared_ptr<int>::shared_ptr(int&)'

错误原因 #

std::shared_ptr<T>没有提供直接用T类型原始值初始化的构造函数，构造函数初始化列表里试图用传入的T类型值直接初始化shared_ptr，违背了shared_ptr的构造规则——它需要托管堆上的对象，要么接收指向该对象的指针，要么通过std::make_shared创建并托管对象。

解决方案（保留shared_ptr内存管理功能） #

方法1：用std::make_shared创建托管对象 #

修改结构体构造函数，通过std::make_shared在堆上创建T对象，并让shared_ptr托管它：

template <typename T>
struct foo {
    foo(T data) : data(std::make_shared<T>(data)) {}
    std::shared_ptr<T> data;
};

std::make_shared会一次性分配对象内存和shared_ptr的控制块，是创建shared_ptr的推荐方式，它会自动管理堆对象的生命周期。

方法2：构造函数接收指针（注意内存来源） #

将构造函数改为接收T*类型指针，用它初始化shared_ptr：

template <typename T>
struct foo {
    foo(T* ptr) : data(ptr) {}
    std::shared_ptr<T> data;
};

使用时需要传入堆上分配的指针（shared_ptr会接管内存释放）：

int main() {
    foo<int> obj(new int(10));
    std::cout << *obj.data << "\n";
    return 0;
}

⚠️ 注意：绝对不能传入栈上变量的指针，否则shared_ptr尝试释放栈内存会触发未定义行为。

方法3：构造函数直接接收std::shared_ptr #

让构造函数直接接收shared_ptr，外部负责创建并传入：

template <typename T>
struct foo {
    foo(std::shared_ptr<T> ptr) : data(std::move(ptr)) {}
    std::shared_ptr<T> data;
};

使用示例：

int main() {
    foo<int> obj(std::make_shared<int>(10));
    std::cout << *obj.data << "\n";
    return 0;
}

这种方式适合需要共享对象所有权的场景，外部可以灵活控制shared_ptr的创建和传递。

内容的提问来源于stack exchange，提问作者boat d