C/C++编程：attribute((format(printf, a, b)))

àì夳堔傛蜴生んèń 2023-01-03 01:41 88阅读 0赞

# 理论 #

*  在C语言编程过程中，我们常常会实现一些可变参数的函数调用(类scanf、printf函数)，变参函数在我们编程过程中带来了很大的方便，但是也有一些问题，即我们在调用可变参数的函数的时候，**默认情况下编译器检查不出可变参数的类型或者个数是否正确**，这就导致使用变参函数的时候，若稍不注意写错了参数，很难被发现和定位。
 *  `_attribute_((format(printf, 2, 3)))`的作用就是用来解决这个问题，它用于函数声明，作用是提示编译器检查函数调用的过程中，可变参数部分按照printf的规则进行检查，若参数的个数或者类型不匹配，编译过程中将会发出警告,这就使得上面提到的问题在编译期间就能发现。注意编译时要加上 –Wall才可以。

// 用法原型
    // archetype:为按照那种风格进行校验，如printf/scanf等
    // string-index:格式化format字符串所在的位置,如void test(testA, format,...)，此时为2
    // first-to-check:第一个可变参数的位置，如void test(testA, format,...)，此时为3
    __attribute__((format(archetype, string-index, first-to-check)))

注意：string-index和first-to-check值选取的时候，若变参函数是类成员函数，这时函数展开后第一个参数为this指针，这个也要考虑到位置中。

# 实例 #

## 普通函数 ##

在普通函数中，string-index和first-to-check参数值即为实际的位置，如下面的测试样例string-index=1,first-to-check=2

#include <stdio.h>
    #include <stdarg.h>
    
    #if 1
    #define CHECK_FMT(a, b)	__attribute__((format(printf, a, b)))
    #else
    #define CHECK_FMT(a, b)
    #endif
    
    void TRACE(const char *fmt, ...) CHECK_FMT(1, 2);
    
    void TRACE(const char *fmt, ...)
    {
        
        va_list ap;
    
        va_start(ap, fmt);
    
        (void)printf(fmt, ap);
    
        va_end(ap);
    }
    
    int main(void)
    {
        
        TRACE("iValue = %d\n", 6);
        TRACE("iValue = %d\n", "test");
    
        return 0;
    }

[**attribute**((format(printf, a, b)))][attribute_format_printf_ a_ b]

**类成员函数**暂时没有用到，不研究了

[attribute_format_printf_ a_ b]: https://blog.csdn.net/huangjh2017/article/details/76944564