web-dev-qa-db-ja.com

std :: shared_ptrおよび初期化子リスト

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に基づく）

編集：make_sharedの代わりにshared_ptr。

エラーは次のとおりです。

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.
c++c++11clangshared-ptrinitializer-list
18
dpj

これを試して：

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

Clangは{"foo", "bar", "baz"}のタイプを推測することをいとわない。現在、それが言語の動作方法であるのか、それともコンパイラのバグを調べているのかはわかりません。

24
Howard Hinnant

_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コンストラクターはnotを実行し、代わりに所有権。

5
Kerrek SB

make_sharedが指す、これらの引数から構築された新しいオブジェクトを作成する場合は、shared_ptrを使用する必要があります。 shared_ptr<T>はT-へのポインタのようなもので、TではなくTへのポインタで構築する必要があります。

編集：初期化リストが含まれている場合、完全な転送は実際にはまったく完全ではありません（これは最悪です）。コンパイラのバグではありません。タイプFuncの右辺値を手動で作成する必要があります。

3
Puppy