如何使用GCC属性'format'？

Question

这是一小段代码:

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

void MyPrintf(char const* format, va_list args);
void MyVariadicPrintf(char const* format, ...);

void MyPrintf(char const* format, va_list args)
{
    vprintf(format, args);
}

void MyVariadicPrintf(char const* format, ...)
{
    va_list args;
    va_start(args, format);
    MyPrintf(format, args);
    va_end(args);
}

int main(int, char*)
{
    MyVariadicPrintf("%s" /* missing 2nd argument */);

    return 0;
}

我正在使用GCC 4.0编译它,在Mac OS X Leopard上运行Xcode.
-Wformat和-Wmissing-format-attribute已启用.
此代码在第9行(调用vprintf)上发出警告,建议MyPrintf可以使用'format'属性:

函数可能是'printf'格式属性的候选者

所以我以这种方式添加属性(不确定这是否正确):

void MyPrintf(char const* format, va_list args) __attribute__((format(printf, 1, 0)));

之前的警告消失,同样的警告现在出现在第16行(呼叫MyPrintf)上,表明MyVariadicPrintf可以使用'format'属性.
所以我以这种方式添加属性(这次非常确定这是正确的):

void MyVariadicPrintf(char const* format, ...) __attribute__((format(printf, 1, 2)));

现在我在第22行(​​电话MyVariadicPrintf)收到了预期的警告:

格式的参数太少了

1. 我做对了吗？
2. 我注意到,在MyPrintf声明时,如果我删除了属性部分,我仍然会在第22行得到想要的警告.我还注意到在这个属性部分,将索引从1更改为2不会给出任何警告或错误.哪一项是对的,该函数的属性目标是什么？

3. 如果我添加以下函数MyVariadicPrintfT并调用它(专用char),我会收到警告,建议在此函数上使用'format'属性.我认为这是不可能的,因为format论证依赖于模板类型.我对吗？

   template<typename Type>
   void MyVariadicPrintfT(Type const* format, ...)
   {
       va_list args;
       va_start(args, format);
       MyPrintf(format, args);
       va_end(args);
   }
   

最新的gnu文档可以在gnu.org找到.
警告选项在3.8节中(查找"-Wmissing-format-attribute").
函数属性在6.30节中(查找"format(archetype,string-index,first-to-check)").

谢谢.

Answer 1

文档提供了您需要的答案.尤其:

1. 是
2. 您发布的那个是正确的(format(printf, 1, 0)).1因为格式字符串是参数1,0,因为没有要检查的可变参数.