做了个玩具

dorodaloo

回复 4# zylthinking

羡慕，十分佩服
想问问C的实现
你C 怎么写？

gego

gcc7没问题啊

xiao0613cn

回复 1# zylthinking

哈，楼主，我也写了一个差不多的，也不需要libstdc++支持，普通gcc编译cpp文件即可用：

1. /* godefer():
   
2.         FILE *fp = fopen(path);
   
3.         if (fp == NULL)
   
4.                 return;
   
5.         godefer(FILE*, fp, fclose(fp));
   
6.         ......
   
7.         fread, fwrite......
   
8. */
   
9. #define defer_struct(name, type, member, close) \
   
10. struct name { \
    
11.         type member; \
    
12.         name(type v) :member(v) { } \
    
13.         ~name() { close; } \
    
14.         type operator->() { return member; } \
    
15.         operator type&() { return member; } \
    
16. }
    
17. 
    
18. #define defer_close2(line, type, member, close) \
    
19.         defer_struct(ac_##line##_t, type, member, close) ac_##line(member)
    
20. #define defer_close(line, type, member, close) \
    
21.         defer_close2(line, type, member, close)
    
22. #define godefer(type, member, close) \
    
23.         defer_close(__LINE__, type, member, close)

复制代码

还是楼主的好用，不需要写类型

gego

楼主能否解释一下，为什么需要手动保存和恢复esp？按理说不是setjump自动保存，然后longjump自动恢复的吗？想不清楚了

sync550b

#include <setjmp.h>
#include <stdio.h>

struct defer_t {
    jmp_buf env1;
    jmp_buf env2;
    long rsp;

    ~defer_t() {
        int n = setjmp(env2);
        asm("mov %%rsp, %0\n" :"=m"(rsp) ::);
        //printf("save rsp %p %p %p\n", (void *) rsp, this, __builtin_return_address(0));

        if (n == 0) {
            longjmp(env1, 1);
        }
    }
};

#define defer2(l, ...) \
({ \
    defer_t* np = &defer_node_##l; \
    if (1 == setjmp(np->env1)) { \
        __asm__ __volatile ("mov %0, %%rsp\n" : :"m"(np->rsp) :"rsp"); \
        __VA_ARGS__; \
        longjmp(np->env2, 1); \
    } \
    np; \
})
#define defer1(l, ...) defer_t defer_node_##l, *dn_ptr_##l = defer2(l, ##__VA_ARGS__)
#define defer(...) defer1(__line__, ##__VA_ARGS__)

int tests()
{
    struct a{
        ~a() {
            printf("hello world\n");
        }
    };

    int var = 9;
    if (var == 9) {
        puts("normal 1");
        defer(delete (new a));
    }

    defer(printf("deffered %d\n", var));
    puts("normal 2");
    return 0;
}

int main()
{
    tests();
    puts("sss\n");
    return 0;
}

复制代码

clang 可以看起来正常运行， gcc 不带 -O 编译可以运行， 其他的失败

codechurch

回复 9# cokeboL

可以让C拥有go （当然没有语法糖了）的能力，鄙人已经完美做到了。

go存在的意义不大。

lxyscls

回复 17# codechurch

除了defer还有啥？开个源？

codechurch

回复 18# lxyscls

还就没有defer，因为defer是语法糖。

有协程（unix用ucontext实现，windows用fiber实现），协程调度器，同步原语抽象模型，进程内channel（模仿go），嵌套等待机制，等等。

总之，实现了：   如写同步一样地写异步程序，我称之为“全异步编程”。

cokeboL

回复 19# codechurch

你看看go的发展和应用，再对比下c++的，再说go有没有意义吧