1 解释

format是GCC提供的众多attribute之一，这个attribute的作用是告知编译器检查传给相应函数的参数中的格式字符串：

/* 这是用在声明的情况，用在定义也可以 */
/* 一般全局函数用在声明，这样包含相应头文件并使用该全局函数的源码就会被编译器做相应检查 */
/* 而局部函数就在本文件使用，无需声明，那么这个attribute可以直接用在定义 */
extern int
my_printf(void *my_object, const char *my_format, ...)
__attribute__ ((format(archetype, string-index, first-to-check)));

在这个例子中也就是检查my_format参数。

熟悉c语言的同学应该知道，像printf等函数使用时，有格式字符串参数。格式字符串中使用诸如%d、%c这样的格式控制字符来进行指出后续参数的类型以及格式。但是格式控制字符并不是随意指定的，比如printf中%b、%j就是不存在的。此外，也不能出现指定了%d，但后面的变参部分却没有传整形参数或传的是其它类型的参数。换句话说，格式字符串是有一定要求的。而且，不同的用到格式字符串的函数对于格式字符串的要求也是不同的，比如strftime函数，该函数的格式字符串中就有%b，表示月份的简写。

假如我想要上例中的my_printf的格式字符串应该和printf的格式字符串风格一致，并希望编译器对此做检查，那么就可以这样使用format属性：

extern int
my_printf(void *my_object, const char *my_format, ...)
__attribute__ ((format(printf, 2, 3)));

现在解释一下archetype、string-index、first-to-check的含义：

名称	含义
archetype	检查格式字符串参数和archetype指定的函数的格式字符串风格是否一致
string-index	要检查的格式字符串参数在函数原型中的位置(第几个参数)，从1开始算
first-to-check	根据格式字符串去检查的第一个参数的位置，通常就是变参的位置

仍以strftime函数来说，这个函数没有变参部分，像这种或类似的情况，那么first-to-check应该指定为0。此时，编译器仅检查格式字符串的风格，而不会检查变参部分的类型是否相匹配。

2 举例

在linux kernel中就使用到了这个attribute，比如说下面的宏定义：

#define __printf(a, b)                  __attribute__((__format__(printf, a, b)))

在kobject.h中，有这样的函数声明：

extern __printf(2, 3)
int kobject_set_name(struct kobject *kobj, const char *name, ...);
extern __printf(2, 0)
int kobject_set_name_vargs(struct kobject *kobj, const char *fmt,va_list vargs);

使用format属性可以让编译器多做一些检查，以免我们编程时犯错误。如果一些本来难以察觉的错误能够通过一个属性的使用，使得编译器帮我们检查出来，那么，这对项目的开发是很有益的。

GCC的attribute——format相关推荐

Kernel: GCC_PLUGIN_LATENT_ENTROPY gcc plugin attribute latent_entropy
文章目录使用定义GCC_PLUGIN_LATENT_ENTROPY 实现系统已有random的实现,非latent_entropy 使用 #ifndef CHECKER #ifdef LATEN ...
GCC中的弱符号与强符号
转载自 https://www.cnblogs.com/kernel_hcy/archive/2010/01/27/1657411.html 我们经常在编程中碰到一种情况叫符号重复定义.多个目标文件中 ...
【GCC】gcc警告选项汇总--编辑中|gcc编译选项
目录前言请求或取消警告选项 GCC编译选项参考原文:https://blog.csdn.net/qq_17308321/article/details/79979514 前言警告:不是错误的, ...
gcc警告选项汇总　转
---------------- 原文链接:https://blog.csdn.net/qq_17308321/article/details/79979514 参考资料:https://gcc.gn ...
深入剖析 iOS 编译 Clang LLVM(编译流程)
2019独角兽企业重金招聘Python工程师标准>>> 前言 iOS 开发中 Objective-C 和 Swift 都用的是 Clang / LLVM 来编译的.LLVM是一个模块 ...
【嵌入式】C语言高级编程-变参函数(08)
00. 目录文章目录 00. 目录 01. format属性声明 02. 变参函数的设计思路 03. 变参函数宏 04. 应用示例 05. 附录 01. format属性声明 GNU 通过 attr ...
深入剖析 iOS 编译 Clang / LLVM
前言 2000年,伊利诺伊大学厄巴纳-香槟分校(University of Illinois at Urbana-Champaign 简称UIUC)这所享有世界声望的一流公立研究型大学的 Chris ...
pytorch学习笔记（十二）：详解 Module 类
Module 是 pytorch 提供的一个基类,每次我们要搭建自己的神经网络的时候都要继承这个类,继承这个类会使得我们搭建网络的过程变得异常简单. 本文主要关注 Module 类的内部是怎么样 ...
djangorestframework源码分析2：serializer序列化数据的执行流程
djangorestframework源码分析本文环境python3.5.2,djangorestframework (3.5.1)系列 djangorestframework源码分析-serial ...

GCC的attribute——format

1 解释

2 举例

GCC的attribute——format相关推荐

最新文章

热门文章