Preprocess-time Lambda Expression
- 1. λ expression for PP を作ってみました digitalghost http://d.hatena.ne.jp/DigitalGhost/ http://twitter.com/DecimalBloat
- 4. 前提
- 13. どーきらしきもの 例：void fun0() 〜 void fun9()のfowarding declarationを作る
- 14. どーきらしきもの 例：void fun0() 〜 void fun9()のfowarding declarationを作る #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun)
- 15. どーきらしきもの 例：void fun0() 〜 void fun9()のfowarding declarationを作る #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) 展開結果 void f0(); void f1(); … void f9();
- 16. どーきらしきもの 例：void fun0() 〜 void fun9()のfowarding declarationを作る #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) この#define FWD_DECLを定義するのが嫌だ 展開結果 void f0(); void f1(); … void f9();
- 17. どーきらしきもの 例：void fun0() 〜 void fun9()のfowarding declarationを作る #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) この#define FWD_DECLを定義するのが嫌だ ラムダ式使えればいいんじゃね？ 展開結果 void f0(); void f1(); … void f9();
- 18. どーきらしきもの 例：void fun0() 〜 void fun9()のfowarding declarationを作る #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) この#define FWD_DECLを定義するのが嫌だ ラムダ式使えればいいんじゃね？ 作ってみました 展開結果 void f0(); void f1(); … void f9();
- 19. どーきらしきもの 例：void fun0() 〜 void fun9()のfowarding declarationを作る #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) この#define FWD_DECLを定義するのが嫌だ ラムダ式使えればいいんじゃね？ 作ってみました ●http://patch-tag.com/r/digitalghost/pplambda/home 展開結果 void f0(); void f1(); … void f9();
- 21. 簡単な例 さっきのfun0〜fun9をラムダ式で BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun))
- 22. 簡単な例 さっきのfun0〜fun9をラムダ式で BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun)) ●PP_LAMBDA_EVAL_Zはラムダ式の評価器
- 23. 簡単な例 さっきのfun0〜fun9をラムダ式で BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun)) ●PP_LAMBDA_EVAL_Zはラムダ式の評価器 ●LAMBDA3から(();)までがラムダ式本体
- 24. 簡単な例 さっきのfun0〜fun9をラムダ式で BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun)) ●PP_LAMBDA_EVAL_Zはラムダ式の評価器 ●LAMBDA3から(();)までがラムダ式本体 ●#defineとか最初からいらんかったんや！
- 25. 使い方
- 26. 基本1 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar))
- 27. 基本1 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ●PP_EVAL_LAMBDA(expr, params)はラムダ式 の評価器
- 28. 基本1 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ●PP_EVAL_LAMBDA(expr, params)はラムダ式 の評価器 ●第一引数がラムダ式
- 29. 基本1 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ●PP_EVAL_LAMBDA(expr, params)はラムダ式 の評価器 ●第一引数がラムダ式 ●第二引数はラムダ式の引数
- 30. 展開すると PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar))
- 31. 展開すると PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ↓ BOOST_PP_CAT ( Azniyan , Kawaiinar )
- 32. 展開すると PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ↓ BOOST_PP_CAT ( Azniyan , Kawaiinar ) ↓ AzniyanKawaiinar
- 33. 展開すると PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ↓ BOOST_PP_CAT ( Azniyan , Kawaiinar ) ↓ AzniyanKawaiinar ※http://twitter.com/azniyan
- 34. 基本2 ●LAMBDAnは「n引数のラムダ式」という意味 （nは1〜3） ●以下のルール ●(hoge) → hoge ●LPAREN → ( ●RPAREN → ) ●COMMA → , ●ARGn → ラムダ式のn個目の引数 の組み合わせ（nは1〜3）
- 35. もう一度あずにやんかわいいなあ PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ↓ BOOST_PP_CAT ( Azniyan , Kawaiinar ) ↓ AzniyanKawaiinar
- 36. もう一度あずにやんかわいいなあ PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) ↓ BOOST_PP_CAT ( Azniyan , Kawaiinar ) ↓ AzniyanKawaiinar LPARENやRPARENを 並べた結果が マクロ呼び出しの形なら それも展開される
- 39. LPARENとか書くのめんどくさい… ●構文糖あります ●APPLYn(f)(expr1, expr2, …) = (f) LPAREN expr1 COMMA expr2 COMMA … RPAREN
- 40. LPARENとか書くのめんどくさい… ●構文糖あります ●APPLYn(f)(expr1, expr2, …) = (f) LPAREN expr1 COMMA expr2 COMMA … RPAREN ●n(expr1, expr2, …) = LPAREN expr1 COMMA expr2 COMMA … RPAREN
- 41. LPARENとか書くのめんどくさい… ●構文糖あります ●APPLYn(f)(expr1, expr2, …) = (f) LPAREN expr1 COMMA expr2 COMMA … RPAREN ●n(expr1, expr2, …) = LPAREN expr1 COMMA expr2 COMMA … RPAREN ※ただしnは1〜3
- 42. あずにやん with 構文糖 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar))
- 43. あずにやん with 構文糖 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) は、こう書き換えられる
- 44. あずにやん with 構文糖 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) は、こう書き換えられる PP_EVAL_LAMBDA( LAMBDA2 APPLY2(BOOST_PP_CAT) (ARG1, ARG2), (Azniyan, Kawaiinar))
- 45. あずにやん with 構文糖 PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) LPAREN ARG1 COMMA ARG2 RPAREN, (Azniyan, Kawaiinar)) こうも書き変えられる PP_EVAL_LAMBDA( LAMBDA2 (BOOST_PP_CAT) 2(ARG1, ARG2), (Azniyan, Kawaiinar)) ●APPLYを使うより短く書けるけど見た目がキモ い
- 46. 実用例
- 47. BOOST_PP_REPEATで ●導入で登場した例 BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun))
- 48. BOOST_PP_REPEATで ●導入で登場した例 BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun)) ●ポイントは PP_LAMBDA_EVAL_Z
- 53. PP_LAMBDA_EVAL_Z #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun)
- 54. PP_LAMBDA_EVAL_Z #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun))
- 55. PP_LAMBDA_EVAL_Z #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun))
- 56. PP_LAMBDA_EVAL_Z #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun)) 繰り返し用マクロを EVAL_Zに変更
- 57. PP_LAMBDA_EVAL_Z #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun)) 繰り返し用マクロを EVAL_Zに変更
- 58. PP_LAMBDA_EVAL_Z #define FWD_DECL(z, n, d) void BOOST_PP_CAT(d, n)(); BOOST_PP_REPEAT(10, FWD_DECL, fun) BOOST_PP_REPEAT(10, PP_LAMBDA_EVAL_Z, (LAMBDA3 (void) APPLY2(BOOST_PP_CAT)(3_, 2_) (();), fun)) 繰り返し用マクロを EVAL_Zに変更 三つ目の引数を ラムダ式と繰り返しマクロの引数 のタプルにする
- 59. その他の話
- 64. 例：Active Argument ●ドキュメントの一番最初に紹介されている機能 #define A(n) CHAOS_PP_DEFER(A_INDIRECT)()(CHAOS_PP_INC(n)) /**/ #define A_INDIRECT() A #define X(arg) arg #define Y(arg) X(arg) #define Z(arg) Y(arg) A(0) // A_INDIRECT()(1) X( A(0) ) // A_INDIRECT()(2) Y( A(0) ) // A_INDIRECT()(3) Z( A(0) ) // A_INDIRECT()(4)
- 65. 例：Active Argument ●ドキュメントの一番最初に紹介されている機能 #define A(n) CHAOS_PP_DEFER(A_INDIRECT)()(CHAOS_PP_INC(n)) /**/ #define A_INDIRECT() A #define X(arg) arg #define Y(arg) X(arg) #define Z(arg) Y(arg) A(0) // A_INDIRECT()(1) X( A(0) ) // A_INDIRECT()(2) Y( A(0) ) // A_INDIRECT()(3) Z( A(0) ) // A_INDIRECT()(4) ●どう使うんだろう…
- 66. 中途半端に形式的な文法 pp-lambda: LAMBDA n pp-lambda-expr pp-lambda-expr: pp-lambda-term pp-lambda-expr pp-lambda-term pp-lambda-term: pp-lambda-literal pp-lambda-parameter pp-lambda-macro-call COMMA LPAREN RPAREN pp-lambda-tuple pp-lambda-macro-call: APPLY n ( balanced-pp-tokens ) ( pp-lambda-expr-list ) pp-lambda-expr-list: pp-lambda-expr pp-lambda-expr-list , pp-lambda-expr pp-lambda-parameter: digit underscore pp-lambda-literal: ( balanced-pp-tokens ) pp-lambda-tuple: digit ( pp-lambda-expr-list ) underscore: 直前に空白文字がない _ n: 直前に空白文字がない digit
- 69. 終わり