Changes between Version 10 and Version 11 of HowTo/BoostStudy4

Timestamp:

Feb 26, 2011, 2:05:40 PM (15 years ago)

Author:

村山 俊之

Comment:

--

HowTo/BoostStudy4

@@ -379 +379 @@
    * 適当に書いてもそれなりに速い
    * 0x でそれなりに改善
+
+
+== なぜ僕はProtoをぺろぺろするのか ==
+
+=== Boost.Proto 概要 ===
+
+ * Expression Template の構築を補助するライブラリ
+   * a + b * c -> plus<A, multiply<B, C> >
+ * Boost 1.37
+ * Headers only
+
+=== Boost.Proto は縁の下の力持ち ===
+
+ * 単体で使って嬉しいライブラリではない
+ * Boost 内で利用しているライブラリ:
+   * Boost.Spirit
+   * Boost.Phoenix v3
+   * Boost.MSM.eUML
+   * Boost.Xpressive
+
+=== Expressoin Template (ET) の型 ===
+
+ * 割と重要
+   * エラーメッセ維持で頻出
+     * 恐ろしく長い
+   * Qi で Proto 関係の部分でエラーを出すと遭遇
+
+=== とりあえず使ってみる ===
+
+{{{
+default_context const ctx;
+std::const << eval(lit(1) + 2 + 3, ctx)
+           << std::endl;
+}}}
+
+実行結果
+{{{
+6
+}}}
+
+ * + を - とするコンテキスト
+{{{
+struct my_context {
+  template <
+    class Expr,
+    class Enable = void
+  > struct eval;
+};
+}}}
+
+=== SFINAE ===
+
+ * Substitution Failure Is not An Error
+   * 置き換え失敗はエラーにあらず
+ * boost::enable_if など
+{{{
+template <class T>
+typename enable_if<is_const<T> >::type foo();
+}}}
+ * SFINAE を用いて eval を分岐する。
+
+ * + を - とするコンテキスト
+{{{
+template <class Expr>
+struct eval<
+  Expr,
+  typename boost::enable_if<
+    matches<Expr, terminal<int> >
+  >::type
+> {
+  typedef int result_type;
+  
+  result_type
+  operator ()(Expr& e, my_context const&)
+  const {
+    return value(e);
+  }
+}
+}}}
+
+=== Boost.Proto の拡張方法 ===
+
+ * Context
+   * 評価に関する情報の提供
+ * Domain
+   * 式の生成手段の提供
+ * Extends
+   * 式を表す型を自分で提供
+ * Grammer
+   * 文法を定義。演算子オーバーロード制御。
+
+=== 数値計算に Boost.Proto ===
+
+ * ET と数値計算は相性が良い
+   * 「アルゴリズム」と「計算実装」を分離できる
+     * 組み合わせの爆発を抑制
+   * 見た目が良い (+ が加算を表す)
+ * 単純な計算の組み合わせで表現できる。
+   * Basic Linear Algebra Subprograms (BLAS)
+
+=== Boost.uBLAS では満足できない理由 ===
+
+ * Boost.uBLAS は可読性を重視している
+ * よって遅い
+ * 拡張できない
+
+=== General Purpose computing on GPU (GPGPU) について ===
+
+ * アルゴリズムは CPU, GPU 共通
+   * コードを共有したい→ bug が減る
+ * 計算実装は CPU と GPU で異なり、内部実装が多種多様
+
+