Как использовать атрибут формата GCC printf с вариабельными шаблонами C ++ 11?
У меня есть класс 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))), Я получаю предупреждения о неправильных строках формата, но не будет выдана диагностика для недопустимых комбинаций формат / переменная.
Подводя итог проблемы: Как я могу иметь полную проверку формата из GCC, если я использую вариабельные шаблоны C ++ 11?
Решение
Я не верю, что ты можешь. Могу поспорить, что GCC проверяет строку формата, только если это буквальный. Вот почему выкладывать format атрибут на true_log не работает — эта функция вызывается с тем, что выглядит (синтаксически) как строка, определенная во время выполнения. Положить его на log напрямую обойдется, но потребует format Атрибуты для поддержки шаблонов с переменными параметрами, что вы доказали, что это не так.
Я предлагаю вам взглянуть на больше C ++ — иш способов для форматированного вывода. Есть, например, boost::format который работает так же, как printf, но динамически проверяет, что число и типы типов параметров соответствуют строке формата. Тем не менее, он не использует шаблоны с переменными значениями, а использует параметры, передаваемые ему (через оператор%), один за другим.
Другие решения
Для справки, я в итоге полностью удалил шаблоны 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
}