真正的C程序要从可移植性开始

注意以写的文章,所有理论都是基于类Unix系统的C程序编写。

平台可移植性


好的程序即使切换到任意操作系统平台并使用任意的编译器编译,也不应该出现太多的警告,更不能出现编译不通过的情况了。

  • 要编写可移植性的代码,首先要知道当前编译的系统是什么系统,一般都是通过编译器内置的预编译宏进行确认,如下:
//平台检测
#if !defined(__LINUX__) && (defined(__linux__) || defined(__KERNEL__) \
    || defined(_LINUX) || defined(LINUX) || defined(__linux))
  #define  __LINUX__    (1)
#elif !defined(__APPLE__) && (defined(__MacOS__) || defined(__apple__))
  #define  __APPLE__    (1)
#elif !defined(__CYGWIN__) && (defined(__CYGWIN32__) || defined(CYGWIN))
  #define  __CYGWIN__   (1)
#elif !defined(__WINDOWS__) && (defined(_WIN32) || defined(WIN32) \
    || defined(_window_) || defined(_WIN64) || defined(WIN64))
  #define __WINDOWS__   (1)
#elif !(defined(__LINUX__) || defined(__APPLE__) \
  || defined(__CYGWIN__) || defined(__WINDOWS__))
  #error "`not support this platform`"
#endif
  • 确定平台后,定义一个宏。然后使用这个宏去进行预编译处理,比如只有linux支持<sys/epoll.h>这个头文件,如下:
#ifdef __LINUX__
  #include <sys/epoll.h>
#endif

编译器可移植性


  • 除了平台会关联移植性,编译器也会关联,比如类Unix系统一般都使用gcc编译器,而该编译器提供了很多特性,首先确定编译器类型,如下:
//编译器版本
/* gcc version. for example : v4.1.2 is 40102, v3.4.6 is 30406 */
#define GCC_VERSION (__GNUC__ * 10000 + __GNUC_MINOR__ * 100 + __GNUC_PATCHLEVEL__)
  • 编译器特性

    本人不是很厉害,现在仅仅使用下面两个很有用的特性。

    • 特性一:有的时候我们需要知道printf()类函数输入的参数是否合法,这样可以在编译时就发出警告,而不至于因为格式错误发生运行时错误,那么可以使用如下编译器提供的特性:
    //字符串格式化参数检查
    #if !defined(__printflike) && defined(GCC_VERSION)
        #define __printflike(fmtarg, firstvararg) __attribute__((__format__(__printf__, fmtarg, firstvararg)))
    #endif
    
    • 特性二:由于cpu在处理指令时,可以读取多条,特别是在处理条件跳转指令时,如果能预判断条件发送的概率,那么就可以提高处理指令的速度(这个原理我只一知半解,所以不能详细说出原理,了解到读者请指教),如下:

//逻辑跳转优化

if GCC_VERSION

/条件大多数为真,与if配合使用,直接执行if中语句/
#define likely(x) __builtin_expect(!!(x), 1)
/条件大多数为假,与if配合使用,直接执行else中语句/
#define unlikely(x) __builtin_expect(!!(x), 0)

else

#define likely(x)     (!!(x))
#define unlikely(x)   (!!(x))

endif


* 使用编译器特性进行编程
- 定义一个格式化日志输出函数,请类比`printf()`的使用方式;在函数声明后跟__printflike(6,7) 表面我们要检查类格式化函数的格式字符串从第六个参数开始,而被格式化的变参从第七个参数开始,如下:
> 以后我讨论我的这套日志输出系统,这里的声明中函数有些不同,以后我会说明。

```c
/**
 * 写日志
 * @param cfg 日志配置数据
 * @param level 当前需要打印的日志级别
 * @param func 该条日志的输出所在函数名
 * @param file 该条日志的输出所在文件名
 * @param line 该条日志的输出所在文件行
 * @param formate 该条日志输出的格式
 * @param ... 依据格式输出的边参列表
 * @return 0 成功; -1 失败
 */
int (SLogWrite)(SLogCfgT *cfg, const SLogLevelT *level,
  const char *func, const char *file, int line,
  const char *formate, ...) __printflike(6, 7);
//正确的使用方式
...
/**默认日志级别定义表*/
extern const SLogLevelT g_slogLevels[];
/**默认日志配置*/
extern SLogCfgT g_slogCfg;
(SLogWrite)(&g_slogCfg, &g_slogLevels[1], __func__, __file__, __line__, "%s", "test macro of __printflike(x, y)");
//错误的使用方式
(SLogWrite)(&g_slogCfg, &g_slogLevels[1], __func__, __file__, __line__, "%d", "test macro of __printflike(x, y)");

第一条调用不会发生警告,而第二条会发生警告,原本是希望将变参当作整数处理,可是却传入了一个字符串,这会产生一条编译警告,而警告可能会使程序运行产生未知行为,担任有时候也不会出什么问题,但有时会使程序蹦掉,所以不能存在侥幸心理。

  • 条件预判断。几乎所有的C程序都需要检查变量的合法性,比如我们定义了一个结构体,但是可能忘记初始化结构体了,如果这样交给函数处理,可能发送未知行为,而导致错误的结果,甚至发生程序蹦掉。如下:
...
struct T {
    void *data;
    ...
};
void deal(struct T *ptr) {
  int *data = (int*)ptr->data;
  printf("%d\n", *data);
}
struct T data;
deal(&data);
...

如果未初始化的data.data指向的是一个不可读写的指针地址,那么在deal()中解引用一定会使程序引发段错误而蹦掉。下面我们定义一系列宏,进行判断,但是发生错误的情况是甚少的,所以为效率考虑,我们在宏中使用likely()条件预判断:

/*
 * 魔数
 * 结构体中设置一个magic的成员变量,以检查结构体是否被正确初始化
 */
#if !defined(OBJMAGIC)
#define OBJMAGIC (0xfedcba98)
//设置魔术
#define REFOBJ(obj)                \
  ({                   \
      bool _ret = false;       \
      if (likely((obj))) {         \
          (obj)->magic = OBJMAGIC; \
          _ret = true;         \
      }                \
      _ret;                \
  })
//重置魔数
#define UNREFOBJ(obj)              \
  ({                   \
      bool _ret = false;       \
      if (likely((obj) &&      \
      (obj)->magic == OBJMAGIC)) { \
          (obj)->magic = 0;    \
          _ret = true;         \
      }                \
      _ret;                \
  })
//验证魔数
#define ISOBJ(obj) \
  (likely((obj) && (obj)->magic == OBJMAGIC))
//断言魔数
#define ASSERTOBJ(obj) \
  (assert(ISOBJ((obj))))
#endif  /* if !defined(OBJMAGIC) */

使用如下:

struct T {
    int magic;
    void *data;
    ...
};
 void deal(struct T *ptr) {
    if(!ISOBJ(ptr)) return;
    int *data = (int*)ptr->data;
    printf("%d\n", *data);
}
void initobj(struct T *ptr, void *data) {
    if(!REFOBJ(&data) || !data) return;
    ptr->data = data;
}
...
struct T data;
int value = 1;
initobj(&data, (void*)&value);
//下个初始化不会再次初始化结构体
initobj(&data, (void*)&value);
deal(&data);

虽然每个结构体必须要保留一个magic这个字段,会占用一些时间和空间,但这样做是值得的,至少你可以少些很多代码来证明这个结构体被正确的初始化过,可以放心的使用。你应该保证你的初始化函数是预期的执行过。当然你也可以使用ASSERTOBJ ()判断结构体,在发现未初始化后,立马abort()程序,然后根据日志纠正错误,这至少比莫名的段错误要好很多。C就是这样,你要做很多工作来保证你的程序的正确性,这个是你的职责所在,不能嫌麻烦。关键是你要以何种灵活简单高效的方法来做这个事情。

接下来讨论什么


在多核cpu流行的今天,多线程编程是必不可少的技能,而在原子操作是多线程里占很重要的地位,下一节我们将讨论原子操作的运行,并用原子操作实现一个比较高级的同步锁,该锁能很好的检查死锁,并将其修复,而且速度比起POSIX的互斥量快很多,而切比起自旋锁也多了检查死锁和可以递归操作的特性。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,222评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,455评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,720评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,568评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,696评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,879评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,028评论 3 409
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,773评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,220评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,550评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,697评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,360评论 4 332
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,002评论 3 315
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,782评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,010评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,433评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,587评论 2 350

推荐阅读更多精彩内容

  • mean to add the formatted="false" attribute?.[ 46% 47325/...
    ProZoom阅读 2,694评论 0 3
  • make menuconfig过程解析作者 codercjg 在 28 九月 2015, 5:27 下午 make...
    codercjg阅读 942评论 0 1
  • 题目来源:1、中兴、华为、慧通、英华达、微软亚洲技术中心等中外企业面试题目;2、C 语言面试宝典(林锐《高质量编程...
    月震阅读 1,803评论 0 1
  • 原文链接:Binder系列5—注册服务(addService) - CSDN博客 framework/native...
    Walter_Hu阅读 1,282评论 0 1
  • 最近想学习弹吉他,看教程,一头雾水。哪位大神可以带一下我?
    小芽子子子阅读 175评论 0 0