20

我有一个 C++ 类，它是日志系统的前端。它的日志功能是使用 C++11 的可变参数模板实现的：

template <typename... Args>
void Frontend::log(const char *fmt, Args&&... args) {
  backend->true_log(fmt, std::forward<Args>(args)...);
}

每个日志记录后端都实现了自己的版本true_log，除其他外，它使用转发的参数来调用vsnprintf。例如：

void Backend::true_log(const char *fmt, ...) {
  // other stuff..
  va_list ap;
  va_start(ap, fmt);
  vsnprintf(buffer, buffer_length, fmt, ap);
  va_end(ap);
  // other stuff..
}

一切都很好，我很高兴。

现在，我想对log()参数添加一个静态检查：具体来说，我想使用 GCC 的 printf 格式属性。

我首先使用标记log()函数__attribute__ ((format (printf, 2, 3)))（与this第一个“隐藏”参数一样，我需要将参数索引移动一个）。这不起作用，因为如果失败并出现编译错误：

error: args to be formatted is not ‘...’

然后，我尝试将相同的属性添加到true_log()函数中。它编译，但实际上没有执行错误检查：我试图传递给log()一些无效的格式/变量组合，并且没有发出警告。也许这种检查“为时已晚”，或者换句话说，关于变量的信息已经在调用链中丢失了？

作为最后的手段，如果我log()用注释__attribute__ ((format (printf, 2, 0)))，我会收到有关错误格式字符串的警告，但不会针对无效的格式/变量组合发出诊断。

总结问题：如果我使用 C++11 的可变参数模板，如何从 GCC 进行完整的格式检查？

4

3 回答 3

3

我不相信你可以。我敢打赌，GCC 只验证格式字符串是否是文字。这就是为什么放置format属性true_log不起作用的原因 - 该函数被调用时看起来（在语法上）类似于运行时确定的字符串。直接戴上它log会规避这一点，但需要format属性来支持可变参数模板，而您证明它不支持。

我建议你看看更多的 C++ 方式来进行格式化输出。例如，boost::format它的工作方式类似于 printf，但会动态验证参数类型的数量和类型是否与格式字符串匹配。但是，它不使用可变参数模板，而是一个接一个地使用（通过运算符 %）提供给它的参数。

于 2012-09-29T13:22:26.157 回答
3

作为记录，我最终完全删除了 C++11 可变参数模板，并使用了传统的va_list.

__attribute__((format(printf, 2, 3)))
void Frontend::log(const char *fmt, ...) {
  va_list ap;
  va_start(ap, fmt);
  backend->true_log(fmt, ap);
  va_end(ap);
}

void Backend::true_log(const char *fmt, va_list ap) {
  // log the message somehow
}
于 2014-04-01T22:10:41.000 回答
2

如果您愿意使用宏，则有一种解决方法。

有些结构会导致编译器为您进行检查，但不会生成任何被调用的代码。一种这样的构造是sizeof。因此，您可以为您的记录器使用宏来printf直接将参数传递给但在sizeof计算的上下文中，然后调用记录器本身。

使用宏的原因是确保格式字符串的处理方式与处理字符串文字的方式相同。

在下图中，我将sizeof计算视为一次性参数，但应该有其他方法可以应用相同的技术。

template <typename... Ts>
void Frontend::log(size_t, const char *fmt, Ts&&... args) {
  backend->true_log(fmt, std::forward<Ts>(args)...);
}

#define log(...) log(sizeof(printf(__VA_ARGS__)), __VA_ARGS__)

在线尝试！

当然，这是一种解决方法。不使用宏的原因有很多。在这种情况下，log宏会干扰任何其他同名的函数或方法。

于 2019-09-03T20:54:58.683 回答