编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配相关的知识,希望对你有一定的参考价值。

背景

在输出日志时 被 RUNLOG_DEBUG("%s,%d", para_int, para_str.c_str()) 坑过, 才知道 能校验 格式化字符串和 字段本身是否匹配 的重要性;

参考文献:https://www.cnblogs.com/marvin-notes/p/4482805.html 感谢原作者

方法

attribute format 该属性 可以给被声明的 函数 加上 类似 printf /scanf 的特征, 能用于 编译器检查 函数声明和时间调用参数直接的 格式化字符串是否 匹配; GNU CC需要使用 –Wall 才能使用

语法: format (archetype, string-index, first-to-check)

archetype :  printf, scanf, strftime或strfmon,  表示按照那种风格进行检查
string-index: 传入参数的第几个参数是格式化字符串, 就是 "%s,%d" 的下标(从1 开始)
first-to-check: 指定从 函数的 第几个参数开始 校验

实例:

__attribute__((format(printf,m,n)))

m:第几个参数为格式化字符串(format string)
n:参数集合中的第一个,即参数“…”里的第一个参数在函数参数总数排在第几.这里需要注意,有时函数参数里还有“隐身”的,如C++的类成员函数的第一个参数实际上是"隐身"的"this"指针;

代码实例

#include <stdarg.h>
#include <string>
#include <stdio.h>

using namespace std;

#define mm_p(fmt, args...) myprint(fmt, args)
void myprint(const char *fmt,...)  __attribute__((format(printf,1,2)));
void myprint(const char *fmt,...)
{
    va_list ap; 
    va_start(ap, fmt);
    vprintf(fmt,ap);
    va_end(ap);
}

struct ss
{
public:
    void pri(const char* fmt, ...) __attribute__((format(printf,2,3)))
    {   
    }   
};
int main()
{

    mm_p("dfjkaj[%d][%s]
",123,456);
    myprint("dfjkaj[%d][%d]
",123,456);

    ss s;
    s.pri("%s[%s", "dd",456);
}
g++ -Wall test_var.cpp -o test_var
test_var.cpp: In function ‘int main()‘:
test_var.cpp:27: warning: format ‘%s‘ expects type ‘char*‘, but argument 3 has type ‘int‘
test_var.cpp:31: warning: format ‘%s‘ expects type ‘char*‘, but argument 4 has type ‘int‘

以上是关于编译器检查函数声明和函数实际调用参数之间的格式化字符串是否匹配的主要内容,如果未能解决你的问题,请参考以下文章

C语言基础:函数(定义函数声明函数调用函数(传值调用 / 引用调用)函数的参数(形参 / 实参))

c语言中函数定义和声明有啥区别

模板函数

为啥一个函数在一个文件中声明几次都可以?

急求一个c语言定义函数的程序,有一个参数但无返回值,实现输出一行n

JavaScript学习系列博客_16_JavaScript中的函数的参数返回值