__attribute__((sentinel))

__attribute__((sentinel))的作用是提醒程序员:“此可变参数函数需要一个NULL作为最后一个参数。”,而这个NULL参数一般被叫做“哨兵参数”。

比如下面这段程序:

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

void foo(char *first, ...)
{
    char *p = (char *)malloc(100), *q = first;
    va_list args;

    va_start(args, first);
    while(q)
    {
        strcat(p, q);
        q = va_arg(args, char *);
    }
    va_end(args);
    printf("%s\n", p);

    free(p);

    return ;
}

int main(void)
{
    foo("Hello", "World");

    return 0;
}

使用

gcc main.c -Wall

编译没有任何警告。但是很显然,调用foo()时最后一个参数应该是个NULL以表明“可变参数就这么多”。
程序的运行结果:

HelloWorldm1�i�

显然是错误的。
另:这段程序在某些时候可能运行正常,那是因为在当时的情况下内存中存放”World”字符串的后面正好是个0(也就是NULL)。
将调用foo()的地方改为

foo("Hello", "World", NULL);

才是正确的写法。

但是为什么这种问题编译器不发出警告?那是因为你没有让编译器发出这类问题的警告,因为不是所有可变参数函数都需要哨兵参数,比如printf()。

/* 第一个参数中规定了有两个待打印项,所以打印时会取"string"1,
 * 多写的"another_string"会被忽略。
 * printf()在被调用时明确知道此次调用需要多少个参数,所以也就无需哨兵参数的帮忙。
 */
printf("%s %d\n", "string", 1"another_string");

所以__attribute__((sentinel))的功能就在于此。我们把上面的程序改一下,加一句foo()的声明:

void foo(char *first, ...) __attribute__((sentinel));

这样你再不写哨兵参数,在编译时编译器就会发出警告了:

main.c: In function ‘main’:
main.c:28:5: warning: missing sentinel in function call [-Wformat=]
foo(“Hello”, “World”);
^

阅读更多
版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/VermillionTear/article/details/49930651
文章标签: GNUC
个人分类: GNUC
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

不良信息举报

__attribute__((sentinel))

最多只允许输入30个字

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭