C++ N4189のUnique Resourceの実装例について

Question

N4189で提案されているUnique Resourceが便利そうなので、簡易版を自ソフトへ取り込もうとしています。

この資料の16ページ 8.2 Unique Resourceに実装例が記載されているのですが、何か変です。

####疑問①

template<typename R,typename D>
class unique_resource{
    R resource;
    D deleter;
    bool execute_on_destruction; // exposition only

（中略）

// construction
explicit
unique_resource(R && resource, D && deleter, bool shouldrun=true) noexcept
    : resource(std::move(resource))
    , deleter(std::move(deleter))
    , execute_on_destruction{shouldrun}{}

（中略）

//factories
template<typename R,typename D>
auto
make_unique_resource( R && r,D &&d) noexcept {
return unique_resource<R,std::remove_reference_t<D>>(
    std::move(r)
    ,std::forward<std::remove_reference_t<D>>(d)
    ,true);
}

となっているのですが、std::move()しているためresourceに参照を渡せないように思います。

実験
普通に名前付きインスタンス(std::vector<unsigned> foo;のfoo)をfactoryに渡したところ、msvc 2015ではstd::move()のままでも通ったのですが、MinGW 5.2.0ではエラーになりました。

error: invalid initialization of non-const reference of type 'std::vector<unsigned int>&' from an rvalue of type 'std::remove_reference<std::vector<unsigned int>&>::type {aka std::vector<unsigned int>}'

そして、std::forward<>へ変更することでビルドと実行できるようになりました。
これは実装例のミスと考えて間違いないでしょうか？
私自身のstd::forwardの理解が浅いのでいまいち確信が持てないのです。

####疑問②
次に、factoryでremove_reference<D>されていますが、この必要性が分かりません。

実験
remove_reference_t<D>が２箇所にあります。このままでも動作するのですが、両方ともremove_reference_t<>をやめて、ラムダ式を与えてみたところ問題なく動作しました。
このremove_reference_t<>は不要と考えて間違いないでしょうか？

意味もなくコードが複雑になるのは好ましくないので、不要なら削除しようと思います。

Answer 1

Unique Resourceは文字通り「Uniqueな／他と共有しない排他的な」資源を扱うため、参照を渡せないのは設計通りかと思います。

普通に名前付きインスタンス(std::vector<unsigned> foo;のfoo)をfactoryに渡したところ、msvc 2015ではstd::move()のままでも通ったのですが、MinGW 5.2.0ではエラーになりました。

MinGW 5.2.0の挙動が正しいはずです。オブジェクトは変数fooで既に管理されているため、そこからUnique Resourceを作ってはいけません／禁止されるべきです。

---

次に、factoryでremove_reference<D>されていますが、この必要性が分かりません。

make_unique_resource第二引数に左辺値を渡すケースで必要になると思います。

• 1個目：このケースではテンプレートパラメータDは左辺値参照T&に推論されるため、unique_resource::deleterを非左辺値参照とするためのremove_reference_t<D>だと思います。
• 2個目：std::forward<std::remove_reference_t<D>>(d)はstd::move(d)と等価なような... Give Up.

Comments

[Chironian]

yohhoyさん。ご回答ありがとうございます。

なるほど「unique_ptrをリソースへ拡張する」ような発想なのですね。
そして、std::move()で処理するためにfactoryの１個目はremove_reference<D>する必要があるということ納得です。２個目の方は確かに良く分からないですね。１個目と合わせた程度なのかも？

そして、私が欲しいものはスコープから出る時に自動的に後始末するものだったので、微妙に異なるものだったということのようです。
クラス内のメンバ関数間で共有したいリソースなのでメンバ変数とし、特定のブロック内でのみメモリ確保させたかったのです。（参照型パラメータで次々と渡しても良いのですが、仕様変更時に無駄な手間がかかるので避けたかったのです。）
名前を変えて実装することにします。

お陰ですっきりしました。ありがとうございました。

【追記】
同じN4189に記載されているscope_exitが使えました。
単に後始末関数をこれに登録すればOK。