{"id":107001,"date":"2020-05-29T06:50:48","date_gmt":"2020-05-28T22:50:48","guid":{"rendered":"http:\/\/4563.org\/?p=107001"},"modified":"2020-05-29T06:50:48","modified_gmt":"2020-05-28T22:50:48","slug":"%e9%80%92%e5%bd%92%e7%9a%84%e5%ae%9e%e7%8e%b0-%e5%be%aa%e7%8e%af%ef%bc%8c%e6%b1%87%e7%bc%96%ef%bc%8c-cps-%e4%b8%8e-y-%e7%bb%84%e5%90%88%e5%ad%90","status":"publish","type":"post","link":"http:\/\/4563.org\/?p=107001","title":{"rendered":"\u9012\u5f52\u7684\u5b9e\u73b0 \u2014\u2014 \u5faa\u73af\uff0c\u6c47\u7f16\uff0c CPS \u4e0e y \u7ec4\u5408\u5b50"},"content":{"rendered":"
\n
\n
\n

\u9012\u5f52\u7684\u5b9e\u73b0 \u2014\u2014 \u5faa\u73af\uff0c\u6c47\u7f16\uff0c CPS \u4e0e y \u7ec4\u5408\u5b50 <\/h1>\n

<\/p>\n

\n
\u8cc7\u6df1\u5927\u4f6c : ChristopherWu <\/span> <\/i> 2<\/span> <\/div>\n
<\/div>\n<\/p><\/div>\n<\/p><\/div>\n<\/p><\/div>\n
<\/p>\n

\"\u9012\u5f52\u7684\u5b9e\u73b0<\/p>\n

\u9012\u5f52\u7684\u5b9e\u73b0\u2014\u2014\u5faa\u73af\uff0c\u6c47\u7f16\uff0cCPS \u4e0e y \u7ec4\u5408\u5b50<\/h3>\n

\u9012\u5f52\u548c\u5faa\u73af\u662f\u7b49\u4ef7\u7684<\/h5>\n

\u5982\u679c\u5b9a\u4e49\u4e00\u4e2a\u6982\u5ff5\u9700\u8981\u7528\u5230\u8fd9\u4e2a\u6982\u5ff5\u672c\u8eab\uff0c\u6211\u4eec\u79f0\u5b83\u7684\u5b9a\u4e49\u662f\u9012\u5f52\u7684\uff08 Recursive \uff09\u3002\u4f8b\u5982\uff1a<\/p>\n

    \n
  • \n

    beautiful<\/p>\n

    an adjective used to describe something that is beautiful.<\/p>\n<\/li>\n<\/ul>\n

    \u9012\u5f52\u548c\u5faa\u73af\u662f\u7b49\u4ef7\u7684<\/em> \uff0c\u7528\u5faa\u73af\u80fd\u505a\u7684\u4e8b\u7528\u9012\u5f52\u90fd\u80fd\u505a\uff0c\u53cd\u4e4b\u4ea6\u7136\u3002<\/p>\n

    \u4e3e\u4f8b\u5b50\uff1a<\/p>\n

    int loop(int n) {     int sum = 0;     for(int i=0; i<n; i++) {           sum += i;     }     return sum; } <\/code><\/pre>\n
    \u903b\u8f91\u7b49\u4ef7\u4e8e\uff1a<\/p>\n
    void loop(int i, int n) {      if(i < n) {          return i + loop(i+1, n);      } else {          return 0;      } } loop(0, 10); <\/code><\/pre>\n
    \u4e8b\u5b9e\u4e0a\u6709\u7684\u7f16\u7a0b\u8bed\u8a00\uff08\u6bd4\u5982\u67d0\u4e9b LISP \u5b9e\u73b0\uff09\u53ea\u6709\u9012\u5f52\u800c\u6ca1\u6709\u5faa\u73af\u3002\u8ba1\u7b97\u673a\u6307\u4ee4\u80fd\u505a\u7684\u6240\u6709\u4e8b\u60c5\u5c31\u662f\u6570\u636e\u5b58\u53d6\u3001\u8fd0\u7b97\u3001\u6d4b\u8bd5\u548c\u5206\u652f\u3001\u5faa\u73af\uff08\u6216\u9012\u5f52\uff09\uff0c\u5728\u8ba1\u7b97\u673a\u4e0a\u8fd0\u884c\u9ad8\u7ea7\u8bed\u8a00\u5199\u7684\u7a0b\u5e8f\u6700\u7ec8\u4e5f\u8981\u7ffb\u8bd1\u6210\u6307\u4ee4\uff0c\u6307\u4ee4\u505a\u4e0d\u5230\u7684\u4e8b\u60c5\u9ad8\u7ea7\u8bed\u8a00\u5199\u7684\u7a0b\u5e8f\u80af\u5b9a\u4e5f\u505a\u4e0d\u5230\uff0c\u867d\u7136\u9ad8\u7ea7\u8bed\u8a00\u6709\u4e30\u5bcc\u7684\u8bed\u6cd5\u7279\u6027\uff0c\u4f46\u4e5f\u53ea\u662f\u6bd4\u6307\u4ee4\u5199\u8d77\u6765\u66f4\u65b9\u4fbf\u800c\u5df2\uff0c\u80fd\u505a\u7684\u4e8b\u60c5\u662f\u4e00\u6837\u591a\u7684\u3002<\/p>\n
    \u8c03\u7528\u51fd\u6570\u4e0e\u9012\u5f52\u7684\u6c47\u7f16\u5b9e\u73b0<\/h4>\n
    \u8c03\u7528\u51fd\u6570\u7684\u6c47\u7f16\u5b9e\u73b0<\/h5>\n
    \u5728\u6267\u884c\u7a0b\u5e8f\u65f6\uff0c\u64cd\u4f5c\u7cfb\u7edf\u4e3a\u8fdb\u7a0b\u5206\u914d\u4e00\u5757\u6808\u7a7a\u95f4\u6765\u4fdd\u5b58\u51fd\u6570\u6808\u5e27\uff0c\u6bcf\u6b21\u8c03\u7528\u4e00\u4e2a\u51fd\u6570\u90fd\u8981\u5206\u914d\u4e00\u4e2a\u6808\u5e27\u6765\u4fdd\u5b58\u53c2\u6570\u548c\u5c40\u90e8\u53d8\u91cf\u3002<\/p>\n
    #include <stdio.h> int fun(int a, int b) {     int c = a+b;     return c; } int main(void) {     int d= fun(123, 456);     return d; } <\/code><\/pre>\n
    \u6267\u884c\uff1a<\/p>\n
    gcc main.c -g  #\u5728\u7f16\u8bd1\u65f6\u52a0\u4e0a -g \u9009\u9879\uff0c\u7528 objdump \u53cd\u6c47\u7f16\u65f6\u53ef\u4ee5\u628a C \u4ee3\u7801\u548c\u6c47\u7f16\u4ee3\u7801\u7a7f\u63d2\u8d77\u6765\u663e\u793a objdump -dS a.out <\/code><\/pre>\n
    \u53cd\u6c47\u7f16\u7684\u7ed3\u679c\u5f88\u957f\uff0c\u4ee5\u4e0b\u53ea\u5217\u51fa\u6211\u4eec\u5173\u5fc3\u7684\u90e8\u5206\uff1a<\/p>\n
    00000000004004d6 <fun>: #include <stdio.h> int fun(int a, int b) {   4004d6: 55                    push   %rbp   4004d7: 48 89 e5              mov    %rsp,%rbp   4004da: 89 7d ec              mov    %edi,-0x14(%rbp)   4004dd: 89 75 e8              mov    %esi,-0x18(%rbp)     int c = a+b;   4004e0: 8b 55 ec              mov    -0x14(%rbp),%edx   4004e3: 8b 45 e8              mov    -0x18(%rbp),%eax   4004e6: 01 d0                 add    %edx,%eax   4004e8: 89 45 fc              mov    %eax,-0x4(%rbp)     return c;   4004eb: 8b 45 fc              mov    -0x4(%rbp),%eax }   4004ee: 5d                    pop    %rbp   4004ef: c3                    retq    00000000004004f0 <main>: int main(void) {   4004f0: 55                    push   %rbp   4004f1: 48 89 e5              mov    %rsp,%rbp   4004f4: 48 83 ec 10           sub    $0x10,%rsp     int d= fun(123, 456);   4004f8: be c8 01 00 00        mov    $0x1c8,%esi   4004fd: bf 7b 00 00 00        mov    $0x7b,%edi   400502: e8 cf ff ff ff        callq  4004d6 <fun>   400507: 89 45 fc              mov    %eax,-0x4(%rbp)     return d;   40050a: 8b 45 fc              mov    -0x4(%rbp),%eax } <\/code><\/pre>\n
    main<\/code> \u51fd\u6570\u592a\u7279\u6b8a\u4e86\uff0c\u6211\u4eec\u5148\u628afun<\/code>\u51fd\u672c\u8eab\u6570\u7684\u8fc7\u7a0b\u7684\u6c47\u7f16\u4ee3\u7801\u8fc7\u4e00\u904d\u3002<\/p>\n
    \u5fc5\u987b\u8981\u77e5\u9053\u7684\u524d\u7f6e\u77e5\u8bc6\u662f\uff1a \u5728 x86 \u5e73\u53f0\u4e0a\u8fd9\u4e2a\u6808\u662f\u4ece\u9ad8\u5730\u5740\u5411\u4f4e\u5730\u5740\u589e\u957f\u7684\uff0cesp<\/code> \u5bc4\u5b58\u5668\u603b\u662f\u6307\u5411\u6808\u9876\uff0cebp<\/code> \u603b\u662f\u6307\u5411\u5f53\u524d\u6808\u5e27\u7684\u6808\u5e95\u300232 \u4f4d\u5f00\u5934\u7684 x86 \u6c47\u7f16\uff0c\u662f e \u5f00\u5934\uff0c\u5982 esp\uff0cebp \uff1b 64 \u4f4d\u662f r \u5f00\u5934\uff0c\u5982 rsp\uff0crbp \u3002<\/p>\n
    \u7531\u4e8e\u7ed9\u51fa\u7684\u4f8b\u5b50\u90fd\u5728\u6211\u672c\u673a\uff08 64 \u4f4d\uff09\u8fdb\u884c\u6d4b\u8bd5\uff0c\u547d\u540d\u90fd\u7528 r \u5f00\u5934\u3002<\/p>\n
    int fun(int a, int b) {   4004d6: 55                    push   %rbp   4004d7: 48 89 e5              mov    %rsp,%rbp <\/code><\/pre>\n
    push %rbp<\/code> \u6307\u4ee4\u7b49\u4ef7\u4e8e\u4e0b\u9762\u4e24\u6761\u6307\u4ee4\uff1a<\/p>\n
    \n
    subq $8, %rsp \uff08\u7528\u4f2a\u8bed\u8a00\u4ecb\u7ecd\u5c31\u662f\uff1a%rsp = %rsp – 8\uff0c\u56e0\u4e3arsp<\/code> \u5bc4\u5b58\u5668\u603b\u662f\u6307\u5411\u6808\u9876\uff0c\u6240\u4ee5 esp \u6808\u6307\u9488-8\uff0c\u6307\u5411\u4e0b\u9762 8 \u5b57\u8282\u540e\u7684\u5730\u65b9\uff0c\u538b\u4e86\u6570\u636e\u8fdb\u6808\u540e\uff0c\u6307\u9488\u8981\u53d8\u561b\u3002\uff09<\/p>\n
    movq %rbp, (%rsp) \uff08 \u4e5f\u5c31\u662f\uff1arsp \u7684\u503c = rbp \u7684\u503c\uff0c\u5c06 rbp \u7684\u6570\u636e\u653e\u8fdb\u6808\u9876\u6307\u9488 rsp \u6307\u5411\u7684\u5730\u65b9\uff09<\/p>\n<\/blockquote>\n
    \u6ce8\u610f\u7684\u662f\uff0cmain \u51fd\u6570\u662f\u6700\u5148\u8c03\u7528\u7684\uff0c\u6240\u4ee5\u8fd9\u91cc\u7684 rbp \u503c\u662f main \u51fd\u6570\u7684\u6808\u5e95\u6307\u9488\u3002<\/p>\n
    \u8fd9\u91cc\u4e3a\u4ec0\u4e48\u8981\u628a main \u51fd\u6570\u4e2d\u7684 rbp \u7684\u503c\u538b\u6808\u5462\uff1f<\/p>\n
    \u8981\u6ce8\u610frbp<\/code> \u603b\u662f\u6307\u5411\u5f53\u524d\u6808\u5e27\u7684\u6808\u5e95\uff0c\u6240\u4ee5\u662f\u4e0d\u4f1a\u6709\u4efb\u4f55\u53d8\u52a8\u7684\uff0c\u4f1a\u5229\u7528 rbp + \u504f\u79fb\u503c<\/code>\u6765\u8bbf\u95ee\u6808\u91cc\u7684\u53d8\u91cf\u3002<\/p>\n
    \u4f46\u662f\u5462\uff0c\u5168\u5c40\u53ea\u6709\u4e00\u4e2a rbp \u5bc4\u5b58\u5668\uff0cmain \u51fd\u6570\u539f\u6765\u7684 rbp \u503c\uff08\u4e5f\u5c31\u662f\u6808\u5e95\uff09\u5047\u8bbe\u662f 0x1234\uff0c\u5728 fun \u51fd\u6570\u65f6\uff0crbp \u503c\u5c31\u8981\u6539\u53d8\u6210 fun \u51fd\u6570\u7684\u6808\u5e95\u6307\u9488\u4e86\u3002<\/p>\n
    4004d7: 48 89 e5 mov %rsp,%rbp<\/code><\/p>\n
    \u8fd9\u91cc\uff0c\u4e3a\u4ec0\u4e48\u53c8\u628a main \u51fd\u6570 rsp \uff08\u6808\u9876\uff09\u7684\u503c\u8d4b\u503c\u7ed9 foo \u51fd\u6570\u7684 rbp \uff08\u6808\u5e95\uff09\u5462\uff1f\u56e0\u4e3a\u4e00\u4e2a\u7ebf\u7a0b\uff08 thread \uff09\u53ea\u6709\u4e00\u4e2a\u6808\uff0c\u51fd\u6570\u90fd\u662f\u516c\u7528\u4e00\u4e2a\u6808\u7684\u3002\u6240\u4ee5\uff0cmain \u51fd\u6570\u7684\u6808\u4e0e foo \u51fd\u6570\u7684\u6808\u662f\u8fde\u5728\u4e00\u8d77\u7684\u2014\u2014\u4e5f\u5c31\u662f\u8bf4\uff0cmain \u7684\u6808\u9876\u5c31\u662f foo \u51fd\u6570\u7684\u6808\u5e95\u3002<\/p>\n
    \u6808\u7684\u5e03\u5c40\u662f\u8fd9\u6837\u7684:<\/p>\n
    0x123 rbp(main \u6808\u5e95)[\u5b9e\u9645\u5e76\u4e0d\u5b58\u5728\uff0c\u662f\u4ee5\u524d\u7684\u503c\uff0c\u4fbf\u4e8e\u7406\u89e3] 0x11f c 0x11b b 0x117 a 0x113 rbp(foo \u6808\u5e95) rsp(main \u6808\u9876,foo \u6808\u9876) 0x109 rsp(foo \u6808\u9876)-4\uff0cfoo \u6709\u591a\u5c11\u53c2\u6570\uff0c\u5c31\u8fd9\u6837\u5f80\u4e0b\u8dd1\u3002 <\/code><\/pre>\n
    \u63a5\u4e0b\u6765\u5c31\u662f\u771f\u6b63\u6267\u884c foo \u51fd\u6570\u5185\u7684\u8fc7\u7a0b\u4e86\uff1a<\/p>\n
      4004da: 89 7d ec              mov    %edi,-0x14(%rbp)   4004dd: 89 75 e8              mov    %esi,-0x18(%rbp)     int c = a+b;   4004e0: 8b 55 ec              mov    -0x14(%rbp),%edx   4004e3: 8b 45 e8              mov    -0x18(%rbp),%eax   4004e6: 01 d0                 add    %edx,%eax <\/code><\/pre>\n
    esi<\/code>\u4e0eedi<\/code>\u901a\u5e38\u4ee3\u8868\u4e0d\u53d8\u7684\u503c\uff0c\u7528\u6765\u653e\u51fd\u6570\u7684\u53c2\u6570\u3002<\/p>\n
    \u6ce8\u610f%edi<\/code> \u4e0e %esi<\/code>\u5df2\u7ecf\u5728 main \u51fd\u6570\u4f53\u91cc\uff0c\u5728\u8c03\u7528 foo \u4e4b\u524d\u8d4b\u503c\u4e86\uff1a<\/p>\n
      4004f8: be c8 01 00 00        mov    $0x1c8,%esi   4004fd: bf 7b 00 00 00        mov    $0x7b,%edi   400502: e8 cf ff ff ff        callq  4004d6 <fun> <\/code><\/pre>\n
    \u6240\u4ee5\u73b0\u5728\u7684\u5185\u5b58\u5e03\u5c40\u662f\u8fd9\u6837\u7684\uff1a<\/p>\n
    0x123 rbp(main \u6808\u5e95)[\u5b9e\u9645\u5e76\u4e0d\u5b58\u5728\uff0c\u662f\u4ee5\u524d\u7684\u503c\uff0c\u4fbf\u4e8e\u7406\u89e3] 0x11f c 0x11b b 0x117 a 0x113 rbp(foo \u6808\u5e95) rsp(main \u6808\u9876)[\u5b9e\u9645\u5e76\u4e0d\u5b58\u5728\uff0c\u662f\u4ee5\u524d\u7684\u503c\uff0c\u4fbf\u4e8e\u7406\u89e3] 0x099 123 0x095 456 rsp(foo \u6808\u9876) <\/code><\/pre>\n
    foo \u51fd\u6570\u7684\u6c47\u7f16\u5c31\u662f\u628a$0x7b \uff08 10 \u8fdb\u5236\u662f 123 \uff09<\/code>\u4e0e$0x1c8 \uff08 10 \u8fdb\u5236\u662f 456 \uff09<\/code>\u5206\u522b\u5b58\u5728 edx \u4e0e eax\uff0c\u7136\u540e\u505a\u52a0\u8fd0\u7b97\uff0c\u7ed3\u679c\u5728eax<\/code>\u4e0a\uff08\u8fd4\u56de\u503c\u901a\u8fc7 eax<\/code> \u5bc4\u5b58\u5668\u4f20\u9012\uff09<\/p>\n
    \u6700\u540e:<\/p>\n
      4004e8: 89 45 fc              mov    %eax,-0x4(%rbp)     return c;   4004eb: 8b 45 fc              mov    -0x4(%rbp),%eax }   4004ee: 5d                    pop    %rbp   4004ef: c3                    retq <\/code><\/pre>\n
    \u628a123 + 456<\/code>\u5f97\u51fa\u7684\u5728 eax \u7684\u503c\uff0c\u8d4b\u503c\u7ed9 rbp \uff08\u6808\u5e95\uff09-4 \u7684\u5730\u65b9\uff0c\u5f39\u51fa rbp \uff08\u6808\u9876\uff09\u539f\u6765\u7684\u503c\uff08 main \u7684\u6808\u9876\uff09\uff0c\u8c03\u7528 retq \u6307\u4ee4\uff08 retq \u662f call \u7684\u9006\u6307\u4ee4\uff09\uff0c\u8fd4\u56de\u5230\u539f\u6765 call \u7684\u5730\u5740\u540e\u8fd0\u884c\u3002<\/p>\n
    \u9012\u5f52\u7684\u6c47\u7f16\u5b9e\u73b0<\/h5>\n
    \u9012\u5f52\u65e0\u975e\u5c31\u662f\u5d4c\u5957\u7684\u51fd\u6570\u8c03\u7528\uff0ca \u51fd\u6570\u8c03\u7528\u56de a \u51fd\u6570\uff0c\u4e0d\u505c\u7684\u8c03\u7528 call \u6307\u4ee4\uff0crbp \uff08\u6808\u9876\uff09\u4e0d\u505c\u5f80\u4e0b\u8dd1\uff0c\u5982\uff1a<\/p>\n
    0x123 rbp(main \u6808\u5e95)[\u5b9e\u9645\u5e76\u4e0d\u5b58\u5728\uff0c\u662f\u4ee5\u524d\u7684\u503c\uff0c\u4fbf\u4e8e\u7406\u89e3] 0x11f c 0x11b b 0x117 a 0x113 rbp(foo \u6808\u5e95) rsp(main \u6808\u9876)[\u5b9e\u9645\u5e76\u4e0d\u5b58\u5728\uff0c\u662f\u4ee5\u524d\u7684\u503c\uff0c\u4fbf\u4e8e\u7406\u89e3] 0x099 123 0x095 456 rsp(foo \u6808\u9876)  \u5047\u8bbe foo \u662f\u9012\u5f52\u51fd\u6570\uff1a 0x113 rbp(\u65b0 foo \u6808\u5e95) rsp(\u65e7\u7684 foo \u6808\u9876)[\u5b9e\u9645\u5e76\u4e0d\u5b58\u5728\uff0c\u662f\u4ee5\u524d\u7684\u503c\uff0c\u4fbf\u4e8e\u7406\u89e3] 0x099 123 0x095 456 rsp(\u65b0 foo \u6808\u9876)  \u3002\u3002\u3002  <\/code><\/pre>\n
    \u6700\u7ec8\uff0c\u5982\u679c\u6ca1\u6709\u7ec8\u6b62\u6761\u4ef6\uff0c\u81ea\u7136\u6808\u7684\u5bb9\u91cf\u8d85\u8fc7\u64cd\u4f5c\u7cfb\u7edf\u5141\u8bb8\u7684\u4e00\u4e2a\u8fdb\u7a0b\u7684\u6700\u5927\u503c\uff0cstackoverflow \uff08\u6808\u6ea2\u51fa\uff09<\/p>\n
    \u5c3e\u8c03\u7528 (tail call) \u548c\u5c3e\u9012\u5f52 (tail recursion)<\/h5>\n
      \n
    • \n
      \u975e\u5c3e\u9012\u5f52\u7b97\u6cd5\uff0c\u9700\u8981 O (n) \u7684\u8c03\u7528\u6808\u7a7a\u95f4<\/p>\n<\/li>\n
    • \n
      \u5c3e\u9012\u5f52\u662f\u5c3e\u8c03\u7528\u7684\u7279\u6b8a\u60c5\u5f62\uff0c\u5c3e\u8c03\u7528\u5e76\u4e0d\u8981\u6c42 callee \u548c caller \u662f\u540c\u4e00\u4e2a\u51fd\u6570\u3002<\/p>\n<\/li>\n
    • \n
      \u5c3e\u9012\u5f52\u592a\u7279\u6b8a\u4e86\uff0c\u592a\u5bb9\u6613\u4f18\u5316\u4e86\uff0c\u6240\u4ee5\u5728\u6e90\u7801\u5c42\u9762\u5c31\u80fd\u505a\u9012\u5f52\u5230\u8fed\u4ee3\u7684\u53d8\u6362\u3002<\/p>\n<\/li>\n<\/ul>\n
      \u800c\u4e00\u822c\u7684\u5c3e\u8c03\u7528\uff0ccallee \u53ef\u80fd\u548c caller \u6ca1\u6709\u4efb\u4f55\u8054\u7cfb\uff0c\u4f18\u5316\u5c31\u53ea\u80fd\u5bc4\u671f\u671b\u4e8e\u7f16\u8bd1\u5668\u6216\u865a\u62df\u673a\u4e86\u3002<\/p>\n
      \u8bf4\u5230\u9012\u5f52\uff0c\u4e0d\u5f97\u4e0d\u8bf4\u9012\u5f52\u7684\u4e00\u79cd\u7279\u6b8a\u5f62\u5f0f\uff1a\u5c3e\u8c03\u7528 (tail call)<\/strong>\uff0c\u6307\u4e00\u4e2a\u51fd\u6570\u91cc\u7684\u6700\u540e\u4e00\u4e2a\u52a8\u4f5c\u662f\u8fd4\u56de\u4e00\u4e2a\u51fd\u6570\u7684\u8c03\u7528\u7ed3\u679c\u7684\u60c5\u5f62\u3002<\/p>\n
      \u800c**\u5c3e\u9012\u5f52 (tail recursion)**\u662f\u4e3a\u8c03\u7528\u7684\u7684\u7279\u6b8a\u60c5\u5f62\uff0ccallee \u548c caller \u662f\u540c\u4e00\u4e2a\u51fd\u6570\uff0c\u800c\u5c3e\u8c03\u7528\u5e76\u4e0d\u8981\u6c42 \u3002\u56e0\u6b64\u5c3e\u9012\u5f52\u53ef\u4ee5\u5f88\u7b80\u5355\u7684\u5c31\u53ef\u4ee5\u505a\u4f18\u5316\u3002<\/p>\n
      \u800c\u4e00\u822c\u7684\u5c3e\u8c03\u7528\uff0ccallee \u53ef\u80fd\u548c caller \u6ca1\u6709\u4efb\u4f55\u8054\u7cfb\uff0c\u4f18\u5316\u5c31\u53ea\u80fd\u5bc4\u671f\u671b\u4e8e\u7f16\u8bd1\u5668\u6216\u865a\u62df\u673a\u4e86\u3002<\/p>\n
      void foo(int a, b){     bar(a+12, b*99+a) } <\/code><\/pre>\n
      \u5c31\u662f\u5c3e\u8c03\u7528\u3002<\/p>\n
      \u800c<\/p>\n
      void foo(int a, b){     foo(a+12, b*99+a) } <\/code><\/pre>\n
      \u5c31\u662f\u5c3e\u9012\u5f52\u3002<\/p>\n
      \u4f46\u662f<\/p>\n
      void foo(int a, b){     12 + foo(a, b) } <\/code><\/pre>\n
      \u5c31\u5565\u90fd\u4e0d\u662f\uff0c\u53ea\u662f\u9012\u5f52\u3002<\/p>\n
      \u5c3e\u9012\u5f52\u7684\u4f18\u5316\u4ece\u51fd\u6570\u8c03\u7528\u7684\u6c47\u7f16\u5b9e\u73b0\u5f88\u5bb9\u6613\u7406\u89e3\uff0c\u53ea\u8981\u4e0d\u6d89\u53ca\u591a\u4f59\u7684\u53c2\u6570\uff08\u4e5f\u5c31\u662f\u4e0d\u7528\u989d\u5916\u7684\u6808\u5bb9\u91cf\u5b58\uff0c\u6808\u9876\u4e0d\u7528\u5f80\u4e0b\u6269\u5c55\u518d\u8c03\u7528\u56de\u51fd\u6570\uff09\uff0c\u76f4\u63a5\u5c31\u53ef\u4ee5\u6539\u53d8 %edi<\/code>, %esi<\/code>\u7684\u503c\uff0c\u91cd\u65b0\u8c03\u7528\u51fd\u6570\uff0c\u4e5f\u5c31\u662f\u8bf4\u4e0d\u7528\u4efb\u4f55\u989d\u5916\u7684\u6808\u53d8\u91cf\u3002<\/p>\n
      \u6211\u60f3\u4e3e\u4e00\u4e2a\u5c3e\u9012\u5f52\u4ee5\u53ca\u975e\u5c3e\u9012\u5f52\u7684\u4f8b\u5b50\u7684\u6c47\u7f16\u4ee3\u7801\u5728\u6b64\uff0c\u7ed3\u679c\u53d1\u73b0\uff0cgcc \u9664\u4e86\u5bf9\u5c3e\u9012\u5f52\u4f18\u5316\uff0c\u5df2\u7ecf\u7528\u4e86\u9ed1\u79d1\u6280\u4f18\u5316\u9012\u5f52- = – \uff08 clang \u6ca1\u6709\uff09\u3002<\/p>\n
         int sum (int n) {      if (n > 0)        return n + sum (n - 1);      else        return 0;    } <\/code><\/pre>\n
      \u4f1a\u4f18\u5316\u6210\uff1a<\/p>\n
         int sum (int n) {      int acc = 0;      while (n > 0) {        acc += n;        n -= 1;               }      return acc;    } <\/code><\/pre>\n
      \u53ea\u67e5\u5230 gcc \u7684\u6e90\u7801\u5b9e\u73b0\uff0c \u6839\u636e\u6ce8\u91ca\uff0c\u4f18\u5316\u7684\u89c4\u5f8b\u662f\u8fd9\u6837\u7684\uff1a<\/p>\n
      \u8bbe\u4e24\u4e2a\u53d8\u91cf a_acc = 0 , m_acc = 1<\/p>\n
      \u5bf9\u4e8ea + m* f(...)<\/code> \u7684\u9012\u5f52\u5f62\u5f0f\uff0c\u90fd\u62d3\u5c55\u6210a_acc + (a + m * f(...)) * m_acc<\/code>\uff0c<\/p>\n
      a_acc + (a + m * f(...)) * m_acc = (a_acc + a * m_acc) + (m * m_acc) * f(\u2026)<\/code><\/p>\n
      \u53ef\u4ee5\u53c2\u8003 gcc \u7684\u6e90\u7801 https:\/\/github.com\/gcc-mirror\/gcc\/blob\/master\/gcc\/tree-tailcall.c\uff0c \u6211\u6682\u65f6\u8fd8\u6ca1\u6709\u641e\u61c2\u8fd9\u4e2a\u4f18\u5316\u662f\u600e\u4e48\u505a\u7684\u3002<\/p>\n
      \u4efb\u4f55\u7684\u9012\u5f52\uff0c\u90fd\u53ef\u4ee5\u8f6c\u6362\u6210\u5c3e\u8c03\u7528\uff0c\u7136\u540e\u4f18\u5316\u3002<\/h5>\n
        \n
      • \n
        \u5982\u679c\u7b97\u6cd5\u672c\u8eab\u5c31\u662f\u5c3e\u9012\u5f52\u7684\uff0c\u90a3\u4e48\uff0c\u53ef\u4ee5\u76f4\u63a5\u6539\u5199\u6210\u8fed\u4ee3\uff0c\u8fd9\u662f\u5c3e\u8c03\u7528\u4f18\u5316\u7684\u4e00\u79cd\u7279\u4f8b\u3002<\/p>\n<\/li>\n
      • \n
        \u5982\u679c\u7b97\u6cd5\u672c\u8eab\u662f\u975e\u5c3e\u9012\u5f52\u7684\uff0c\u90a3\u4e48\uff0cCPS \u53d8\u6362\u53ef\u4ee5\u5c06\u7b97\u6cd5\u6539\u5199\u6210\u5c3e\u8c03\u7528\u5f62\u5f0f\uff0c\u4ece\u800c\u53ef\u4ee5\u8fdb\u884c\u5c3e\u8c03\u7528\u4f18\u5316\u3002<\/p>\n
        \u6539\u5199\u8fc7\u540e\u7684\u7a7a\u95f4\u590d\u6742\u5ea6\u4ecd\u7136\u662f O (n)\uff0c\u53ea\u4e0d\u8fc7\u662f\u4ece O (n) \u7684\u6808\u53d8\u6210\u4e86 O (n) \u7684 continuation chain\uff0c\u8fd9\u4e2a\u6539\u53d8\u5bf9\u652f\u6301\u5c3e\u8c03\u7528\u4f18\u5316\u7684\u7b80\u5355\u89e3\u91ca\u5668\u662f\u6709\u610f\u4e49\u7684\u3002<\/p>\n<\/li>\n<\/ul>\n
        \u6b64\u8282\u7684\u77e5\u8bc6\u7686\u6765\u81ea\u4e8e\u6b64\u7b54\u6848\uff0c\u5728\u4e0b\u53ea\u662f\u505a\u4e86\u63a8\u6f14\uff1a<\/p>\n
        https:\/\/www.zhihu.com\/question\/28458981\/answer\/40941851<\/p>\n
        \u6211\u6284\u88ad\u4e00\u4e0b\u7b54\u6848\u6765\u8bb2\u89e3\u4e00\u4e0b\u91cc\u9762\u7684Lua<\/code>\u4ee3\u7801\uff1a<\/p>\n
        -- \u9012\u5f52\u7248\u672c function sum(n)     if n == 0 then         return n     else         return n + sum(n - 1)     end end  -- \u5bf9\u4e8e sum\uff0c\u5f88\u5bb9\u6613\u627e\u5230\u5c3e\u9012\u5f52\u7248\u672c function sum_tail(n, result)     if n == 0 then         return result     else         return sum_tail(n - 1, result + n)     end end  -- \u5c3e\u9012\u5f52\u7248\u672c\u53ef\u4ee5\u76f4\u63a5\u7ffb\u8bd1\u6210\u8fed\u4ee3: \u5916\u5c42\u589e\u52a0 while true\uff0c\u5c06\u6bcf\u4e2a\u9012\u5f52\u8c03\u7528\u6539\u6210\u4fee\u6539\u5f62\u53c2\u518d continue function sum_iter(n, result)     while true do         if n == 0 then             return result         else             n, result = n - 1, result + n         end     end end  -- \u5bf9\u975e\u5c3e\u9012\u5f52\u7b97\u6cd5(sum)\u8fdb\u884c CPS \u53d8\u6362\uff0c\u4f7f\u5f97\u6240\u6709\u8c03\u7528\u90fd\u53d8\u6210\u5c3e\u8c03\u7528\uff0c\u4ece\u800c\u5141\u8bb8\u89e3\u91ca\u5668\u505a\u5c3e\u8c03\u7528\u4f18\u5316 function sum_cps(n, k)     if n == 0 then         return k(n)     else         return sum_cps(n - 1, function(result)             return k(result + n)         end)     end end  -- CPS + trampoline\uff0c\u4e0d\u518d\u4f9d\u8d56\u89e3\u91ca\u5668\u7684\u5c3e\u8c03\u7528\u4f18\u5316 function trampoline_driver(v, k)     while k do         v, k = k(v)     end     return v end function sum_trampoline(n, k)     if n == 0 then         return n, k     else         return nil, function()             return sum_trampoline(n - 1, function(result)                 return result + n, k             end)         end     end end  -- \u9012\u5f52\u6df1\u5ea6\u4e3a N local N = 100000 print(sum(N)) -- \u6ea2\u51fa print(sum_tail(N, 0)) -- \u5229\u7528\u89e3\u91ca\u5668\u7684\u5c3e\u8c03\u7528\u4f18\u5316\uff0c\u4e0d\u6ea2\u51fa print(sum_iter(N, 0)) -- \u76f4\u63a5\u6539\u5199\u6210\u8fed\u4ee3\uff0c\u5f53\u7136\u4e0d\u6ea2\u51fa print(sum_cps(N, identity)) -- \u4ece\u975e\u5c3e\u9012\u5f52\u7248\u672c sum \u6539\u5199\u6765\u7684\uff0c\u4f9d\u8d56\u89e3\u91ca\u5668\u7684\u5c3e\u8c03\u7528\u4f18\u5316\uff0c\u4e0d\u6ea2\u51fa print(trampoline_driver(sum_trampoline(N, identity))) -- \u65e2\u4e0d\u4f9d\u8d56\u89e3\u91ca\u5668\u7684\u5c3e\u8c03\u7528\u4f18\u5316\uff0c\u4e5f\u4e0d\u6ea2\u51fa <\/code><\/pre>\n
        \u9012\u5f52\uff0c\u5c3e\u9012\u5f52\u4ee5\u53ca\u8fed\u4ee3\u7684\u7248\u672c\u5f88\u5bb9\u6613\u770b\u61c2\u5c31\u4e0d\u8bb2\u4e86\uff0c\u4e3b\u8981\u8bb2\u8bb2\u9012\u5f52\u7684 CPS \u53d8\u6362\u4ee5\u53ca CPS + trampoline \uff08\u8e66\u5e8a\uff09\uff0c\u5373\u662f\u600e\u4e48\u628a\u9012\u5f52\u8f6c\u6210\u666e\u901a\u7684\u51fd\u6570\u94fe\u8c03\u7528\u3002<\/p>\n
        print(sum_cps(N, identity)) -- \u4ece\u975e\u5c3e\u9012\u5f52\u7248\u672c sum \u6539\u5199\u6765\u7684\uff0c\u4f9d\u8d56\u89e3\u91ca\u5668\u7684\u5c3e\u8c03\u7528\u4f18\u5316\uff0c\u4e0d\u6ea2\u51fa print(trampoline_driver(sum_trampoline(N, identity))) -- \u65e2\u4e0d\u4f9d\u8d56\u89e3\u91ca\u5668\u7684\u5c3e\u8c03\u7528\u4f18\u5316\uff0c\u4e5f\u4e0d\u6ea2\u51fa <\/code><\/pre>\n
        \u9012\u5f52\u7684 CPS \u53d8\u6362<\/h3>\n
        N = 10000 id = \u03bb x:x sum_cps(N, identity) -- \u5bf9\u975e\u5c3e\u9012\u5f52\u7b97\u6cd5(sum)\u8fdb\u884c CPS \u53d8\u6362\uff0c\u4f7f\u5f97\u6240\u6709\u8c03\u7528\u90fd\u53d8\u6210\u5c3e\u8c03\u7528\uff0c\u4ece\u800c\u5141\u8bb8\u89e3\u91ca\u5668\u505a\u5c3e\u8c03\u7528\u4f18\u5316 function sum_cps(n, k)     if n == 0 then         return k(n)     else         return sum_cps(n - 1, function(result)             return k(result + n)         end)     end end <\/code><\/pre>\n
        \u4ee5 sum_cps(2, \u03bb x:x)<\/code> \u4e3a\u4f8b\u5b50\uff0c\u5176\u4e2d\u8bbe\u51fd\u6570 id<\/code>\u4e3a \u03bb x : x<\/code><\/p>\n
        \u8c03\u7528\u5c55\u5f00\u5982\u4e0b\uff1a<\/p>\n
          \n
        • sum_cps(2, identity)<\/code><\/li>\n
        • return sum_cps(1, \u03bb result : id(result + 2) end)<\/code><\/li>\n
        • return sum_cps(0, \u03bb result : (\u03bb result : id(result + 2)) (result+1) )<\/code><\/li>\n
        • return \uff08\u03bb result : (\u03bb result : id(result + 2)) (result+1)\uff09(0)<\/code> \u6700\u540e\u8c03\u7528 0<\/li>\n<\/ul>\n
          \u628a 0 \u4ee3\u5165\u8fdb\u53bb\uff0c\u8ba1\u7b97\u6700\u540e\u7684\u7ed3\u679c\u5373\u53ef\uff0c\u4e5f\u5c31\u662f\uff1a<\/p>\n
            \n
          • (\u03bb result : id(result + 2)) (0+1)<\/code><\/li>\n
          • id(0+1 +2)<\/code><\/li>\n
          • id(3)<\/code><\/li>\n<\/ul>\n
            \u4e5f\u5c31\u662f 3\uff0c\u5176\u5b9eCPS \u8f6c\u6362<\/code>\u5c31\u662f\uff0c\u539f\u6765\u9012\u5f52\u7248\u672cOn<\/code> \u7684\u6808\u7684\u51fd\u6570\u53c2\u6570\uff0c\u8f6c\u6362\u6210\u4e00\u4e2a\u4e2a\u5c3e\u8c03\u7528\u51fd\u6570\u7684\u8c03\u7528\u94fe\u3002<\/p>\n
            \u8fd9\u6837\u5b50\u652f\u6301\u5c3e\u8c03\u7528\u7684\u7f16\u8bd1\u5668\uff08\u89e3\u91ca\u5668\uff09\u5c31\u80fd\u591f\u5bf9\u6b64\u8fdb\u884c\u4f18\u5316\uff0c<\/p>\n
            CPS + trampoline \uff08\u8e66\u5e8a\uff09<\/h4>\n
            identity = \u03bb x: x, nil trampoline_driver(sum_trampoline(N, identity))  -- CPS + trampoline\uff0c\u4e0d\u518d\u4f9d\u8d56\u89e3\u91ca\u5668\u7684\u5c3e\u8c03\u7528\u4f18\u5316 function trampoline_driver(v, k)     while k do         v, k = k(v)     end     return v end function sum_trampoline(n, k)     if n == 0 then         return n, k     else         return nil, function()             return sum_trampoline(n - 1, function(result)                 return result + n, k             end)         end     end end <\/code><\/pre>\n
            \u540c\u6837\uff0c\u6211\u4eec\u5c55\u5f00\u770b\u770b\uff1a<\/p>\n
              \n
            • trampoline_driver( sum_trampoline(3, identity) )<\/code><\/li>\n
            • trampoline_driver( nil, \u03bb: sum_trampoline(2, \u03bb result: result + 3, identity) )<\/code><\/li>\n
            • v, k = \u03bb: sum_trampoline(2, (\u03bb result: result + 3, identity) ) (nil)<\/code><\/li>\n
            • v, k = nil, (\u03bb: sum_trampoline(1, \u03bb result: result + 2, (\u03bb result: result + 3, identity) ) )(nil)<\/code><\/li>\n
            • v, k = nil, \u03bb: sum_trampoline(0, (\u03bb result: result + 1, \u03bb result: result + 2, (\u03bb result: result + 3, identity)) ) \uff08 nil \uff09<\/code><\/li>\n
            • v, k = 0, (\u03bb result: result + 1, \u03bb result: result + 2, (\u03bb result: result + 3, identity))(0)<\/code><\/li>\n
            • v, k = (\u03bb result: result + 1, \u03bb result: result + 2, (\u03bb result: result + 3, identity)) (0)<\/code><\/li>\n
            • v, k = (0 + 1, \u03bb result: result + 2, (\u03bb result: result + 3, identity))<\/code><\/li>\n
            • v, k = \u03bb result: result + 2, (\u03bb result: result + 3, identity)) (1)<\/code>\u3001<\/li>\n
            • v, k = 0 + 1 + 2, (\u03bb result: result + 3, identity))<\/code><\/li>\n
            • v, k = (\u03bb result: result + 3, identity)(3)<\/code><\/li>\n
            • v, k = 0 + 1 + 2 + 3, identity<\/code><\/li>\n
            • v, k = identity( 0 + 1 + 2 + 3)<\/code><\/li>\n
            • v, k = 6, nil<\/code><\/li>\n
            • return v<\/code><\/li>\n<\/ul>\n
              \u5c31\u662f\u8fd9\u6837\uff0c\u4e0d\u505c\u7684\u5faa\u73af\u5c06\u5f97\u5230\u7684\u672a\u6267\u884c\u7684\u51fd\u6570(A thunk, in programming language jargon, is simply some expression wrapped in an argument-less function.)\u4f20\u9012\u7ed9 k\uff0c\u6700\u540e\u53cd\u8fc7\u6765\u8c03\u7528 – = –<\/p>\n
              \u90a3\u4e3a\u4ec0\u4e48\u53eb trampoline \uff08\u8e66\u5e8a\uff09\u5462\uff1f<\/p>\n
              \u770b\u5b83\u6700\u540e\u5728\u5728\u6c42\u503c\u65f6\uff0c\u4e5f\u5373\u662f\uff1a<\/p>\n
              - v, k = 0, (\u03bb result: result + 1,  \u03bb result: result + 2, (\u03bb result: result + 3, identity))(0) - v, k = (\u03bb result: result + 1,  \u03bb result: result + 2, (\u03bb result: result + 3, identity)) (0) - v, k = (0 + 1,  \u03bb result: result + 2, (\u03bb result: result + 3, identity)) - v, k =  \u03bb result: result + 2, (\u03bb result: result + 3, identity)) (1)\u3001 - v, k = 0 + 1 + 2, (\u03bb result: result + 3, identity)) - v, k = (\u03bb result: result + 3, identity)(3) - v, k =  0 + 1 + 2 + 3,  identity <\/code><\/pre>\n
              \u662f\u4e0d\u662f\u76f8\u5f53\u4e8e\u5f39\u8d77\u6765\u4e00\u4e2a v\uff0c\u518d\u56de\u5230\u53bb\u539f\u6765\u7684\u8e66\u5e8a\uff08\u5728\u8fd9\u91cc\u662f k \uff09\uff0c\u91cd\u65b0\u6c42\u503c\u628a v \u5f39\u51fa\u6765\u3002<\/p>\n
              \u7ec4\u5408\u5b50<\/h3>\n
              \u9012\u5f52\u662f\u9760\u6709\u540d\u5b57\u7684\u51fd\u6570\u6765\u5b9e\u73b0\u7684\u3002<\/p>\n
              let fun = \u03bb x: fun(x) fun(x) # \u8fd9\u6837\u5b50\u662f\u9012\u5f52\u51fd\u6570 <\/code><\/pre>\n
              \u5982\u679c\u5728\u6ca1\u6709\u5b9e\u73b0\u53d8\u91cf\u7ed1\u5b9a\u7684\u89e3\u91ca\u5668\u91cc\uff08\u4f8b\u5982\u81ea\u5df1\u5199\u7684\u7b80\u964b\u7684\u89e3\u91ca\u5668\uff09\uff0c\u600e\u4e48\u6837\u5b9e\u73b0\u9012\u5f52\u5462\uff1f<\/p>\n
              \u03bb x: ???(x)<\/code> \u91cc\uff0c ???<\/code> \u8be5\u586b\u4e0a\u4ec0\u4e48\u5462\uff1f<\/p>\n
              \u5728 lambda \u6f14\u7b97\u91cc\u786e\u5b9e\u6ca1\u6709 let<\/strong>\uff0c \u5bf9\u6b64\u524d\u4eba\u5df2\u7ecf\u627e\u51fa\u4e86\u89e3\u51b3\u65b9\u6cd5\uff0c\u8981\u8bb2\u6e05\u695a Y \u7684\u6765\u9f99\u53bb\u8109\uff0c\u53ef\u662f\u975e\u5e38\u96be\u3002\u4e8b\u5b9e\u4e0a\uff0c\u8fde\u53d1\u73b0\u5b83\u7684\u54c8\u65af\u5361\u5927\u795e\u4e5f\u611f\u6168\u4e0d\u5df2\uff0c\u89c9\u5f97\u81ea\u5df1\u6361\u4e86\u4e2a\u5927\u4fbf\u5b9c\uff0c\u8fd8\u56e0\u6b64\u5c06 Y \u7eb9\u5728\u4e86\u81ea\u5df1\u7684\u80f3\u818a\u4e0a\u3002\u6211\u73b0\u5728\u5c31\u53ea\u8bb2 Y \u7684\u7528\u5904\u4e86\u3002<\/p>\n
              Y<\/code> \u5927\u6982\u662f\uff0c\u5148\u5236\u9020\u4e00\u4e2a\u4e0d\u65ad\u7684\u8fd4\u56de\u81ea\u8eab\u7684\u6574\u4e2a\u51fd\u6570\u4f53\uff0c\u6700\u540e\u5230\u4e86\u8fd4\u56de \u81ea\u8eab\u7684\u51fd\u6570\u4f53=\u771f\u6b63\u7684\u81ea\u8eab<\/code> [\u4e5f\u5c31\u662f\u6570\u5b66\u4e0a\u7684\u4e0d\u52a8\u70b9\uff0c\u5c06\u51fd\u6570\u5e94\u7528\u4e8e\u81ea\u8eab\u5f97\u5230\u81ea\u8eab\uff0cx = f(x) ] \u65f6\uff0c\u5c31\u5b9e\u73b0\u4e86\u9012\u5f52\u4e86 – = -\uff0c\u6709\u5174\u8da3\u53ef\u4ee5\u67e5\u67e5\u3002<\/p>\n
              \u770b\u5230\u6700\u540e\u7684\u4f60<\/h1>\n
               <\/p>\n
              \u672c\u6587\u53ea\u662f\u629b\u7816\u5f15\u7389\uff1b P<\/p>\n
              \u5728\u4e0b\u5728 Shopee \u5de5\u4f5c\uff0c\u89c9\u5f97\u6c34\u6df1\u706b\u70ed\u4e0d\u559c\u6b22\u52a0\u73ed\u7684\u540c\u5b66\u53ef\u4ee5\u8003\u8651\u4e00\u4e0b<\/p>\n
              \u62d2\u7edd 996\uff0c\u90a3\u5c31\u6765 shopee\uff0c\u5f85\u9047 work life balance \u4e24\u4e0d\uff1a https:\/\/www.v2ex.com\/t\/672561#reply1<\/p>\n<\/p><\/div>\n
               \u5927\u4f6c\u6709\u8a71\u8aaa<\/b> (0<\/span>)        <\/div>\n
               <\/div>\n<\/p><\/div>\n<\/p><\/div>\n
                \n
              • \n","protected":false},"excerpt":{"rendered":"
                \u9012\u5f52\u7684\u5b9e\u73b0 \u2014\u2014 \u5faa\u73af\uff0c\u6c47\u7f16\uff0c C…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[],"tags":[],"_links":{"self":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts\/107001"}],"collection":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=107001"}],"version-history":[{"count":0,"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts\/107001\/revisions"}],"wp:attachment":[{"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=107001"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=107001"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=107001"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}