对 __attribute__((format)) 的自定义支持

GCC 和 Clang 都支持对变量参数函数进行编译时检查，例如printf。这些编译器接受如下语法：

extern void dprintf(int dlevel, const char *format, ...)
  __attribute__((format(printf, 2, 3)));  /* 2=format 3=params */

在 OSX 上，Cocoa 框架也使用此扩展NSString:

#define NS_FORMAT_FUNCTION(F,A) __attribute__((format(__NSString__, F, A)))

在我们公司，我们有一个自定义的 C++ 框架，其中包含一堆类，例如BaseString全部源自BaseObject. In BaseString有一些类似于变量参数的方法sprintf，但有一些扩展。例如，"%S"需要一个类型参数BaseString*, and "%@"期望一个BaseObject*争论。

我想对我们项目中的参数进行编译时检查，但由于扩展，__attribute__((format(printf)))给出大量误报警告。

有没有办法自定义支持__attribute__((format))对于两个编译器之一？如果这需要对编译器源代码进行修补，是否可以在合理的时间内完成？或者，还有其他的吗lint像可以执行检查的工具？

与最新版本GCC https://gcc.gnu.org/（我推荐 4.7 或更新版本，但您可以尝试使用 GCC 4.6）您可以通过 GCC 插件添加您自己的变量和函数属性（使用PLUGIN_ATTRIBUTES钩），或MELT http://starynkevitch.net/Basile/gcc-melt/扩大。 MELT 是一种扩展 GCC 的领域特定语言（作为[元]插件实现）。

如果使用插件（例如 MELT），则无需重新编译 GCC 源代码。但你需要一个启用插件的 GCC（检查gcc -v).

2020年，MELT不再更新（因为缺乏资金）；不过你可以自己写海湾合作委员会插件 https://gcc.gnu.org/onlinedocs/gccint/Plugins.html for GCC 10 https://gcc.gnu.org/onlinedocs/gccint/Plugins.html在C++中，做这样的检查。

^{Some Linux distributions don't enable plugins in their gcc - please complain to your distribution vendor; others provide a package for GCC plugin development, e.g. gcc-4.7-plugin-dev for Debian or Ubuntu.}