{"id":2907,"date":"2013-08-19T09:35:46","date_gmt":"2013-08-19T00:35:46","guid":{"rendered":"http:\/\/peta.okechan.net\/blog\/?p=2907"},"modified":"2013-08-19T09:35:46","modified_gmt":"2013-08-19T00:35:46","slug":"2-5-%e4%ba%8c%e9%a0%85%e6%bc%94%e7%ae%97%e5%bc%8f%ef%bc%88binary-expression%ef%bc%89%e3%81%ae%e6%a7%8b%e6%96%87%e8%a7%a3%e6%9e%90","status":"publish","type":"post","link":"https:\/\/peta.okechan.net\/blog\/archives\/2907","title":{"rendered":"2.5. \u4e8c\u9805\u6f14\u7b97\u5f0f\uff08binary expression\uff09\u306e\u69cb\u6587\u89e3\u6790"},"content":{"rendered":"<p><a href=\"https:\/\/peta.okechan.net\/blog\/archives\/2836\" title=\"LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\">LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u65e5\u672c\u8a9e\u8a33<\/a><br \/>\n\u7b2c2\u7ae0 \u4e07\u83ef\u93e1: \u69cb\u6587\u89e3\u6790\u5668\u3068AST\u306e\u5b9f\u88c5<br \/>\n<a href=\"http:\/\/llvm.org\/docs\/tutorial\/LangImpl02.html#binary-expression-parsing\" target=\"_blank\">\u7b2c5\u7bc0 \u4e8c\u9805\u6f14\u7b97\u5f0f\uff08binary expression\uff09\u306e\u69cb\u6587\u89e3\u6790<\/a><\/p>\n<p><em>\u8a33\u6ce8: \u4ee5\u524d\u3082\u540c\u3058\u3088\u3046\u306a\u4e8b\u3092\u66f8\u3044\u305f\u304c\u3001binary expression\u306f\u30b3\u30f3\u30d1\u30a4\u30e9\u754c\u9688\u3067\u306f\u7d50\u69cb\u4e00\u822c\u7684\u306a\u7528\u8a9e\u3060\u3068\u601d\u3046\u3051\u3069\u3001\u9069\u5f53\u306a\u65e5\u672c\u8a9e\u8a33\u304c\u7121\u3044\u3063\u307d\u3044\u306e\u3067\u3001\u3053\u3053\u3067\u306f\u3068\u308a\u3042\u3048\u305a\uff08\u4e8c\u9805\u6f14\u7b97\u5b50 binary operator\u3068\u533a\u5225\u3059\u308b\u305f\u3081\u306b\u3082\uff09\u4e8c\u9805\u6f14\u7b97\u5f0f\u3068\u8a33\u3059\u3002<\/em><\/p>\n<p>\u4e8c\u9805\u6f14\u7b97\u5f0f\u306f\u69cb\u6587\u89e3\u6790\u3059\u308b\u306e\u304c\u304b\u306a\u308a\u96e3\u3057\u3044\u3002<br \/>\n\u306a\u305c\u306a\u3089\u3001\u4e8c\u9805\u6f14\u7b97\u5f0f\u306f\u3057\u3070\u3057\u3070\u8907\u6570\u306e\u610f\u5473\u3092\u6301\u3064\u304b\u3089\u3067\u3042\u308b\u3002<br \/>\n\u4f8b\u3048\u3070\u3001&#8221;x+y*z&#8221;\u3068\u3044\u3046\u6587\u5b57\u5217\u304c\u4e0e\u3048\u3089\u308c\u305f\u3068\u304d\u3001\u69cb\u6587\u89e3\u6790\u5668\u306f&#8221;(x+y)*z&#8221;\u3068&#8221;x+(y*z)&#8221;\u306e\u3069\u3061\u3089\u304b\u3068\u3057\u3066\u89e3\u91c8\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u4e00\u822c\u7684\u306a\u6570\u5b66\u306e\u5b9a\u7fa9\u304b\u3089\u3001\u6211\u3005\u306f\u5f8c\u8005\u3068\u3057\u3066\u89e3\u91c8\u3055\u308c\u308b\u3053\u3068\u3092\u671f\u5f85\u3059\u308b\u3002<br \/>\n\u306a\u305c\u306a\u3089&#8221;*&#8221;\uff08\u639b\u3051\u7b97\uff09\u306f&#8221;+&#8221;\uff08\u8db3\u3057\u7b97\uff09\u3088\u308a\u9ad8\u3044\u512a\u5148\u5ea6\u3092\u6301\u3064\u304b\u3089\u3067\u3042\u308b\u3002<\/p>\n<p>\u3053\u308c\u3092\u51e6\u7406\u3059\u308b\u65b9\u6cd5\u306f\u3044\u304f\u3064\u304b\u3042\u308b\u304c\u3001\u52b9\u7387\u7684\u3067\u30a8\u30ec\u30ac\u30f3\u30c8\u306a\u306e\u306f\u6f14\u7b97\u5b50\u9806\u4f4d\u69cb\u6587\u89e3\u6790\u6cd5\uff08Operator-Precedence Parsing\uff09\u3092\u7528\u3044\u308b\u3053\u3068\u3067\u3042\u308b\u3002<br \/>\n\u3053\u306e\u69cb\u6587\u89e3\u6790\u6cd5\u306f\u3001\u518d\u5e30\u7684\u306b\u3046\u307e\u304f\u51e6\u7406\u3059\u308b\u305f\u3081\u306b\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3092\u7528\u3044\u308b\u3002<br \/>\n\u3053\u308c\u3092\u5b9f\u88c5\u3059\u308b\u305f\u3081\u306b\u3001\u307e\u305a\u512a\u5148\u9806\u4f4d\u306e\u30c6\u30fc\u30d6\u30eb\u304c\u5fc5\u8981\u3068\u306a\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ BinopPrecedence - \u5b9a\u7fa9\u3055\u308c\u305f\u5404\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3092\u4fdd\u6301\u3059\u308b\u3002\r\nstatic std::map&lt;char, int&gt; BinopPrecedence;\r\n\r\n\/\/\/ GetTokPrecedence - \u51e6\u7406\u4e2d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u30c8\u30fc\u30af\u30f3\u306e\u512a\u5148\u9806\u4f4d\u3092\u5f97\u308b\u3002\r\nstatic int GetTokPrecedence() {\r\n  if (!isascii(CurTok))\r\n    return -1;\r\n\r\n  \/\/ \u5b9a\u7fa9\u6e08\u307f\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306a\u3051\u308c\u3070-1\u3092\u8fd4\u3059\u3002\r\n  int TokPrec = BinopPrecedence&#x5B;CurTok];\r\n  if (TokPrec &lt;= 0) return -1;\r\n  return TokPrec;\r\n}\r\n\r\nint main() {\r\n  \/\/ \u6a19\u6e96\u7684\u306a\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u767b\u9332\u3059\u308b\u3002\r\n  \/\/ 1\u304c\u4e00\u756a\u4f4e\u3044\u512a\u5148\u9806\u4f4d\u3067\u3042\u308b\u3002\r\n  BinopPrecedence&#x5B;'&lt;'] = 10;\r\n  BinopPrecedence&#x5B;'+'] = 20;\r\n  BinopPrecedence&#x5B;'-'] = 20;\r\n  BinopPrecedence&#x5B;'*'] = 40;  \/\/ \u512a\u5148\u5ea6 \u9ad8.\r\n  ...\r\n}<\/pre>\n<p>\u4e07\u83ef\u93e1\u306e\u539f\u578b\u3068\u3057\u3066\u30014\u3064\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u307f\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3002<br \/>\n\uff08\u52c7\u6562\u304b\u3064\u5927\u80c6\u306a\u8aad\u8005\u306a\u3089\u3001\u3082\u3061\u308d\u3093\u3053\u308c\u62e1\u5f35\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002\uff09<br \/>\nGetTokPrecedence\u95a2\u6570\u306f\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u306e\u512a\u5148\u9806\u4f4d\u3092\u8fd4\u3059\u3002\u3082\u3057\u304f\u306f\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u304c\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306a\u3051\u308c\u3070-1\u3092\u8fd4\u3059\u3002<br \/>\n\u30de\u30c3\u30d7\uff08BinopPrecedence\u5909\u6570\uff09\u3092\u6301\u3064\u3053\u3068\u306b\u3088\u3063\u3066\u3001\u65b0\u3057\u3044\u6f14\u7b97\u5b50\u3092\u8ffd\u52a0\u3059\u308b\u306e\u304c\u697d\u306b\u306a\u308b\u3057\u3001\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u304c\u7279\u5b9a\u306e\u6f14\u7b97\u5b50\u306b\u4f9d\u5b58\u3057\u306a\u3044\u4e8b\u304c\u660e\u3089\u304b\u306b\u306a\u308b\u3002<br \/>\n\u3057\u304b\u3057\u3001\u30de\u30c3\u30d7\u3092\u4f7f\u308f\u305a\u306bGetTokPrecedence\u95a2\u6570\u306e\u4e2d\u3067\u6bd4\u8f03\u3092\u884c\u3046\u306e\u306f\u5341\u5206\u306b\u7c21\u5358\u3067\u3042\u308b\u3002\uff08\u3042\u308b\u3044\u306f\u56fa\u5b9a\u30b5\u30a4\u30ba\u306e\u914d\u5217\u3092\u4f7f\u7528\u3059\u308b\u3068\u304b\u3002\uff09<\/p>\n<p>\u4e0a\u3067\u5b9a\u7fa9\u3057\u305f\u30d8\u30eb\u30d1\u30fc\u95a2\u6570\u306b\u3088\u3063\u3066\u3001\u4e8c\u9805\u6f14\u7b97\u5f0f\u306e\u69cb\u6587\u89e3\u6790\u3092\u958b\u59cb\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3002<br \/>\n\u6f14\u7b97\u5b50\u9806\u4f4d\u69cb\u6587\u89e3\u6790\u6cd5\u306e\u57fa\u672c\u7684\u306a\u30a2\u30a4\u30c7\u30a2\u306f\u3001\u6f5c\u5728\u7684\u306b\u8907\u6570\u306e\u610f\u5473\u3092\u6301\u3064\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u30d0\u30e9\u30d0\u30e9\u306b\u5206\u5272\u3059\u308b\u4e8b\u3067\u3042\u308b\u3002<br \/>\n\u4f8b\u3048\u3070\u3001\u201ca+b+(c+d)*e*f+g\u201d\u3068\u3044\u3046\u5f0f\u306b\u3064\u3044\u3066\u8003\u3048\u3066\u3044\u3053\u3046\u3002<br \/>\n\u6f14\u7b97\u5b50\u9806\u4f4d\u69cb\u6587\u89e3\u6790\u6cd5\u3067\u306f\u3053\u308c\u3092\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u533a\u5207\u3089\u308c\u305f\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u9023\u306a\u308a\u3068\u3057\u3066\u8003\u3048\u308b\u3002<br \/>\n\u305d\u3046\u3059\u308b\u3068\u3001\u307e\u305a\u5148\u982d\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3067\u3042\u308b&#8221;a&#8221;\u304c\u89e3\u6790\u3055\u308c\u308b\u3002<br \/>\n\u305d\u3057\u305f\u3089\u6b8b\u308a\u306f[+, b]\u3068[+, (c+d)]\u3068[*, e]\u3068[*, f]\u3068[+, g]\u306e\u30da\u30a2\u3068\u306a\u308b\u3002<br \/>\n\u4e38\u62ec\u5f27\u306f\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306a\u306e\u3067\u3001\u69cb\u6587\u89e3\u6790\u5668\u306f(c+d)\u306e\u3088\u3046\u306a\u5165\u308c\u5b50\u306b\u306a\u3063\u305f\u526f\u6b21\u5f0f\u306b\u3064\u3044\u3066\u5168\u304f\u5fc3\u914d\u3059\u308b\u5fc5\u8981\u304c\u306a\u3044\u4e8b\u306b\u6ce8\u610f\u3002<\/p>\n<p>\u307e\u305a\u5f0f\u306f\u3001\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3067\u306f\u3058\u307e\u308a\u305d\u306e\u5f8c\u306b[\u4e8c\u9805\u6f14\u7b97\u5b50, \u30d7\u30e9\u30a4\u30de\u30ea\u5f0f]\uff08[binop, primaryexpr]\uff09\u306e\u30da\u30a2\u304c\u9023\u306a\u3063\u3066\u308b\u3082\u306e\u3067\u3042\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ \u5f0f\r\n\/\/\/   ::= primary binoprhs\r\n\/\/\/\r\nstatic ExprAST *ParseExpression() {\r\n  ExprAST *LHS = ParsePrimary();\r\n  if (!LHS) return 0;\r\n\r\n  return ParseBinOpRHS(0, LHS);\r\n}<\/pre>\n<p>ParseBinOpRHS\u306f\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u30da\u30a2\u3092\u89e3\u6790\u3059\u308b\u305f\u3081\u306e\u95a2\u6570\u3067\u3042\u308b\u3002<br \/>\n\u512a\u5148\u9806\u4f4d\u3068\u3001\u305d\u308c\u307e\u3067\u89e3\u6790\u3055\u308c\u305f\u90e8\u5206\u5f0f\u3078\u306e\u30dd\u30a4\u30f3\u30bf\u3092\u5f15\u6570\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u3002<br \/>\n&#8220;x&#8221;\u5358\u4f53\u3067\u3082\u5b8c\u5168\u306b\u6b63\u3057\u3044\u5f0f\u3067\u3042\u308b\u306e\u3067\u3001&#8221;binoprhs&#8221;\u306f\u7a7a\u3067\u3042\u308b\u5834\u5408\u3082\u3042\u308b\u4e8b\u306b\u6ce8\u610f\u3002<br \/>\n\u305d\u306e\u3088\u3046\u306a\u5834\u5408\u3001ParseBinOpRHS\u306f\u6e21\u3055\u308c\u305f\u5f0f\u3092\u305d\u306e\u307e\u307e\u8fd4\u3059\u3002<br \/>\n\u4e0a\u306e\u4f8b\u3067\u306f\u3001ParseBinOpRHS\u306b\u306f&#8221;a&#8221;\u3092\u8868\u3059\u5f0f\u304c\u6e21\u3055\u308c\u3001\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u306f&#8221;+&#8221;\u3068\u306a\u308b\u3002<\/p>\n<p>ParseBinOpRHS\u306b\u6e21\u3055\u308c\u308b\u512a\u5148\u9806\u4f4d\u306f\u3001\u89e3\u6790\u3059\u3079\u304d\u6f14\u7b97\u5b50\u306e\u6700\u5c0f\u512a\u5148\u9806\u4f4d\u3092\u8868\u3059\u3002<br \/>\n\u4f8b\u3048\u3070\u3001\u73fe\u5728\u306e\u30da\u30a2\u304c[+, x]\u306e\u5834\u5408\u3067\u3001ParseBinOpRHS\u306b\u512a\u5148\u9806\u4f4d40\u304c\u6e21\u3055\u308c\u305f\u3089\u3001\u3069\u306e\u30c8\u30fc\u30af\u30f3\u3082\u6d88\u8cbb\u3055\u308c\u306a\u3044\u3002\uff08\u306a\u305c\u306a\u3089&#8221;+&#8221;\u306e\u512a\u5148\u9806\u4f4d\u306f20\u3057\u304b\u306a\u3044\u304b\u3089\u3002\uff09<br \/>\n\u3053\u3093\u306a\u611f\u3058\u3067\u3001ParseBinOpRHS\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3067\u59cb\u307e\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ binoprhs\r\n\/\/\/   ::= ('+' \u30d7\u30e9\u30a4\u30de\u30ea\u5f0f)*\r\nstatic ExprAST *ParseBinOpRHS(int ExprPrec, ExprAST *LHS) {\r\n  \/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u306a\u3089\u305d\u306e\u512a\u5148\u9806\u4f4d\u3092\u5f97\u308b\u3002\r\n  while (1) {\r\n    int TokPrec = GetTokPrecedence();\r\n\r\n    \/\/ \u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u304cExprPrec\u3088\u308a\u5927\u304d\u3051\u308c\u3070\u51e6\u7406\u3057\u3001\r\n    \/\/ \u305d\u3046\u3067\u306a\u3051\u308c\u3070\u7d42\u4e86\u3059\u308b\u3002\r\n    if (TokPrec &lt; ExprPrec)\r\n      return LHS;<\/pre>\n<p>\u3053\u306e\u30b3\u30fc\u30c9\u306b\u3088\u3063\u3066\u3001\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u306e\u512a\u5148\u9806\u4f4d\u3092\u5f97\u3066\u3001\u305d\u308c\u304c\u4f4e\u3059\u304e\u306a\u3044\u304b\u306e\u30c1\u30a7\u30c3\u30af\u304c\u884c\u308f\u308c\u308b\u3002<br \/>\n\u7121\u52b9\u306a\u30c8\u30fc\u30af\u30f3\u306f\u512a\u5148\u9806\u4f4d-1\u306b\u306a\u308b\u3088\u3046\u306b\u3057\u3066\u308b\u306e\u3067\u3001\u30c8\u30fc\u30af\u30f3\u306e\u9023\u306a\u308a\u304c\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u901a\u308a\u8d8a\u3057\u305f\u3089\u3001\u30da\u30a2\u30b9\u30c8\u30ea\u30fc\u30e0\uff08\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u30da\u30a2\u306e\u9023\u306a\u308a\uff09\u304c\u7d42\u308f\u3063\u305f\u4e8b\u3092\u3053\u306e\u30c1\u30a7\u30c3\u30af\u51e6\u7406\u306f\u6697\u9ed9\u7684\u306b\u77e5\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u3053\u306e\u30c1\u30a7\u30c3\u30af\u304c\u6210\u529f\u3057\u305f\u3089\u3001\u305d\u306e\u30c8\u30fc\u30af\u30f3\u304c\u3053\u306e\u5f0f\u306b\u542b\u307e\u308c\u308b\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u3042\u308b\u3053\u3068\u3092\u6211\u3005\u306f\u77e5\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ \u30c1\u30a7\u30c3\u30af\u51e6\u7406\u3092\u901a\u3063\u305f\u3068\u3044\u3046\u3053\u3068\u306f, CurTok\u306f\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u3042\u308b\u3002\r\nint BinOp = CurTok;\r\ngetNextToken();  \/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u6d88\u8cbb\u3002\r\n\r\n\/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u5f8c\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3092\u89e3\u6790\u3059\u308b\u3002\r\nExprAST *RHS = ParsePrimary();\r\nif (!RHS) return 0;<\/pre>\n<p>\u3053\u306e\u3088\u3046\u306b\u3057\u3066\u3001\u3053\u306e\u30b3\u30fc\u30c9\u306f\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u53d6\u308a\u8fbc\u307f\uff08\u305d\u3057\u3066\u4e00\u6642\u7684\u306b\u4fdd\u6301\u3057\uff09\u3001\u305d\u306e\u5f8c\u306b\u7d9a\u304f\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3092\u89e3\u6790\u3059\u308b\u3002<br \/>\n\u3053\u3046\u3057\u3066\u5168\u3066\u306e\u30da\u30a2\uff08\u4f8b\u3067\u8a00\u3046\u3068\u6700\u521d\u306e\u30da\u30a2\u306f[+, b]\uff09\u3092\u51e6\u7406\u3059\u308b\u3002<\/p>\n<p>\u3055\u3066\u3053\u308c\u3067\u3001\u6211\u3005\u306f\u5f0f\u306e\u5de6\u624b\u5074\uff08left-hand side\uff09\u3068\u53f3\u624b\u5074\u306e\u30da\u30a2\u306e\u9023\u306a\u308a\u306e\u3072\u3068\u3064\u3092\u89e3\u6790\u3057\u305f\u3053\u3068\u306b\u306a\u308b\u304c\u3001\u6b21\u306b\u6211\u3005\u306f\u3001\u5f0f\u306e\u95a2\u9023\u4ed8\u3051\u306e\u65b9\u6cd5\u306b\u3064\u3044\u3066\u6c7a\u5b9a\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002<br \/>\n&#8220;(a + b) binop unparsed&#8221;\u3068\u898b\u306a\u3059\u304b&#8221;a + (b binop unparsed)&#8221;\u3068\u898b\u306a\u3059\u304b\u3002<br \/>\n<em>\u8a33\u6ce8: a\u304c\u5de6\u624b\u5074\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3001+ b\u304c\u53f3\u624b\u5074\u306e\u30da\u30a2\u306e\u9023\u306a\u308a\u306e\u3055\u3044\u3057\u3087\u306e\u3072\u3068\u3064\u3001binop unparsed\u306f\u307e\u3060\u89e3\u6790\u3057\u3066\u306a\u3044\u6b8b\u308a\u306e\u53f3\u624b\u5074\u30da\u30a2\u3092\u8868\u3059\u3002<br \/>\n\u3053\u308c\u3092\u6c7a\u3081\u308b\u305f\u3081\u3001\u6b21\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u898b\u3066\u305d\u306e\u512a\u5148\u9806\u4f4d\u3092\u6c7a\u5b9a\u3057\u3001BinOp\u306e\u512a\u5148\u9806\u4f4d\u3068\u6bd4\u8f03\u3059\u308b\u3002\uff08\u3053\u306e\u5834\u5408\u306e\u6bd4\u8f03\u5bfe\u8c61\u306f&#8221;+, (c+d)&#8221;\u306e&#8221;+&#8221;\u3068\u306a\u308b\u3002\uff09<\/em><\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ BinOp\u306e\u512a\u5148\u9806\u4f4d\u304cRHS\uff08\u53f3\u624b\u5074\uff09\u306e\u5f8c\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u4f4e\u3044\u306a\u3089\u3001\r\n\/\/ \u51e6\u7406\u4e2d\u306e\u6f14\u7b97\u5b50\u306fRHS\u3092\u305d\u306eLHS\uff08\u5de6\u624b\u5074\uff09\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u3002\r\nint NextPrec = GetTokPrecedence();\r\nif (TokPrec &lt; NextPrec) {<\/pre>\n<p>\u3082\u3057&#8221;RHS&#8221;\uff08\u53f3\u624b\u5074\uff09\u306e\u53f3\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u304c\u3001\u73fe\u5728\u306e\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3088\u308a\u5c0f\u3055\u3044\u304b\u7b49\u3057\u3044\u5834\u5408\u3001\u4e38\u62ec\u5f27\u306b\u3088\u3063\u3066&#8221;(a + b) binop unparsed&#8221;\u3068\u3057\u3066\u95a2\u9023\u4ed8\u3051\u3089\u308c\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3053\u3068\u304c\u5206\u304b\u308b\u3002<br \/>\n\u6211\u3005\u306e\u4f8b\u3067\u306f\u3001\u73fe\u5728\u306e\u6f14\u7b97\u5b50\u306f&#8221;+&#8221;\u3067\u3042\u308a\u3001\u6b21\u306e\u6f14\u7b97\u5b50\u3082&#8221;+&#8221;\u3067\u3042\u308a\u3001\u3082\u3061\u308d\u3093\u4e21\u65b9\u3068\u3082\u540c\u3058\u512a\u5148\u5ea6\u3067\u3042\u308b\u3002<br \/>\n\u3053\u306e\u5834\u5408\u3001&#8221;a+b&#8221;\u3092\u8868\u3059AST\u30ce\u30fc\u30c9\u304c\u751f\u6210\u3055\u308c\u3001\u69cb\u6587\u89e3\u6790\u306f\u7d9a\u304f\u3002<br \/>\n<em>\u8a33\u6ce8: b\u306e\u5f8c\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u304c\u3001b\u306e\u524d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u512a\u5148\u9806\u4f4d\u304c\u4f4e\u3044\u304b\u7b49\u3057\u3044\u306a\u3089\u3070\u3001b\u306e\u524d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u512a\u5148\u3059\u3079\u304d\u306a\u306e\u3067(a + b)\u3068\u306a\u308b\u3002<\/em><\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">      ... if\u6587\u306e\u4e2d\u8eab\u306f\u7701\u7565 ...\r\n    }\r\n\r\n    \/\/ LHS\u3068RHS\u3092\u30de\u30fc\u30b8\u3059\u308b\u3002\r\n    LHS = new BinaryExprAST(BinOp, LHS, RHS);\r\n  }  \/\/ ParseBinOpRHS\u95a2\u6570\u306e\u30c8\u30c3\u30d7\u30ec\u30d9\u30eb\u306ewhile\u30eb\u30fc\u30d7\u3092\u7e70\u308a\u8fd4\u3059\u3002\r\n}<\/pre>\n<p>\u6211\u3005\u306e\u4f8b\u3067\u306f\u3001\u3053\u308c\u306b\u3088\u3063\u3066&#8221;a+b+&#8221;\u306f&#8221;(a+b)&#8221;\u3068\u306a\u308a&#8221;+&#8221;\uff08b\u306e\u5f8c\u306e\u307b\u3046\uff09\u3092\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u3068\u3057\u3066\u6b21\u306e\u30eb\u30fc\u30d7\u304c\u5b9f\u884c\u3055\u308c\u308b\u3060\u308d\u3046\u3002<br \/>\n\u4e0a\u8a18\u306e\u30b3\u30fc\u30c9\u306f\u3001\u53d6\u308a\u8fbc\u307f\u3001\u4fdd\u6301\u3057\u3066\u3001&#8221;(c+d)&#8221;\u3092\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3068\u3057\u3066\u89e3\u6790\u3059\u308b\u3060\u308d\u3046\u3002<br \/>\n\u305d\u308c\u306f\u73fe\u5728\u306e\u30da\u30a2\u304c[+, (c+d)]\u3068\u306a\u308b\u4e8b\u3092\u610f\u5473\u3059\u308b\u3002<br \/>\n\u305d\u3057\u305f\u3089\u3001\u4e0a\u8a18\u306eif\u6587\u306e\u6761\u4ef6\u3092\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u53f3\u306b\u3042\u308b\u4e8c\u9805\u6f14\u7b97\u5b50&#8221;*&#8221;\u3092\u3082\u3063\u3066\u8a55\u4fa1\u3059\u308b\u3002<br \/>\n\u3053\u306e\u5834\u5408\u3001&#8221;*&#8221;\u306e\u512a\u5148\u9806\u4f4d\u306f&#8221;+&#8221;\u306e\u512a\u5148\u9806\u4f4d\u3088\u308a\u9ad8\u3044\u306e\u3067\u3001if\u6587\u306e\u4e2d\u304c\u5b9f\u884c\u3055\u308c\u308b\u3002<\/p>\n<p>\u3053\u3053\u306b\u6b8b\u308b\u91cd\u5927\u306a\u7591\u554f\u70b9\u306f\u3001&#8221;\u3069\u3046\u3084\u3063\u3066if\u6587\u306e\u4e2d\u3067\u5b8c\u5168\u306b\u53f3\u624b\u5074\u3092\u89e3\u6790\u3059\u308b\u304b\uff1f&#8221;\u3067\u3042\u308b\u3002<br \/>\n\u7279\u306b\u3001\u6211\u3005\u306e\u4f8b\u306b\u304a\u3044\u3066AST\u3092\u6b63\u3057\u304f\u69cb\u7bc9\u3059\u308b\u4e8b\u306f\u3001\u201c(c+d)*e*f\u201d\u5168\u3066\u3092RHS\u306e\u5f0f\u3068\u3057\u3066\u5f97\u308b\u4e8b\u3092\u5fc5\u8981\u3068\u3059\u308b\u3002<br \/>\n\u3053\u308c\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306e\u30b3\u30fc\u30c9\u306f\u9a5a\u304f\u307b\u3069\u30b7\u30f3\u30d7\u30eb\u3067\u3042\u308b\u3002\uff08\u4ee5\u4e0b\u306e\u30b3\u30fc\u30c9\u306f\u4e0a\u8a182\u3064\u306e\u30b3\u30fc\u30c9\u3068\u540c\u3058\u90e8\u5206\u3067\u3042\u308b\u3002if\u6587\u306e\u4e2d\u8eab\u3092\u8ffd\u52a0\u3057\u305f\u3060\u3051\u3002\uff09<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">    \/\/ BinOp\u306e\u512a\u5148\u9806\u4f4d\u304cRHS\uff08\u53f3\u624b\u5074\uff09\u306e\u5f8c\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u4f4e\u3044\u306a\u3089\u3001\r\n    \/\/ \u51e6\u7406\u4e2d\u306e\u6f14\u7b97\u5b50\u306fRHS\u3092\u305d\u306eLHS\uff08\u5de6\u624b\u5074\uff09\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u3002\r\n    int NextPrec = GetTokPrecedence();\r\n    if (TokPrec &lt; NextPrec) {\r\n      RHS = ParseBinOpRHS(TokPrec+1, RHS);\r\n      if (RHS == 0) return 0;\r\n    }\r\n    \/\/ LHS\u3068RHS\u3092\u30de\u30fc\u30b8\u3059\u308b\u3002\r\n    LHS = new BinaryExprAST(BinOp, LHS, RHS);\r\n  }  \/\/ ParseBinOpRHS\u95a2\u6570\u306e\u30c8\u30c3\u30d7\u30ec\u30d9\u30eb\u306ewhile\u30eb\u30fc\u30d7\u3092\u7e70\u308a\u8fd4\u3059\u3002\r\n}<\/pre>\n<p>\u3053\u306e\u6642\u70b9\u3067\u3001\u6211\u3005\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306eRHS\u306b\u5bfe\u3059\u308b\u4e8c\u9805\u6f14\u7b97\u5b50\u306f\u3001\u73fe\u5728\u89e3\u6790\u4e2d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u9ad8\u3044\u512a\u5148\u9806\u4f4d\u3092\u6301\u3064\u3068\u3044\u3046\u3053\u3068\u3092\u6211\u3005\u306f\u77e5\u3063\u3066\u3044\u308b\u3002<br \/>\n\u306a\u306e\u3067\u3001&#8221;+&#8221;\u3088\u308a\u512a\u5148\u9806\u4f4d\u304c\u9ad8\u3044\u5168\u3066\u306e\u30da\u30a2\u304c\u3001\u5171\u306b\u89e3\u6790\u3055\u308cRHS\u3068\u3057\u3066\u8fd4\u3055\u308c\u308b\u3079\u304d\u3067\u3042\u308b\u3002<br \/>\n\u3053\u308c\u3092\u884c\u3046\u305f\u3081\u306b\u3001ParseBinOpRHS\u95a2\u6570\u306b\u6700\u5c0f\u512a\u5148\u9806\u4f4d\u3068\u3057\u3066&#8221;TokPrec+1&#8243;\u3092\u6e21\u3057\u3001\u518d\u5e30\u7684\u306b\u547c\u3073\u51fa\u3057\u3066\u3044\u308b\u3002<br \/>\n\u6211\u3005\u306e\u4f8b\u3067\u306f\u3001\u3053\u308c\u306b\u3088\u3063\u3066\u201c(c+d)*e*f\u201d\u3092\u8868\u3059AST\u30ce\u30fc\u30c9\u304cRHS\u3068\u3057\u3066\u8fd4\u3055\u308c\u308b\u3002<br \/>\n\u305d\u3057\u3066\u305d\u308c\u306f\u3001&#8221;+&#8221;\u6f14\u7b97\u5b50\u306eRHS\u3068\u3057\u3066\u30bb\u30c3\u30c8\u3055\u308c\u308b\u3002<\/p>\n<p>\u6700\u5f8c\u306b\u3001\u6b21\u306e\u30eb\u30fc\u30d7\u306b\u3088\u3063\u3066\u3001&#8221;+g&#8221;\u304c\u89e3\u6790\u3055\u308cAST\u306b\u8ffd\u52a0\u3055\u308c\u308b\u3002<br \/>\n\u3053\u306e\u3061\u3087\u3063\u3068\u3057\u305f\u30b3\u30fc\u30c9\uff08\u3057\u304b\u3057\u305d\u306e14\u884c\u306f\u51c4\u3044\uff09\u306b\u3088\u3063\u3066\u3001\u4e00\u822c\u7684\u306a\u4e8c\u9805\u6f14\u7b97\u5f0f\u306e\u89e3\u6790\u3092\u3068\u3066\u3082\u30a8\u30ec\u30ac\u30f3\u30c8\u306a\u3084\u308a\u65b9\u3067\u5341\u5206\u306b\u6b63\u3057\u304f\u51e6\u7406\u51fa\u6765\u308b\u3002<br \/>\n\u3053\u308c\u306f\u3053\u306e\u30b3\u30fc\u30c9\u306b\u3064\u3044\u3066\u304b\u306a\u308a\u7aef\u6298\u3063\u305f\u3001\u3057\u304b\u3082\u3044\u304f\u3089\u304b\u5fae\u5999\u306a\u8aac\u660e\u3067\u3042\u308b\u3002<br \/>\n\u3044\u304f\u3064\u304b\u306e\u4f8b\u3092\u7528\u3044\u3066\u3001\u3053\u306e\u30b3\u30fc\u30c9\u304c\u3069\u3046\u3084\u3063\u3066\u52d5\u304f\u304b\u78ba\u8a8d\u3059\u308b\u3053\u3068\u3092\u304a\u3059\u3059\u3081\u3059\u308b\u3002<\/p>\n<p>\u3053\u308c\u3067\u5f0f\u306e\u51e6\u7406\u304c\u307e\u3068\u307e\u3063\u305f\u3002<br \/>\n\u3053\u308c\u306b\u3088\u3063\u3066\u6211\u3005\u306e\u69cb\u6587\u89e3\u6790\u5668\u306f\u3001\u4efb\u610f\u306e\u30c8\u30fc\u30af\u30f3\u306e\u9023\u306a\u308a\u3092\u6307\u3057\u793a\u3057\u3001\u305d\u3053\u304b\u3089\u5f0f\u3092\u69cb\u7bc9\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3002<br \/>\n\u6700\u521d\u306e\u30c8\u30fc\u30af\u30f3\u3067\u6b62\u3081\u308b\u3053\u3068\u306f\u3001\u5f0f\u306e\u4e00\u90e8\u3067\u306f\u306a\u3044\u3002\uff08stopping at the first token that is not part of the expression.\uff09<br \/>\n\u6b21\u306f\u3001\u95a2\u6570\u5b9a\u7fa9\u7b49\u3005\u3092\u51e6\u7406\u51fa\u6765\u308b\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<p><em>\u8a33\u6ce8:<br \/>\n\u201ca+b+(c+d)*e*f+g\u201d\u3068\u3044\u3046\u5f0f\u3092\u4f8b\u3068\u3057\u3066\u3001\u3069\u3046\u51e6\u7406\u3055\u308c\u3066\u3044\u304f\u304b\u306e\u8aac\u660e\u304c\u3053\u306e\u7ae0\u306e\u5927\u90e8\u5206\u3092\u5360\u3081\u3066\u3044\u308b\u304c\u3001\u305d\u306e\u904e\u7a0b\u306e\u8aac\u660e\u3067\u300c\u3069\u306e\u6f14\u7b97\u5b50\u306b\u3064\u3044\u3066\u8a71\u3057\u3066\u308b\u304b\uff1f\u300d\u304c\u539f\u6587\u306b\u307b\u3068\u3093\u3069\u66f8\u304b\u308c\u3066\u306a\u3044\u305f\u3081\u52d8\u3067\u8a33\u3057\u305f\u90e8\u5206\u304c\u591a\u3044\u3002<br \/>\n\u300cb\u306e\u5f8c\u306e+\u300d\u3068\u304b\u300ce\u306e\u524d\u306e*\u300d\u3068\u304b\u4e00\u8a00\u66f8\u3044\u3066\u3042\u308b\u3060\u3051\u3067\u3082\u304b\u306a\u308a\u5206\u304b\u308a\u3084\u3059\u304f\u306a\u308b\u306f\u305a\u306a\u306e\u306b\u3001\u300cRHS\u306e\u5f8c\u300d\u3068\u304b\u3044\u3046\u66f8\u304d\u65b9\u304c\u3055\u308c\u3066\u3044\u308b\u305f\u3081\u975e\u5e38\u306b\u5206\u304b\u308a\u306b\u304f\u3044\u3002<br \/>\nRHS\u304c\u4f55\u3092\u8868\u3059\u304b\u306f\u51e6\u7406\u304c\u9032\u3080\u306b\u9023\u308c\u3066\u3069\u3093\u3069\u3093\u5909\u308f\u3063\u3066\u3044\u304f\u3068\u3053\u308d\u306a\u306e\u3067\u3002<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p><a href=\"https:\/\/peta.okechan.net\/blog\/archives\/2836\" title=\"LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\">LLVM\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u5b9f\u88c5\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u65e5\u672c\u8a9e\u8a33<\/a><br \/>\n\u7b2c2\u7ae0 \u4e07\u83ef\u93e1: \u69cb\u6587\u89e3\u6790\u5668\u3068AST\u306e\u5b9f\u88c5<br \/>\n<a href=\"http:\/\/llvm.org\/docs\/tutorial\/LangImpl02.html#binary-expression-parsing\" target=\"_blank\">\u7b2c5\u7bc0 \u4e8c\u9805\u6f14\u7b97\u5f0f\uff08binary expression\uff09\u306e\u69cb\u6587\u89e3\u6790<\/a><\/p>\n<p><em>\u8a33\u6ce8: \u4ee5\u524d\u3082\u540c\u3058\u3088\u3046\u306a\u4e8b\u3092\u66f8\u3044\u305f\u304c\u3001binary expression\u306f\u30b3\u30f3\u30d1\u30a4\u30e9\u754c\u9688\u3067\u306f\u7d50\u69cb\u4e00\u822c\u7684\u306a\u7528\u8a9e\u3060\u3068\u601d\u3046\u3051\u3069\u3001\u9069\u5f53\u306a\u65e5\u672c\u8a9e\u8a33\u304c\u7121\u3044\u3063\u307d\u3044\u306e\u3067\u3001\u3053\u3053\u3067\u306f\u3068\u308a\u3042\u3048\u305a\uff08\u4e8c\u9805\u6f14\u7b97\u5b50 binary operator\u3068\u533a\u5225\u3059\u308b\u305f\u3081\u306b\u3082\uff09\u4e8c\u9805\u6f14\u7b97\u5f0f\u3068\u8a33\u3059\u3002<\/em><\/p>\n<p>\u4e8c\u9805\u6f14\u7b97\u5f0f\u306f\u69cb\u6587\u89e3\u6790\u3059\u308b\u306e\u304c\u304b\u306a\u308a\u96e3\u3057\u3044\u3002<br \/>\n\u306a\u305c\u306a\u3089\u3001\u4e8c\u9805\u6f14\u7b97\u5f0f\u306f\u3057\u3070\u3057\u3070\u8907\u6570\u306e\u610f\u5473\u3092\u6301\u3064\u304b\u3089\u3067\u3042\u308b\u3002<br \/>\n\u4f8b\u3048\u3070\u3001&#8221;x+y*z&#8221;\u3068\u3044\u3046\u6587\u5b57\u5217\u304c\u4e0e\u3048\u3089\u308c\u305f\u3068\u304d\u3001\u69cb\u6587\u89e3\u6790\u5668\u306f&#8221;(x+y)*z&#8221;\u3068&#8221;x+(y*z)&#8221;\u306e\u3069\u3061\u3089\u304b\u3068\u3057\u3066\u89e3\u91c8\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u4e00\u822c\u7684\u306a\u6570\u5b66\u306e\u5b9a\u7fa9\u304b\u3089\u3001\u6211\u3005\u306f\u5f8c\u8005\u3068\u3057\u3066\u89e3\u91c8\u3055\u308c\u308b\u3053\u3068\u3092\u671f\u5f85\u3059\u308b\u3002<br \/>\n\u306a\u305c\u306a\u3089&#8221;*&#8221;\uff08\u639b\u3051\u7b97\uff09\u306f&#8221;+&#8221;\uff08\u8db3\u3057\u7b97\uff09\u3088\u308a\u9ad8\u3044\u512a\u5148\u5ea6\u3092\u6301\u3064\u304b\u3089\u3067\u3042\u308b\u3002<\/p>\n<p>\u3053\u308c\u3092\u51e6\u7406\u3059\u308b\u65b9\u6cd5\u306f\u3044\u304f\u3064\u304b\u3042\u308b\u304c\u3001\u52b9\u7387\u7684\u3067\u30a8\u30ec\u30ac\u30f3\u30c8\u306a\u306e\u306f\u6f14\u7b97\u5b50\u9806\u4f4d\u69cb\u6587\u89e3\u6790\u6cd5\uff08Operator-Precedence Parsing\uff09\u3092\u7528\u3044\u308b\u3053\u3068\u3067\u3042\u308b\u3002<br \/>\n\u3053\u306e\u69cb\u6587\u89e3\u6790\u6cd5\u306f\u3001\u518d\u5e30\u7684\u306b\u3046\u307e\u304f\u51e6\u7406\u3059\u308b\u305f\u3081\u306b\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3092\u7528\u3044\u308b\u3002<br \/>\n\u3053\u308c\u3092\u5b9f\u88c5\u3059\u308b\u305f\u3081\u306b\u3001\u307e\u305a\u512a\u5148\u9806\u4f4d\u306e\u30c6\u30fc\u30d6\u30eb\u304c\u5fc5\u8981\u3068\u306a\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ BinopPrecedence - \u5b9a\u7fa9\u3055\u308c\u305f\u5404\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3092\u4fdd\u6301\u3059\u308b\u3002\r\nstatic std::map&lt;char, int&gt; BinopPrecedence;\r\n\r\n\/\/\/ GetTokPrecedence - \u51e6\u7406\u4e2d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u30c8\u30fc\u30af\u30f3\u306e\u512a\u5148\u9806\u4f4d\u3092\u5f97\u308b\u3002\r\nstatic int GetTokPrecedence() {\r\n  if (!isascii(CurTok))\r\n    return -1;\r\n\r\n  \/\/ \u5b9a\u7fa9\u6e08\u307f\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306a\u3051\u308c\u3070-1\u3092\u8fd4\u3059\u3002\r\n  int TokPrec = BinopPrecedence&#x5B;CurTok];\r\n  if (TokPrec &lt;= 0) return -1;\r\n  return TokPrec;\r\n}\r\n\r\nint main() {\r\n  \/\/ \u6a19\u6e96\u7684\u306a\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u767b\u9332\u3059\u308b\u3002\r\n  \/\/ 1\u304c\u4e00\u756a\u4f4e\u3044\u512a\u5148\u9806\u4f4d\u3067\u3042\u308b\u3002\r\n  BinopPrecedence&#x5B;'&lt;'] = 10;\r\n  BinopPrecedence&#x5B;'+'] = 20;\r\n  BinopPrecedence&#x5B;'-'] = 20;\r\n  BinopPrecedence&#x5B;'*'] = 40;  \/\/ \u512a\u5148\u5ea6 \u9ad8.\r\n  ...\r\n}<\/pre>\n<p>\u4e07\u83ef\u93e1\u306e\u539f\u578b\u3068\u3057\u3066\u30014\u3064\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u307f\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u3002<br \/>\n\uff08\u52c7\u6562\u304b\u3064\u5927\u80c6\u306a\u8aad\u8005\u306a\u3089\u3001\u3082\u3061\u308d\u3093\u3053\u308c\u62e1\u5f35\u3059\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002\uff09<br \/>\nGetTokPrecedence\u95a2\u6570\u306f\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u306e\u512a\u5148\u9806\u4f4d\u3092\u8fd4\u3059\u3002\u3082\u3057\u304f\u306f\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u304c\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u306a\u3051\u308c\u3070-1\u3092\u8fd4\u3059\u3002<br \/>\n\u30de\u30c3\u30d7\uff08BinopPrecedence\u5909\u6570\uff09\u3092\u6301\u3064\u3053\u3068\u306b\u3088\u3063\u3066\u3001\u65b0\u3057\u3044\u6f14\u7b97\u5b50\u3092\u8ffd\u52a0\u3059\u308b\u306e\u304c\u697d\u306b\u306a\u308b\u3057\u3001\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u304c\u7279\u5b9a\u306e\u6f14\u7b97\u5b50\u306b\u4f9d\u5b58\u3057\u306a\u3044\u4e8b\u304c\u660e\u3089\u304b\u306b\u306a\u308b\u3002<br \/>\n\u3057\u304b\u3057\u3001\u30de\u30c3\u30d7\u3092\u4f7f\u308f\u305a\u306bGetTokPrecedence\u95a2\u6570\u306e\u4e2d\u3067\u6bd4\u8f03\u3092\u884c\u3046\u306e\u306f\u5341\u5206\u306b\u7c21\u5358\u3067\u3042\u308b\u3002\uff08\u3042\u308b\u3044\u306f\u56fa\u5b9a\u30b5\u30a4\u30ba\u306e\u914d\u5217\u3092\u4f7f\u7528\u3059\u308b\u3068\u304b\u3002\uff09<\/p>\n<p>\u4e0a\u3067\u5b9a\u7fa9\u3057\u305f\u30d8\u30eb\u30d1\u30fc\u95a2\u6570\u306b\u3088\u3063\u3066\u3001\u4e8c\u9805\u6f14\u7b97\u5f0f\u306e\u69cb\u6587\u89e3\u6790\u3092\u958b\u59cb\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3002<br \/>\n\u6f14\u7b97\u5b50\u9806\u4f4d\u69cb\u6587\u89e3\u6790\u6cd5\u306e\u57fa\u672c\u7684\u306a\u30a2\u30a4\u30c7\u30a2\u306f\u3001\u6f5c\u5728\u7684\u306b\u8907\u6570\u306e\u610f\u5473\u3092\u6301\u3064\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u30d0\u30e9\u30d0\u30e9\u306b\u5206\u5272\u3059\u308b\u4e8b\u3067\u3042\u308b\u3002<br \/>\n\u4f8b\u3048\u3070\u3001\u201ca+b+(c+d)*e*f+g\u201d\u3068\u3044\u3046\u5f0f\u306b\u3064\u3044\u3066\u8003\u3048\u3066\u3044\u3053\u3046\u3002<br \/>\n\u6f14\u7b97\u5b50\u9806\u4f4d\u69cb\u6587\u89e3\u6790\u6cd5\u3067\u306f\u3053\u308c\u3092\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u533a\u5207\u3089\u308c\u305f\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u9023\u306a\u308a\u3068\u3057\u3066\u8003\u3048\u308b\u3002<br \/>\n\u305d\u3046\u3059\u308b\u3068\u3001\u307e\u305a\u5148\u982d\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3067\u3042\u308b&#8221;a&#8221;\u304c\u89e3\u6790\u3055\u308c\u308b\u3002<br \/>\n\u305d\u3057\u305f\u3089\u6b8b\u308a\u306f[+, b]\u3068[+, (c+d)]\u3068[*, e]\u3068[*, f]\u3068[+, g]\u306e\u30da\u30a2\u3068\u306a\u308b\u3002<br \/>\n\u4e38\u62ec\u5f27\u306f\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306a\u306e\u3067\u3001\u69cb\u6587\u89e3\u6790\u5668\u306f(c+d)\u306e\u3088\u3046\u306a\u5165\u308c\u5b50\u306b\u306a\u3063\u305f\u526f\u6b21\u5f0f\u306b\u3064\u3044\u3066\u5168\u304f\u5fc3\u914d\u3059\u308b\u5fc5\u8981\u304c\u306a\u3044\u4e8b\u306b\u6ce8\u610f\u3002<\/p>\n<p>\u307e\u305a\u5f0f\u306f\u3001\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3067\u306f\u3058\u307e\u308a\u305d\u306e\u5f8c\u306b[\u4e8c\u9805\u6f14\u7b97\u5b50, \u30d7\u30e9\u30a4\u30de\u30ea\u5f0f]\uff08[binop, primaryexpr]\uff09\u306e\u30da\u30a2\u304c\u9023\u306a\u3063\u3066\u308b\u3082\u306e\u3067\u3042\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ \u5f0f\r\n\/\/\/   ::= primary binoprhs\r\n\/\/\/\r\nstatic ExprAST *ParseExpression() {\r\n  ExprAST *LHS = ParsePrimary();\r\n  if (!LHS) return 0;\r\n\r\n  return ParseBinOpRHS(0, LHS);\r\n}<\/pre>\n<p>ParseBinOpRHS\u306f\u3001\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u30da\u30a2\u3092\u89e3\u6790\u3059\u308b\u305f\u3081\u306e\u95a2\u6570\u3067\u3042\u308b\u3002<br \/>\n\u512a\u5148\u9806\u4f4d\u3068\u3001\u305d\u308c\u307e\u3067\u89e3\u6790\u3055\u308c\u305f\u90e8\u5206\u5f0f\u3078\u306e\u30dd\u30a4\u30f3\u30bf\u3092\u5f15\u6570\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u3002<br \/>\n&#8220;x&#8221;\u5358\u4f53\u3067\u3082\u5b8c\u5168\u306b\u6b63\u3057\u3044\u5f0f\u3067\u3042\u308b\u306e\u3067\u3001&#8221;binoprhs&#8221;\u306f\u7a7a\u3067\u3042\u308b\u5834\u5408\u3082\u3042\u308b\u4e8b\u306b\u6ce8\u610f\u3002<br \/>\n\u305d\u306e\u3088\u3046\u306a\u5834\u5408\u3001ParseBinOpRHS\u306f\u6e21\u3055\u308c\u305f\u5f0f\u3092\u305d\u306e\u307e\u307e\u8fd4\u3059\u3002<br \/>\n\u4e0a\u306e\u4f8b\u3067\u306f\u3001ParseBinOpRHS\u306b\u306f&#8221;a&#8221;\u3092\u8868\u3059\u5f0f\u304c\u6e21\u3055\u308c\u3001\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u306f&#8221;+&#8221;\u3068\u306a\u308b\u3002<\/p>\n<p>ParseBinOpRHS\u306b\u6e21\u3055\u308c\u308b\u512a\u5148\u9806\u4f4d\u306f\u3001\u89e3\u6790\u3059\u3079\u304d\u6f14\u7b97\u5b50\u306e\u6700\u5c0f\u512a\u5148\u9806\u4f4d\u3092\u8868\u3059\u3002<br \/>\n\u4f8b\u3048\u3070\u3001\u73fe\u5728\u306e\u30da\u30a2\u304c[+, x]\u306e\u5834\u5408\u3067\u3001ParseBinOpRHS\u306b\u512a\u5148\u9806\u4f4d40\u304c\u6e21\u3055\u308c\u305f\u3089\u3001\u3069\u306e\u30c8\u30fc\u30af\u30f3\u3082\u6d88\u8cbb\u3055\u308c\u306a\u3044\u3002\uff08\u306a\u305c\u306a\u3089&#8221;+&#8221;\u306e\u512a\u5148\u9806\u4f4d\u306f20\u3057\u304b\u306a\u3044\u304b\u3089\u3002\uff09<br \/>\n\u3053\u3093\u306a\u611f\u3058\u3067\u3001ParseBinOpRHS\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3067\u59cb\u307e\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/\/ binoprhs\r\n\/\/\/   ::= ('+' \u30d7\u30e9\u30a4\u30de\u30ea\u5f0f)*\r\nstatic ExprAST *ParseBinOpRHS(int ExprPrec, ExprAST *LHS) {\r\n  \/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u306a\u3089\u305d\u306e\u512a\u5148\u9806\u4f4d\u3092\u5f97\u308b\u3002\r\n  while (1) {\r\n    int TokPrec = GetTokPrecedence();\r\n\r\n    \/\/ \u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u304cExprPrec\u3088\u308a\u5927\u304d\u3051\u308c\u3070\u51e6\u7406\u3057\u3001\r\n    \/\/ \u305d\u3046\u3067\u306a\u3051\u308c\u3070\u7d42\u4e86\u3059\u308b\u3002\r\n    if (TokPrec &lt; ExprPrec)\r\n      return LHS;<\/pre>\n<p>\u3053\u306e\u30b3\u30fc\u30c9\u306b\u3088\u3063\u3066\u3001\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u306e\u512a\u5148\u9806\u4f4d\u3092\u5f97\u3066\u3001\u305d\u308c\u304c\u4f4e\u3059\u304e\u306a\u3044\u304b\u306e\u30c1\u30a7\u30c3\u30af\u304c\u884c\u308f\u308c\u308b\u3002<br \/>\n\u7121\u52b9\u306a\u30c8\u30fc\u30af\u30f3\u306f\u512a\u5148\u9806\u4f4d-1\u306b\u306a\u308b\u3088\u3046\u306b\u3057\u3066\u308b\u306e\u3067\u3001\u30c8\u30fc\u30af\u30f3\u306e\u9023\u306a\u308a\u304c\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u901a\u308a\u8d8a\u3057\u305f\u3089\u3001\u30da\u30a2\u30b9\u30c8\u30ea\u30fc\u30e0\uff08\u4e8c\u9805\u6f14\u7b97\u5b50\u3068\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u30da\u30a2\u306e\u9023\u306a\u308a\uff09\u304c\u7d42\u308f\u3063\u305f\u4e8b\u3092\u3053\u306e\u30c1\u30a7\u30c3\u30af\u51e6\u7406\u306f\u6697\u9ed9\u7684\u306b\u77e5\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<br \/>\n\u3053\u306e\u30c1\u30a7\u30c3\u30af\u304c\u6210\u529f\u3057\u305f\u3089\u3001\u305d\u306e\u30c8\u30fc\u30af\u30f3\u304c\u3053\u306e\u5f0f\u306b\u542b\u307e\u308c\u308b\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u3042\u308b\u3053\u3068\u3092\u6211\u3005\u306f\u77e5\u308b\u3053\u3068\u304c\u51fa\u6765\u308b\u3002<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ \u30c1\u30a7\u30c3\u30af\u51e6\u7406\u3092\u901a\u3063\u305f\u3068\u3044\u3046\u3053\u3068\u306f, CurTok\u306f\u4e8c\u9805\u6f14\u7b97\u5b50\u3067\u3042\u308b\u3002\r\nint BinOp = CurTok;\r\ngetNextToken();  \/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u6d88\u8cbb\u3002\r\n\r\n\/\/ \u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u5f8c\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3092\u89e3\u6790\u3059\u308b\u3002\r\nExprAST *RHS = ParsePrimary();\r\nif (!RHS) return 0;<\/pre>\n<p>\u3053\u306e\u3088\u3046\u306b\u3057\u3066\u3001\u3053\u306e\u30b3\u30fc\u30c9\u306f\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u53d6\u308a\u8fbc\u307f\uff08\u305d\u3057\u3066\u4e00\u6642\u7684\u306b\u4fdd\u6301\u3057\uff09\u3001\u305d\u306e\u5f8c\u306b\u7d9a\u304f\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3092\u89e3\u6790\u3059\u308b\u3002<br \/>\n\u3053\u3046\u3057\u3066\u5168\u3066\u306e\u30da\u30a2\uff08\u4f8b\u3067\u8a00\u3046\u3068\u6700\u521d\u306e\u30da\u30a2\u306f[+, b]\uff09\u3092\u51e6\u7406\u3059\u308b\u3002<\/p>\n<p>\u3055\u3066\u3053\u308c\u3067\u3001\u6211\u3005\u306f\u5f0f\u306e\u5de6\u624b\u5074\uff08left-hand side\uff09\u3068\u53f3\u624b\u5074\u306e\u30da\u30a2\u306e\u9023\u306a\u308a\u306e\u3072\u3068\u3064\u3092\u89e3\u6790\u3057\u305f\u3053\u3068\u306b\u306a\u308b\u304c\u3001\u6b21\u306b\u6211\u3005\u306f\u3001\u5f0f\u306e\u95a2\u9023\u4ed8\u3051\u306e\u65b9\u6cd5\u306b\u3064\u3044\u3066\u6c7a\u5b9a\u3057\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3002<br \/>\n&#8220;(a + b) binop unparsed&#8221;\u3068\u898b\u306a\u3059\u304b&#8221;a + (b binop unparsed)&#8221;\u3068\u898b\u306a\u3059\u304b\u3002<br \/>\n<em>\u8a33\u6ce8: a\u304c\u5de6\u624b\u5074\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3001+ b\u304c\u53f3\u624b\u5074\u306e\u30da\u30a2\u306e\u9023\u306a\u308a\u306e\u3055\u3044\u3057\u3087\u306e\u3072\u3068\u3064\u3001binop unparsed\u306f\u307e\u3060\u89e3\u6790\u3057\u3066\u306a\u3044\u6b8b\u308a\u306e\u53f3\u624b\u5074\u30da\u30a2\u3092\u8868\u3059\u3002<br \/>\n\u3053\u308c\u3092\u6c7a\u3081\u308b\u305f\u3081\u3001\u6b21\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u898b\u3066\u305d\u306e\u512a\u5148\u9806\u4f4d\u3092\u6c7a\u5b9a\u3057\u3001BinOp\u306e\u512a\u5148\u9806\u4f4d\u3068\u6bd4\u8f03\u3059\u308b\u3002\uff08\u3053\u306e\u5834\u5408\u306e\u6bd4\u8f03\u5bfe\u8c61\u306f&#8221;+, (c+d)&#8221;\u306e&#8221;+&#8221;\u3068\u306a\u308b\u3002\uff09<\/em><\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">\/\/ BinOp\u306e\u512a\u5148\u9806\u4f4d\u304cRHS\uff08\u53f3\u624b\u5074\uff09\u306e\u5f8c\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u4f4e\u3044\u306a\u3089\u3001\r\n\/\/ \u51e6\u7406\u4e2d\u306e\u6f14\u7b97\u5b50\u306fRHS\u3092\u305d\u306eLHS\uff08\u5de6\u624b\u5074\uff09\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u3002\r\nint NextPrec = GetTokPrecedence();\r\nif (TokPrec &lt; NextPrec) {<\/pre>\n<p>\u3082\u3057&#8221;RHS&#8221;\uff08\u53f3\u624b\u5074\uff09\u306e\u53f3\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u304c\u3001\u73fe\u5728\u306e\u6f14\u7b97\u5b50\u306e\u512a\u5148\u9806\u4f4d\u3088\u308a\u5c0f\u3055\u3044\u304b\u7b49\u3057\u3044\u5834\u5408\u3001\u4e38\u62ec\u5f27\u306b\u3088\u3063\u3066&#8221;(a + b) binop unparsed&#8221;\u3068\u3057\u3066\u95a2\u9023\u4ed8\u3051\u3089\u308c\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u3053\u3068\u304c\u5206\u304b\u308b\u3002<br \/>\n\u6211\u3005\u306e\u4f8b\u3067\u306f\u3001\u73fe\u5728\u306e\u6f14\u7b97\u5b50\u306f&#8221;+&#8221;\u3067\u3042\u308a\u3001\u6b21\u306e\u6f14\u7b97\u5b50\u3082&#8221;+&#8221;\u3067\u3042\u308a\u3001\u3082\u3061\u308d\u3093\u4e21\u65b9\u3068\u3082\u540c\u3058\u512a\u5148\u5ea6\u3067\u3042\u308b\u3002<br \/>\n\u3053\u306e\u5834\u5408\u3001&#8221;a+b&#8221;\u3092\u8868\u3059AST\u30ce\u30fc\u30c9\u304c\u751f\u6210\u3055\u308c\u3001\u69cb\u6587\u89e3\u6790\u306f\u7d9a\u304f\u3002<br \/>\n<em>\u8a33\u6ce8: b\u306e\u5f8c\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u304c\u3001b\u306e\u524d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u512a\u5148\u9806\u4f4d\u304c\u4f4e\u3044\u304b\u7b49\u3057\u3044\u306a\u3089\u3070\u3001b\u306e\u524d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3092\u512a\u5148\u3059\u3079\u304d\u306a\u306e\u3067(a + b)\u3068\u306a\u308b\u3002<\/em><\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">      ... if\u6587\u306e\u4e2d\u8eab\u306f\u7701\u7565 ...\r\n    }\r\n\r\n    \/\/ LHS\u3068RHS\u3092\u30de\u30fc\u30b8\u3059\u308b\u3002\r\n    LHS = new BinaryExprAST(BinOp, LHS, RHS);\r\n  }  \/\/ ParseBinOpRHS\u95a2\u6570\u306e\u30c8\u30c3\u30d7\u30ec\u30d9\u30eb\u306ewhile\u30eb\u30fc\u30d7\u3092\u7e70\u308a\u8fd4\u3059\u3002\r\n}<\/pre>\n<p>\u6211\u3005\u306e\u4f8b\u3067\u306f\u3001\u3053\u308c\u306b\u3088\u3063\u3066&#8221;a+b+&#8221;\u306f&#8221;(a+b)&#8221;\u3068\u306a\u308a&#8221;+&#8221;\uff08b\u306e\u5f8c\u306e\u307b\u3046\uff09\u3092\u73fe\u5728\u306e\u30c8\u30fc\u30af\u30f3\u3068\u3057\u3066\u6b21\u306e\u30eb\u30fc\u30d7\u304c\u5b9f\u884c\u3055\u308c\u308b\u3060\u308d\u3046\u3002<br \/>\n\u4e0a\u8a18\u306e\u30b3\u30fc\u30c9\u306f\u3001\u53d6\u308a\u8fbc\u307f\u3001\u4fdd\u6301\u3057\u3066\u3001&#8221;(c+d)&#8221;\u3092\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u3068\u3057\u3066\u89e3\u6790\u3059\u308b\u3060\u308d\u3046\u3002<br \/>\n\u305d\u308c\u306f\u73fe\u5728\u306e\u30da\u30a2\u304c[+, (c+d)]\u3068\u306a\u308b\u4e8b\u3092\u610f\u5473\u3059\u308b\u3002<br \/>\n\u305d\u3057\u305f\u3089\u3001\u4e0a\u8a18\u306eif\u6587\u306e\u6761\u4ef6\u3092\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306e\u53f3\u306b\u3042\u308b\u4e8c\u9805\u6f14\u7b97\u5b50&#8221;*&#8221;\u3092\u3082\u3063\u3066\u8a55\u4fa1\u3059\u308b\u3002<br \/>\n\u3053\u306e\u5834\u5408\u3001&#8221;*&#8221;\u306e\u512a\u5148\u9806\u4f4d\u306f&#8221;+&#8221;\u306e\u512a\u5148\u9806\u4f4d\u3088\u308a\u9ad8\u3044\u306e\u3067\u3001if\u6587\u306e\u4e2d\u304c\u5b9f\u884c\u3055\u308c\u308b\u3002<\/p>\n<p>\u3053\u3053\u306b\u6b8b\u308b\u91cd\u5927\u306a\u7591\u554f\u70b9\u306f\u3001&#8221;\u3069\u3046\u3084\u3063\u3066if\u6587\u306e\u4e2d\u3067\u5b8c\u5168\u306b\u53f3\u624b\u5074\u3092\u89e3\u6790\u3059\u308b\u304b\uff1f&#8221;\u3067\u3042\u308b\u3002<br \/>\n\u7279\u306b\u3001\u6211\u3005\u306e\u4f8b\u306b\u304a\u3044\u3066AST\u3092\u6b63\u3057\u304f\u69cb\u7bc9\u3059\u308b\u4e8b\u306f\u3001\u201c(c+d)*e*f\u201d\u5168\u3066\u3092RHS\u306e\u5f0f\u3068\u3057\u3066\u5f97\u308b\u4e8b\u3092\u5fc5\u8981\u3068\u3059\u308b\u3002<br \/>\n\u3053\u308c\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306e\u30b3\u30fc\u30c9\u306f\u9a5a\u304f\u307b\u3069\u30b7\u30f3\u30d7\u30eb\u3067\u3042\u308b\u3002\uff08\u4ee5\u4e0b\u306e\u30b3\u30fc\u30c9\u306f\u4e0a\u8a182\u3064\u306e\u30b3\u30fc\u30c9\u3068\u540c\u3058\u90e8\u5206\u3067\u3042\u308b\u3002if\u6587\u306e\u4e2d\u8eab\u3092\u8ffd\u52a0\u3057\u305f\u3060\u3051\u3002\uff09<\/p>\n<pre class=\"brush: cpp; title: ; notranslate\" title=\"\">    \/\/ BinOp\u306e\u512a\u5148\u9806\u4f4d\u304cRHS\uff08\u53f3\u624b\u5074\uff09\u306e\u5f8c\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u4f4e\u3044\u306a\u3089\u3001\r\n    \/\/ \u51e6\u7406\u4e2d\u306e\u6f14\u7b97\u5b50\u306fRHS\u3092\u305d\u306eLHS\uff08\u5de6\u624b\u5074\uff09\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u3002\r\n    int NextPrec = GetTokPrecedence();\r\n    if (TokPrec &lt; NextPrec) {\r\n      RHS = ParseBinOpRHS(TokPrec+1, RHS);\r\n      if (RHS == 0) return 0;\r\n    }\r\n    \/\/ LHS\u3068RHS\u3092\u30de\u30fc\u30b8\u3059\u308b\u3002\r\n    LHS = new BinaryExprAST(BinOp, LHS, RHS);\r\n  }  \/\/ ParseBinOpRHS\u95a2\u6570\u306e\u30c8\u30c3\u30d7\u30ec\u30d9\u30eb\u306ewhile\u30eb\u30fc\u30d7\u3092\u7e70\u308a\u8fd4\u3059\u3002\r\n}<\/pre>\n<p>\u3053\u306e\u6642\u70b9\u3067\u3001\u6211\u3005\u306e\u30d7\u30e9\u30a4\u30de\u30ea\u5f0f\u306eRHS\u306b\u5bfe\u3059\u308b\u4e8c\u9805\u6f14\u7b97\u5b50\u306f\u3001\u73fe\u5728\u89e3\u6790\u4e2d\u306e\u4e8c\u9805\u6f14\u7b97\u5b50\u3088\u308a\u9ad8\u3044\u512a\u5148\u9806\u4f4d\u3092\u6301\u3064\u3068\u3044\u3046\u3053\u3068\u3092\u6211\u3005\u306f\u77e5\u3063\u3066\u3044\u308b\u3002<br \/>\n\u306a\u306e\u3067\u3001&#8221;+&#8221;\u3088\u308a\u512a\u5148\u9806\u4f4d\u304c\u9ad8\u3044\u5168\u3066\u306e\u30da\u30a2\u304c\u3001\u5171\u306b\u89e3\u6790\u3055\u308cRHS\u3068\u3057\u3066\u8fd4\u3055\u308c\u308b\u3079\u304d\u3067\u3042\u308b\u3002<br \/>\n\u3053\u308c\u3092\u884c\u3046\u305f\u3081\u306b\u3001ParseBinOpRHS\u95a2\u6570\u306b\u6700\u5c0f\u512a\u5148\u9806\u4f4d\u3068\u3057\u3066&#8221;TokPrec+1&#8243;\u3092\u6e21\u3057\u3001\u518d\u5e30\u7684\u306b\u547c\u3073\u51fa\u3057\u3066\u3044\u308b\u3002<br \/>\n\u6211\u3005\u306e\u4f8b\u3067\u306f\u3001\u3053\u308c\u306b\u3088\u3063\u3066\u201c(c+d)*e*f\u201d\u3092\u8868\u3059AST\u30ce\u30fc\u30c9\u304cRHS\u3068\u3057\u3066\u8fd4\u3055\u308c\u308b\u3002<br \/>\n\u305d\u3057\u3066\u305d\u308c\u306f\u3001&#8221;+&#8221;\u6f14\u7b97\u5b50\u306eRHS\u3068\u3057\u3066\u30bb\u30c3\u30c8\u3055\u308c\u308b\u3002<\/p>\n<p>\u6700\u5f8c\u306b\u3001\u6b21\u306e\u30eb\u30fc\u30d7\u306b\u3088\u3063\u3066\u3001&#8221;+g&#8221;\u304c\u89e3\u6790\u3055\u308cAST\u306b\u8ffd\u52a0\u3055\u308c\u308b\u3002<br \/>\n\u3053\u306e\u3061\u3087\u3063\u3068\u3057\u305f\u30b3\u30fc\u30c9\uff08\u3057\u304b\u3057\u305d\u306e14\u884c\u306f\u51c4\u3044\uff09\u306b\u3088\u3063\u3066\u3001\u4e00\u822c\u7684\u306a\u4e8c\u9805\u6f14\u7b97\u5f0f\u306e\u89e3\u6790\u3092\u3068\u3066\u3082\u30a8\u30ec\u30ac\u30f3\u30c8\u306a\u3084\u308a\u65b9\u3067\u5341\u5206\u306b\u6b63\u3057\u304f\u51e6\u7406\u51fa\u6765\u308b\u3002<br \/>\n\u3053\u308c\u306f\u3053\u306e\u30b3\u30fc\u30c9\u306b\u3064\u3044\u3066\u304b\u306a\u308a\u7aef\u6298\u3063\u305f\u3001\u3057\u304b\u3082\u3044\u304f\u3089\u304b\u5fae\u5999\u306a\u8aac\u660e\u3067\u3042\u308b\u3002<br \/>\n\u3044\u304f\u3064\u304b\u306e\u4f8b\u3092\u7528\u3044\u3066\u3001\u3053\u306e\u30b3\u30fc\u30c9\u304c\u3069\u3046\u3084\u3063\u3066\u52d5\u304f\u304b\u78ba\u8a8d\u3059\u308b\u3053\u3068\u3092\u304a\u3059\u3059\u3081\u3059\u308b\u3002<\/p>\n<p>\u3053\u308c\u3067\u5f0f\u306e\u51e6\u7406\u304c\u307e\u3068\u307e\u3063\u305f\u3002<br \/>\n\u3053\u308c\u306b\u3088\u3063\u3066\u6211\u3005\u306e\u69cb\u6587\u89e3\u6790\u5668\u306f\u3001\u4efb\u610f\u306e\u30c8\u30fc\u30af\u30f3\u306e\u9023\u306a\u308a\u3092\u6307\u3057\u793a\u3057\u3001\u305d\u3053\u304b\u3089\u5f0f\u3092\u69cb\u7bc9\u51fa\u6765\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u3002<br \/>\n\u6700\u521d\u306e\u30c8\u30fc\u30af\u30f3\u3067\u6b62\u3081\u308b\u3053\u3068\u306f\u3001\u5f0f\u306e\u4e00\u90e8\u3067\u306f\u306a\u3044\u3002\uff08stopping at the first token that is not part of the expression.\uff09<br \/>\n\u6b21\u306f\u3001\u95a2\u6570\u5b9a\u7fa9\u7b49\u3005\u3092\u51e6\u7406\u51fa\u6765\u308b\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3002<\/p>\n<p><em>\u8a33\u6ce8:<br \/>\n\u201ca+b+(c+d)*e*f+g\u201d\u3068\u3044\u3046\u5f0f\u3092\u4f8b\u3068\u3057\u3066\u3001\u3069\u3046\u51e6\u7406\u3055\u308c\u3066\u3044\u304f\u304b\u306e\u8aac\u660e\u304c\u3053\u306e\u7ae0\u306e\u5927\u90e8\u5206\u3092\u5360\u3081\u3066\u3044\u308b\u304c\u3001\u305d\u306e\u904e\u7a0b\u306e\u8aac\u660e\u3067\u300c\u3069\u306e\u6f14\u7b97\u5b50\u306b\u3064\u3044\u3066\u8a71\u3057\u3066\u308b\u304b\uff1f\u300d\u304c\u539f\u6587\u306b\u307b\u3068\u3093\u3069\u66f8\u304b\u308c\u3066\u306a\u3044\u305f\u3081\u52d8\u3067\u8a33\u3057\u305f\u90e8\u5206\u304c\u591a\u3044\u3002<br \/>\n\u300cb\u306e\u5f8c\u306e+\u300d\u3068\u304b\u300ce\u306e\u524d\u306e*\u300d\u3068\u304b\u4e00\u8a00\u66f8\u3044\u3066\u3042\u308b\u3060\u3051\u3067\u3082\u304b\u306a\u308a\u5206\u304b\u308a\u3084\u3059\u304f\u306a\u308b\u306f\u305a\u306a\u306e\u306b\u3001\u300cRHS\u306e\u5f8c\u300d\u3068\u304b\u3044\u3046\u66f8\u304d\u65b9\u304c\u3055\u308c\u3066\u3044\u308b\u305f\u3081\u975e\u5e38\u306b\u5206\u304b\u308a\u306b\u304f\u3044\u3002<br \/>\nRHS\u304c\u4f55\u3092\u8868\u3059\u304b\u306f\u51e6\u7406\u304c\u9032\u3080\u306b\u9023\u308c\u3066\u3069\u3093\u3069\u3093\u5909\u308f\u3063\u3066\u3044\u304f\u3068\u3053\u308d\u306a\u306e\u3067\u3002<\/em><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[32],"tags":[466,467],"class_list":["post-2907","post","type-post","status-publish","format-standard","hentry","category-tech","tag-kaleidoscope","tag-llvm"],"_links":{"self":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/2907","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/comments?post=2907"}],"version-history":[{"count":0,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/posts\/2907\/revisions"}],"wp:attachment":[{"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/media?parent=2907"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/categories?post=2907"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/peta.okechan.net\/blog\/wp-json\/wp\/v2\/tags?post=2907"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}