GCC: attribute ((format (printf, x, y)), похоже, не работает, когда функция вызывается с использованием макроса с переменным числом аргументов

Question

GCC: attribute ((format (printf, x, y)), похоже, не работает, когда функция вызывается с использованием макроса с переменным числом аргументов

0

Версия GCC ntoarm-gcc (GCC) 4.4.2

Я добавил атрибуты формата 'printf' ко всем моим функциям, которые завершают printf() и co. Они отлично работают, но только при вызове функций с использованием вариационного макроса.

class Log { [...]
    void log_fmt(LogLevel level, const std::string& funcName, const char_t * const logFormatStr, ...)  __attribute__ ((format (printf, 4, 5)));
[...] };

Неправильный прямой вызов, например

log.log_fmt(Info, "test", "wrong %u", "type");

дает предупреждение:

format '%u' expects type 'unsigned int', but argument 5 has type 'const char*'

Тот же неправильный вызов с использованием макроса не дает никакого предупреждения:

#define LOGI(MSG, ...) log.log_fmt(Info, __func__, (MSG), __VA_ARGS__)
LOGI("wrong %u", "type");

Могу ли я получить предупреждения и в этом случае? Я допустил ошибку или это намеренное поведение?

unbekannt 09 апр. 2014, в 12:32

Источник

0

макросы не проверяют тип. они просто отвечают
gangadhars 09 апр. 2014, в 09:47
0

Вы пробовали параметры -Wall и -Wextra для gcc
Don't You Worry Child 09 апр. 2014, в 10:28

Теги:

c++

c

gcc

macros

variadic

1 ответ

Ещё вопросы

макросы не проверяют тип. они просто отвечают
Вы пробовали параметры -Wall и -Wextra для gcc

Massa · Accepted Answer · 2014-04-09T07-58-00.000Z

Эта:

#include <iostream>
#include <cstdio>

struct log {
    static void logf(std::string, std::string, const char*, ...) __attribute__((format (printf, 3, 4))) {}
};

#define L(m, ...) log::logf("no", __func__, (m), __VA_ARGS__)

int main() {
    //log::logf("hi", "hi", "test %u", "hi");
    L("test %u", "hi");
}

работает отлично, в том смысле, что он дает правильное предупреждение, как показано ниже:

main.cpp: In function 'int main()':
main.cpp:8:61: warning: format '%u' expects argument of type 'unsigned int', but argument 4 has type 'const char*' [-Wformat=]
 #define L(m, ...) log::logf("no", __func__, (m), __VA_ARGS__)
                                                             ^
main.cpp:12:5: note: in expansion of macro 'L'
     L("test %u", "hi");
     ^
At global scope:
cc1plus: warning: unrecognized command line option "-Wno-undefined-internal" [enabled by default]

Итак, я бы предположил, что проблема заключается в параметрах позиции (вы положили 4, 5 в свой атрибут format, когда кажется, что вы должны были поставить 3, 4)....

4, 5 правильно в начальном коде. Обратите внимание, что ваша реализована как статическая функция-член, в то время как оригинал вызвал функцию-член объекта журнала, который добавляет скрытый параметр this . Тем не менее, конструкция работает также с нестатической функцией-членом. @unbekannt: Я могу только предположить, что вам удалось как-то скрыть атрибут формата от вызывающего кода (несколько включаемых файлов, в одном из которых отсутствует атрибут функции format ?).
@mfro, вы абсолютно правы в отношении 4, 5 . Но это все еще работает отлично (давая предупреждение) для меня, смотрите здесь ...
Вдохновленный ответом Массы, я попытался заставить его работать снова на минимальном примере. Это сработало. И это продолжало работать в «реальном» коде. Как я ненавижу, когда это происходит ... Похоже, я действительно совершил глупую ошибку. Будет ли нормально принять ответ Массы, так как это приведет меня к повторной попытке?
Ты меня спрашиваешь? Конечно, это является.

GCC: __attribute__ ((format (printf, x, y)), похоже, не работает, когда функция вызывается с использованием макроса с переменным числом аргументов

1 ответ

Ещё вопросы

GCC: attribute ((format (printf, x, y)), похоже, не работает, когда функция вызывается с использованием макроса с переменным числом аргументов