std::shared_ptr 和初始化列表

Question

std::shared_ptr 构造函数的行为不符合我的预期：

#include <iostream>
#include <vector>

void func(std::vector<std::string> strings)
{
    for (auto const& string : strings)
    {
        std::cout << string << '\n';
    }
}

struct Func
{
    Func(std::vector<std::string> strings)
    {
        for (auto& string : strings)
        {
            std::cout << string << '\n';
        }
    }
};

int main(int argc, const char * argv[])
{

    func({"foo", "bar", "baz"});
    Func({"foo", "bar", "baz"});
    //auto ptr = std::make_shared<Func>({"foo", "bar", "baz"}); // won't compile.
    //auto ptr = std::make_shared<Func>{"foo", "bar", "baz"}; // nor this.
    return 0;
}

我做错了什么还是编译器？编译器是：

$ clang++ --version Apple clang 4.0 版（tags/Apple/clang-421.0.57）（基于 LLVM 3.1svn）

编辑：shared_ptr 而不是 make_shared。

这是错误：

make -k 
clang++ -std=c++11 -stdlib=libc++    main.cc   -o main
main.cc:28:18: error: no matching function for call to 'make_shared'
      auto ptr = std::make_shared<Func>({"foo", "bar", "baz"});
                 ^~~~~~~~~~~~~~~~~~~~~~
/usr/bin/../lib/c++/v1/memory:4621:1: note: candidate function not viable:
     requires 0 arguments, but 1 was provided
make_shared(_Args&& ...__args)
^
1 error generated.

Answer 1

试试这个：

auto ptr = std::make_shared<Func>(std::initializer_list<std::string>{"foo", "bar", "baz"});

Clang 不愿意推断{"foo", "bar", "baz"} 的类型。我目前不确定这是否是该语言应该工作的方式，或者我们是否正在查看编译器错误。

Answer 2

shared_ptr<T> 的构造函数将T* 类型的指针作为其参数，假定指向动态分配的资源（或至少可以被删除器释放的资源）。另一方面，make_shared 为您进行构造并直接获取构造函数参数。

所以要么你这么说：

std::shared_ptr<Foo> p(new Foo('a', true, Blue));

或者，更好更高效：

auto p = std::make_shared<Foo>('a', true, Blue);

后一种形式为您处理分配和构造，并在此过程中创建更有效的实现。

你当然也可以说make_shared<Foo>(Foo('a', true, Blue))，但这只会创建一个不必要的副本（可能会被省略），更重要的是它会产生不必要的冗余。 [编辑]对于初始化你的向量，这可能是最好的方法：

auto p = std::make_shared<Func>(std::vector<std::string>({"a", "b", "c"}));

不过，重要的一点是，make_shared为您执行动态分配，而 shared-ptr 构造函数不，而是接受所有权。

Answer 3

如果你想创建一个新对象，你需要使用make_shared，这个对象由这些参数构造，由shared_ptr 指向。 shared_ptr<T> 就像一个指向T 的指针——它需要用一个指向T 的指针 来构造，而不是T。

编辑：当涉及初始化列表时，完美的转发实际上并不完美（这很糟糕）。这不是编译器中的错误。您必须手动创建Func 类型的右值。