{"id":509,"title":"golang\u8bed\u8a00\u7f16\u8bd1\u8fc7\u7a0b","good":0,"bad":0,"hit":2185,"created_at":"2020-08-05 21:02:10","content":"

Go\u8bed\u8a00\u662f\u4e00\u95e8\u9700\u8981\u7f16\u8bd1\u624d\u80fd\u8fd0\u884c\u7684\u7f16\u7a0b\u8bed\u8a00\uff0c\u4e5f\u5c31\u8bf4\u4ee3\u7801\u5728\u8fd0\u884c\u4e4b\u524d\u9700\u8981\u901a\u8fc7\u7f16\u8bd1\u5668\u751f\u6210\u4e8c\u8fdb\u5236\u673a\u5668\u7801\uff0c\u968f\u540e\u4e8c\u8fdb\u5236\u6587\u4ef6\u624d\u80fd\u5728\u76ee\u6807\u673a\u5668\u4e0a\u8fd0\u884c\uff0c\u5982\u679c\u6211\u4eec\u60f3\u8981\u4e86\u89e3Go\u8bed\u8a00\u7684\u5b9e\u73b0\u539f\u7406\uff0c\u7406\u89e3\u5b83\u7684\u7f16\u8bd1\u8fc7\u7a0b\u5c31\u662f\u4e00\u4e2a\u6ca1\u6709\u529e\u6cd5\u7ed5\u8fc7\u7684\u4e8b\u60c5\u3002<\/span><\/p>

\u9884\u5907\u77e5\u8bc6<\/h2>

\u60f3\u8981\u6df1\u5165\u4e86\u89e3Go\u8bed\u8a00\u7684\u7f16\u8bd1\u8fc7\u7a0b\uff0c\u9700\u8981\u63d0\u524d\u4e86\u89e3\u4e00\u4e0b\u7f16\u8bd1\u8fc7\u7a0b\u4e2d\u6d89\u53ca\u7684\u4e00\u4e9b\u672f\u8bed\u548c\u4e13\u4e1a\u77e5\u8bc6\u3002\u8fd9\u4e9b\u77e5\u8bc6\u5176\u5b9e\u5728\u6211\u4eec\u7684\u65e5\u5e38\u5de5\u4f5c\u548c\u5b66\u4e60\u4e2d\u6bd4\u8f83\u96be\u7528\u5230\uff0c\u4f46\u662f\u5bf9\u4e8e\u7406\u89e3\u7f16\u8bd1\u7684\u8fc7\u7a0b\u548c\u539f\u7406\u8fd8\u662f\u975e\u5e38\u91cd\u8981\u7684\u3002<\/span><\/p>

1) \u62bd\u8c61\u8bed\u6cd5\u6811<\/h4>

\u5728\u8ba1\u7b97\u673a\u79d1\u5b66\u4e2d\uff0c\u62bd\u8c61\u8bed\u6cd5\u6811\uff08Abstract Syntax Tree\uff0cAST\uff09\uff0c\u6216\u7b80\u79f0\u8bed\u6cd5\u6811\uff08Syntax tree\uff09\uff0c\u662f\u6e90\u4ee3\u7801\u8bed\u6cd5\u7ed3\u6784\u7684\u4e00\u79cd\u62bd\u8c61\u8868\u793a\u3002\u5b83\u4ee5\u6811\u72b6\u7684\u5f62\u5f0f\u8868\u73b0\u7f16\u7a0b\u8bed\u8a00\u7684\u8bed\u6cd5\u7ed3\u6784\uff0c\u6811\u4e0a\u7684\u6bcf\u4e2a\u8282\u70b9\u90fd\u8868\u793a\u6e90\u4ee3\u7801\u4e2d\u7684\u4e00\u79cd\u7ed3\u6784\u3002<\/span>\u4e4b\u6240\u4ee5\u8bf4\u8bed\u6cd5\u662f\u201c\u62bd\u8c61\u201d\u7684\uff0c\u662f\u56e0\u4e3a\u8fd9\u91cc\u7684\u8bed\u6cd5\u5e76\u4e0d\u4f1a\u8868\u793a\u51fa\u771f\u5b9e\u8bed\u6cd5\u4e2d\u51fa\u73b0\u7684\u6bcf\u4e2a\u7ec6\u8282\u3002\u6bd4\u5982\uff0c\u5d4c\u5957\u62ec\u53f7\u88ab\u9690\u542b\u5728\u6811\u7684\u7ed3\u6784\u4e2d\uff0c\u5e76\u6ca1\u6709\u4ee5\u8282\u70b9\u7684\u5f62\u5f0f\u5448\u73b0\u3002\u800c\u7c7b\u4f3c\u4e8e if else \u8fd9\u6837\u7684\u6761\u4ef6\u5224\u65ad\u8bed\u53e5\uff0c\u53ef\u4ee5\u4f7f\u7528\u5e26\u6709\u4e24\u4e2a\u5206\u652f\u7684\u8282\u70b9\u6765\u8868\u793a\u3002<\/span>\u4ee5\u7b97\u672f\u8868\u8fbe\u5f0f 1+3*(4-1)+2 \u4e3a\u4f8b\uff0c\u53ef\u4ee5\u89e3\u6790\u51fa\u7684\u62bd\u8c61\u8bed\u6cd5\u6811\u5982\u4e0b\u56fe\u6240\u793a\uff1a<\/span><\/p>

\"\u62bd\u8c61\u8bed\u6cd5\u6811\"\u56fe\uff1a\u62bd\u8c61\u8bed\u6cd5\u6811<\/p>

\u62bd\u8c61\u8bed\u6cd5\u6811\u53ef\u4ee5\u5e94\u7528\u5728\u5f88\u591a\u9886\u57df\uff0c\u6bd4\u5982\u6d4f\u89c8\u5668\uff0c\u667a\u80fd\u7f16\u8f91\u5668\uff0c\u7f16\u8bd1\u5668\u3002<\/span><\/p>

2) \u9759\u6001\u5355\u8d4b\u503c<\/h4>

\u5728\u7f16\u8bd1\u5668\u8bbe\u8ba1\u4e2d\uff0c\u9759\u6001\u5355\u8d4b\u503c\u5f62\u5f0f\uff08static single assignment form\uff0c\u901a\u5e38\u7b80\u5199\u4e3a SSA form \u6216\u662f SSA\uff09\u662f\u4e2d\u4ecb\u7801\uff08IR\uff0cintermediate representation\uff09\u7684\u5c5e\u6027\uff0c\u5b83\u8981\u6c42\u6bcf\u4e2a\u53d8\u91cf\u53ea\u5206\u914d\u4e00\u6b21\uff0c\u5e76\u4e14\u53d8\u91cf\u9700\u8981\u5728\u4f7f\u7528\u4e4b\u524d\u5b9a\u4e49\u3002\u5728\u5b9e\u8df5\u4e2d\u6211\u4eec\u901a\u5e38\u4f1a\u7528\u6dfb\u52a0\u4e0b\u6807\u7684\u65b9\u5f0f\u5b9e\u73b0\u6bcf\u4e2a\u53d8\u91cf\u53ea\u80fd\u88ab\u8d4b\u503c\u4e00\u6b21\u7684\u7279\u6027\uff0c\u8fd9\u91cc\u4ee5\u4e0b\u9762\u7684\u4ee3\u7801\u4e3e\u4e00\u4e2a\u7b80\u5355\u7684\u4f8b\u5b50\uff1a<\/span><\/p>

x := 1x := 2y := x<\/p>

\u4ece\u4e0a\u9762\u7684\u63cf\u8ff0\u6240\u77e5\uff0c\u7b2c\u4e00\u884c\u8d4b\u503c\u884c\u4e3a\u662f\u4e0d\u9700\u8981\u7684\uff0c\u56e0\u4e3a x \u5728\u7b2c\u4e8c\u884c\u88ab\u4e8c\u5ea6\u8d4b\u503c\u5e76\u5728\u7b2c\u4e09\u884c\u88ab\u4f7f\u7528\uff0c\u5728 SSA \u4e0b\uff0c\u5c06\u4f1a\u53d8\u6210\u4e0b\u5217\u7684\u5f62\u5f0f\uff1a<\/span><\/p>

x1 := 1x2 := 2y1 := x2<\/p>

\u4ece\u4f7f\u7528 SSA \u7684\u4e2d\u95f4\u4ee3\u7801\u6211\u4eec\u5c31\u53ef\u4ee5\u975e\u5e38\u6e05\u6670\u5730\u770b\u51fa\u53d8\u91cf y1 \u7684\u503c\u548c x1 \u662f\u5b8c\u5168\u6ca1\u6709\u4efb\u4f55\u5173\u7cfb\u7684\uff0c\u6240\u4ee5\u5728\u673a\u5668\u7801\u751f\u6210\u65f6\u5176\u5b9e\u5c31\u53ef\u4ee5\u7701\u7565\u7b2c\u4e00\u6b65\uff0c\u8fd9\u6837\u5c31\u80fd\u51cf\u5c11\u9700\u8981\u6267\u884c\u7684\u6307\u4ee4\u6765\u4f18\u5316\u8fd9\u4e00\u6bb5\u4ee3\u7801\u3002<\/span>\u6839\u636e Wikipedia\uff08\u7ef4\u57fa\u767e\u79d1\uff09\u5bf9 SSA \u7684\u4ecb\u7ecd\u6765\u770b\uff0c\u5728\u4e2d\u95f4\u4ee3\u7801\u4e2d\u4f7f\u7528 SSA \u7684\u7279\u6027\u80fd\u591f\u4e3a\u6574\u4e2a\u7a0b\u5e8f\u5b9e\u73b0\u4ee5\u4e0b\u7684\u4f18\u5316\uff1a<\/span><\/p>