c语言下利用p99:模拟实现try-cath-finally

爱被打了一巴掌 2022-05-21 02:46 129阅读 0赞

这阵子在C语言环境做开发，写了大量宏函数，写得头疼，但使用宏函数模板的确可以提高开发效率及代码质量，所以还得硬着头皮写，在一个偶然的机会发现有个叫[P99][]的开源项目，[P99][]提供了大量的的宏和函数定义，用于简化C编程,。说白了，[P99][]提供的就是一大堆`.h`头文件，`.h`文件中定义了大量的宏函数，利用这些宏函数可以简化C代码开发。

比如下面用了[P99][]中提供的例程实现了C++中才有的try-catch-finally语句：

#include <stdio.h>
    #include <stdlib.h>
    #include <string.h>
    #include <math.h>
    #include <stdatomic.h>
    #include <p99_try.h>
    void test_try(){
        unsigned char*volatile buffer = 0;
        P99_TRY {
          buffer = malloc(200);
          if (!buffer) P99_THROW(thrd_nomem);
          printf("return %s\n",__FUNCTION__);
          // do something complicated with buffer
          //favorite_func(buffer);
        } P99_FINALLY {
          free(buffer);
        }
    
    }
    int main(void) {
        test_try();
        return EXIT_SUCCESS;
    }

# 定义enum #

// 定义名为`enum_test`,包含`hello,world)`两个值的枚举类型
    P99_DECLARE_ENUM(enum_test,hello,world);

宏展开后的代码

typedef enum enum_test { hello,world ,                                                \
                   /*! upper bound of the @ref T constants */                     \
                   enum_test_amount,                                        \
                   /*! the largest @ref T constant */                             \
                   enum_test_max = ((size_t)(enum_test_amount) - 1u), \
                   /*! the smallest @ref T constant */                            \
                   enum_test_min = 0                                        \
    } enum_test;                                                                          \
    __attribute__((__const__))                                             \
    __attribute__((__always_inline__)) __inline__                                                     \
    char const* enum_test_getname(enum_test p00_x) {                 \
      switch ((uintmax_t)p00_x) {                                  \
        case hello: return "hello"; case world: return "world";                       \
      default: return "((" "enum_test" ")unknown value)";                   \
      }                                                            \
    }                                                              \
    extern void p00_harmless_declaration_declare_enum_getnameenum_test(void);                                     \
    __attribute__((__pure__))                                              \
    __attribute__((__always_inline__)) __inline__                                                     \
    enum_test enum_test_parse(char const p00_s[]) {                  \
      enum_test p00_ret = enum_test_amount;                          \
      if (p00_s) {                                                 \
        size_t p00_c = 0;                                          \
        size_t const p00_len = strlen(p00_s);                      \
        if (!memcmp("hello", p00_s, p00_len)) {               \
      ++p00_c;                                                     \
      p00_ret = hello;                                                 \
     }; if (!memcmp("world", p00_s, p00_len)) {               \
      ++p00_c;                                                     \
      p00_ret = world;                                                 \
     };                      \
        if (p00_c > 1) p00_ret = enum_test_amount;           \
      }                                                            \
      return p00_ret;                                              \
    }                                                              \
    extern void p00_harmless_declaration_declare_enum_parseenum_test(void)

![这里写图片描述][70]

# 定义struct #

P99_DEFINE_STRUCT(struct_test,int hello,char* world);

展开后的代码

struct fl_buf_info {                                                  \
      int hello; char* world;                             \
    };                                                             \
    typedef int hello_P99_typedef_of_fl_buf_info; 
    typedef char* world_P99_typedef_of_fl_buf_info

# 参数判断 #

`P99_IS_ONE(first,...)`可以检查`first`是否属于`__VA_ARGS__`参数列表中的一个

// 先定义一个包含所有参数名的enum
    P99_DECLARE_ENUM(enum_names,tom,jerry,sam,smith,trump,bill)
    
        if (P99_IS_ONE(tom, jerry,sam,smith,trump,bill)) {
          // one of the guys is 23, do something special
        } else {
          // handle the base case
        }

# 函数声明 #

// 定义一个函数声明
    P99_PROTOTYPE (void,hello,int,void*);

展开

void (hello)(int,void*);     \
      typedef void hello_prototype_ret;                   \
      typedef int hello_prototype_0; typedef void* hello_prototype_1

还有很多其他的功能不一一列举，参见p99手册 [《P99 - Preprocessor macros and functions for C99 and C11  
》][P99 - Preprocessor macros and functions for C99 and C11]。  
为了快速熟悉P99的内容建议从分类说明入手[《Modules》][Modules]

# 安装 #

p99提供的只是一堆头文件，所以从[http://p99.gforge.inria.fr/][P99] 这里下载[p99.zip][]或[p99.tgz][]解压到自己的项目文件夹下，并添加到include搜索路径就算安装完成了。  
建立下载说明文档[p99-html.zip][]到本地以便随时查看，内容实在太多，不看文档搞不清楚。

# 参考资料 #

[《P99\_TRY》][P99_TRY]  
[《P99\_IS\_ONE》][P99_IS_ONE]

[P99]: http://p99.gforge.inria.fr/
[70]: /images/20220521/94e4d14e10f14423a2d72a8320c95f2b.png
[P99 - Preprocessor macros and functions for C99 and C11]: http://p99.gforge.inria.fr/p99-html/index.html
[Modules]: http://p99.gforge.inria.fr/p99-html/modules.html
[p99.zip]: http://p99.gforge.inria.fr/p99.zip
[p99.tgz]: http://p99.gforge.inria.fr/p99.tgz
[p99-html.zip]: http://p99.gforge.inria.fr/p99-html.zip
[P99_TRY]: http://p99.gforge.inria.fr/p99-html/group__try_ga9162d721fecf634c028ab873912c9cd0.html#ga9162d721fecf634c028ab873912c9cd0
[P99_IS_ONE]: http://p99.gforge.inria.fr/p99-html/group__statement__lists_gad59dc141fe8aa64f36caf5682da275f6.html#gad59dc141fe8aa64f36caf5682da275f6