Changes between Version 13 and Version 14 of HowTo/BoostStudy4

Timestamp:

Feb 26, 2011, 4:12:14 PM (15 years ago)

Author:

村山 俊之

Comment:

--

HowTo/BoostStudy4

@@ -380 +380 @@
    * 0x でそれなりに改善
 
+=== スライド ===
+
+ * http://www.slideshare.net/tanakh/ccdis
+
 
 == なぜ僕はProtoをぺろぺろするのか ==
@@ -540 +544 @@
  * dtl で採用したのは Wu
 
+
+== 実践 shared_ptr ==
+
+=== ガベコレ ===
+
+ * GC のほうが適した問題領域も…
+ * 無いものはないので我慢
+
+=== カスタムデリータ ===
+
+ * 動的にリソースの解放方法を決める
+ * 所有者が居なくなったら呼ばれる (参照カウンタ)
+ * 同じ型でも確保、解放処理は異なる
+ * shared_ptr = カウンタ + デリータ
+   * 大事です
+
+=== 具体例 ===
+
+ * boost::checked_deleter
+   * 単に delete する
+ * boost::checked_array_deleter
+   * delete[]
+ * 関数 (オブジェクト) なので何でもできます
+   * ログ仕込んだり…
+ * 典型例: ハンドルのクローズ
+{{{
+HHOGE raw_handle = ::OpenHoge(...);
+::ReleaseHoge(raw_handle);
+}}}
+ * 確実にハンドルをクローズするには…?
+ * 勝手に解放して下さい
+{{{
+typedef
+  shared_ptr<remove_pointer<HHOGE>::type>
+  HogePtr;
+HHOGE raw_handle = ::OpenHoge(...);
+HogePtr hoge_h(raw_handle, ::CloseHoge);
+}}}
+
+=== リソース間の依存 ===
+
+ * 権利だけ主張する人もいます
+{{{
+struct Legacy {
+  Buffer* buffer;  // ちゃんと有効なバッファ指してね!
+};
+}}}
+ * Legacy::buffer の管理は誰の責任?
+ * 所有権ちょいたし
+{{{
+struct LegacyDeleter {
+  explicit LegacyDeleter(shared_ptr<Buffer> buffer)
+  : buffer(buffer) {}
+  void operator()(Legacy* ptr) const { delete ptr; }
+  shared_ptr<Buffer> buffer; // 所有
+};
+shared_ptr<Legacy> create(shared_ptr<Buffer> buffer) {
+  LegacyDeleter deleter(buffer); // デリータが所有
+  shared_ptr<Legacy> ret(new legacy(), deleter);
+  ret->bufer = buffer.get();
+  return ret;
+};
+}}}
+
+=== Null デリータ ===
+
+ * 何もしないデリータです。
+{{{
+struct NullDeleter {
+  void operator()(void*) const{}
+};
+
+void nullDeleter(void *){
+}
+}}}
+ * 誰かが管理しているリソース
+   * コンテキストと生死を共にしている
+     * スタック、data領域、TLS ...
+   * 何らかの仕組みで管理されている
+     * 強調できるのが一番良いのですが…
+ * ポインタのフリしてるだけ
+   * reinterpret_cast<void *>(...)
+{{{
+static vecter<int> vi;
+shared_ptr<vector<int> > vi_ptr(&vi, NullDeleter());
+
+void* val = reinterpret_cast<void*>(-1);
+shared_ptr<void> val_ptr(val, NullDeleter());
+
+shared_ptr<pair<int, int> > iip = ...;
+shared_ptr<int> iptr(&iip->first, NullDeleter());
+}}}
+ * ところで (上記 3つ目) もし iip が有効じゃなかったら…
+   * 他の手を考えましょう。
+ * boost もしくは 0x なら...
+   * 参照カウンタの共有!
+     * iip.use_count() == iptr.use_count()
+   * でも tr1 にはありません…
+   * tr1 なら Null デリータ + 延命
+{{{
+struct FirstDeleter {
+  explicet firstDeleter(shared_ptr<pair<int, int> > parent)
+  :parent(parent){}
+  void operator()(int*) const {};
+  shared_ptr<pair<int, int> > parent;
+};
+
+=== 応用 ===
+
+ * 参照はしたい、所有はしたくない、リソースが有効じゃなくても良い、でも安全だと嬉しい。
+   * ↑お前は何を(ry
+ * どうしても所有してしまう
+{{{
+weak_ptr<T> weak = ...;
+shared_ptr<T> ptr = weak.lock();
+}}}
+ * リソース安全に扱うための仕組み
+ * 安全とか要らん
+ * これでもくらえ
+{{{
+struct Deleter {
+  void operator()(T* ptr) const { not_onwer.reset(); ... }
+  shared_ptr<T> not_owner;
+} deleter;
+shared_ptr<T> owner(ptr, deleter);
+deleter.not_owner.reset(owner.get(), NullDeleter());
+weak_ptr<T> not_owner_ref = deleter.not_owner;
+}}}
+ * ex) HWND ... ウィンドウを生成したのとは別のスレッドで解放してはいけない
+
+=== 注意 ===
+
+ * コンテキストに注意
+   * デリータはどこでも呼び出される
+
+=== みんな大好き void* ===
+
+ * 何でも参照できる魔法のポインタ型
+ * ただのポインタ
+   * 参照なのか所有なのか?
+   * 有効なのか無効なのか?
+ * shared_ptr<void>
+{{{
+vector<shared_ptr<void>> delay;
+delay.push_back(make_shared<int>(1));
+delay.push_back(make_shared<string>("one"));
+}}}
+ * 何でも入るぞ－
+ * カスタムデリータ－で正しく解放できる
+ * とりあえず寿命伸ばしたいときとかに
+ * 実践例: Blob
+{{{
+struct Blob {
+  char* data;
+  size_t size;
+  shared_ptr<void> resource;
+};
+}}}
+{{{
+Blob createBlob(const vector<char>& v){
+  shared_ptr<vector<char>> res(new vector<char>(v));
+  return Blob(res->data().res->size(), res);
+}
+Blob createBlob(const string& str){
+  shared_ptr<string> res(new string(str));
+  return Blob(res->data().res->size(), res);
+}
+}}}
+
+=== 複数のリソースを返す API ===
+
+ * unique_ptr -> shared_ptr