gcc: mixing -Wformat and register_printf_specifier

gcc: mixing -Wformat and register_printf_specifier

本文关键字：printf specifier register and mixing -Wformat gcc      更新时间：2023-10-16

我想使用自定义的printf格式标志（通过gcc的register_printf_specifier），同时仍然可以获得-Wformat和-Werror编译器标志的好处。

在下面的例子中，我已经使用自定义的%W标志打印了我的小部件，但我必须禁用-Wformat和-Wformat-extra-args

#pragma GCC diagnostic ignored "-Wformat"
#pragma GCC diagnostic ignored "-Wformat-extra-args"

有可能两全其美吗？

我想我的问题可以归结为：有没有办法用-Wformat注册格式说明符和相关类型？

示例：

#include <cstdio>
#include <cstdlib>
#include <printf.h>
struct Widget
{
    const char* name;
};
int print_widget(FILE* stream, const struct printf_info* info, const void* const* args)
{
    const Widget* widget = *((const Widget**)(args[0]));
    return fprintf(stream, "%*s", (info->left ? -info->width : info->width), widget->name);
}
int print_widget_arginfo(const struct printf_info*, size_t n, int* argtypes, int* size)
{
    if (n > 0)
    {
        argtypes[0] = PA_POINTER;
        size[0] = sizeof (Widget *);
    }
    return 1;
}
int main(void)
{
    register_printf_specifier('W', print_widget, print_widget_arginfo);
    Widget widget { "foobar" };
    #pragma GCC diagnostic ignored "-Wformat"
    #pragma GCC diagnostic ignored "-Wformat-extra-args"
    printf("|%W|n", &widget);
    printf("|%35W|n", &widget);
    printf("|%-35W|n", &widget);
}

输出：

|foobar|
|                             foobar|
|foobar                             |

目前没有这样的方法。请参阅此gcc错误。

修改GCC以暴露其用于printf检查的一些内部机制并不难，从而可以编写一个理解您添加内容的GCC插件。不过，它确实需要对GCC有一点熟悉。

尽管没有直接的方法针对-Wformat注册新的说明符，但有一种解决方法。您可以重载%p本身，并检测它是否应该是Widget*。一种方法是将一个特殊值编码到宽度中，并让说明符代码检测该特殊值。例如，

#define IS_WIDGET(INFO) (((INFO)->width & MASK) == WIDGET)
int print_widget(FILE* stream, const struct printf_info* info,
                 const void* const* args)
{
    if (IS_WIDGET(info)) return print_widget_impl(stream, info, args);
    return fprintf(stream, "%#*llx",
                   (info->left ? -info->width : info->width),
                   (unsigned long long)*(void **)args[0]);
}

概念证明可以在这里找到。

相关文章：