2011/05/14 Boost

1. Boost.破壊的関数呼び出し
くらいおらいと

2. 注意
「それ○○でできるよ」「それ○○がす
でに言ってたよ」と言われた時点で本
発表は強制終了します

3. 前提知識
• C++0x
–ムーブセマンティクス (右辺値参照)
–右辺値参照 on *this
• Boost
–Boost.Bind
–Boost.Thread
–Boost.Asio
–Boost.ScopeExit

4. Motivation
下記のコードが通らなくて大変悲しい
void thread_main(std::unique_ptr<int> p)
{
…
}
std::unique_ptr<int> p(new int(42));
auto f = boost::bind(&thread_main, std::move(p));
boost::thread th(f); // コンパイルエラー

5. Motivation
下記のコードが通らなくて大変悲しい
void thread_main(std::unique_ptr<int> p)
{
…
}
このパタン (非同期呼び出しにおける
所有権の移動) は超重要
std::unique_ptr<int> p(new int(42));
auto f = boost::bind(&thread_main, std::move(p));
boost::thread th(f); // コンパイルエラー

6. 何が問題か？
boost::bind が呼び出し時に束縛され
た引数をコピーしようとする
(+ boost::bind が内部で束縛されたオ
ブジェクトをコピーする)
↓
std::unique_ptr はコピーできないので
アボン

7. 5分で考えたオレオレアイデア
boost::thread の実装では，スレッド関
数呼び出し時に boost::bind が束縛し
ている引数オブジェクトを破壊しても
大丈夫なはずだ

8. Boost.Thread 内部実装（テキトー）
// Boost.Thread の内部実装
// thread_callback はコールバック
// a1, a2 は引数
thread_callback(a1, a2, …);
// thread_callback は
// これ以降一切呼び出されない

9. 俺が考えた最強の
Boost.Thread 内部実装
// Boost.Thread の内部実装
// thread_callback はコールバック
// a1, a2 は引数
std::move(thread_callback)(a1, a2, …);
// thread_callback は
// これ以降一切呼び出されない

10. Move とは
Move できる
Movable
＋
Move を利用する
Move‐aware

11. 破壊的関数呼び出し とは
破壊的に呼び出せる
DestructivelyCallable
＋
破壊的呼び出しを利用する
Destructive‐Call‐aware

12. boost::bind 側
破壊的に呼び出せる
template<…>
class bind_wrapper {
…
template<…>
void opeartor()(…) &&
…
};

13. Boost.Thread 側
破壊的呼び出しを利用する
// Boost.Thread の内部実装
// thread_callback はコールバック
// a1, a2 は残りの引数
std::move(thread_callback)(a1, a2, …);

14. あるコンポーネントが
破壊的呼び出しを利用できる条件
指定された callback を破壊的に呼び
出してよいのは， callback を高々1回
しか呼ばないとき

15. 破壊的関数呼び出しができる例
＝
callback を高々1回しか呼ばない例
• Boost.Thread
• Boost.Asio のイベントハンドラ
• スコープガードに指定するコール
バック (Boost.ScopeGuard)
• (std::async)

16. 破壊的関数呼び出しのまとめ
• Boost.Bind に対して move on *this
による operator() のオーバーロード
を追加
• Boost.Thread, Boost.Asio,
Boost.ScopeExit の実装の該当箇所
に std::move なパッチを当てる

17. 破壊的関数呼び出しの利点
• 後方互換性を完全に維持したまま，
既存のコンポーネントの適用範囲を
広げる
• 特に非同期関数呼び出しにおける
所有権の移動が非常に扱いやすく
なる

18. 今後の予定
• 誰も言ってないっぽいなら Boost に
Asio と Thread と ScopeGuard のパッ
チ付きで提案して殴り込みをかける
• 返り討ちにあう
• それでもがんばる
• move on *this が clang++ にしか実
装されていないのでさようなら(^o^)ﾉ