Какова основная разница между printf (s) и printf ("%s", s)?

предупреждение говорит все это.

во-первых, обсудить о вопрос, согласно подписи, первый параметр printf() - строка формата, которая can содержать спецификаторы формата (спецификатор преобразования). В случае строка содержит спецификатора формата и соответствующий аргумент не указан, он вызывает неопределенное поведение.

Итак, a пылесос (или безопаснее) подход (печать строки, которая не нуждается в спецификации формата) будет puts(s); над printf(s); (первый не обрабатывает s для любых спецификаторов преобразования, удаляя причину возможного UB в более позднем случае). Вы можете выбрать fputs(), если вы беспокоитесь о конечной новой строке, которая автоматически добавляется в puts().

что сказал, относительно опции предупреждения,-Wformat-security из онлайн-gcc руководство

в настоящее время, это предупреждает о призывах к printf и scanf функции, где строка формата не является строковым литералом и нет аргументов формата, как в printf (foo);. Это может быть дыра в безопасности, если строка формата пришла из ненадежного ввода и содержит %n.

в вашем первом случае есть только один аргумент, предоставленный printf(), который не является строковым литералом, а скорее переменная, который может быть очень хорошо сгенерирован / заполнен во время выполнения, и если это содержит неожиданный спецификаторы формата, он может вызывать UB. Компилятор не имеет возможности проверить наличие в нем какого-либо спецификатора формата. Вот в чем проблема безопасности.

во втором случае прилагаемый аргумент предоставляется, спецификатор формата не является только аргумент передан printf(), поэтому первый аргумент не нужно проверять. Следовательно, предупреждение не там.

обновление:

относительно третьего, с лишние аргумент, который требуется для поставляемой строки формата

printf(s, 99, 50);

цитирую C11 глава §7.21.6.1

[...] Если формат исчерпан, а аргументы остаются, избыточные аргументы оценивается (как всегда), но в остальном игнорируется. [...]

так, проходя мимо лишние

в вашем вопросе есть две вещи.

первый кратко покрывается Джонатан Леффлер - предупреждение, которое вы получаете, потому что строка не является литералом и в ней нет спецификаторов формата.

другая загадка заключается в том, почему компилятор не выдает предупреждение о том, что ваше количество аргументов не соответствует числу спецификаторов. Короткий ответ: "потому что это не так", но более конкретно, printf-это вариационная функция. Он принимает любое количество аргументов после начальной спецификации формата-от 0 и выше. Компилятор не может проверить, дали ли вы правильную сумму; это зависит от самой функции printf и приводит к неопределенному поведению, которое Иоахим упомянул в комментариях.

редактировать: Я собираюсь дать дальнейший ответ на ваш вопрос, как средство попасть на маленькую мыльницу.

в чем разница между printf(s) и printf("%s", s)? Простой - в последнем случае вы используете printf, как он объявлен. "%s" это const char *, и он впоследствии не будет генерировать предупреждающее сообщение.

в ваших комментариях к другим ответам вы упомянули " игнорирование предупреждения...". Не делай этого. Предупреждения существуют по какой-то причине и должны быть разрешены (в противном случае они просто шум, и вы пропустите предупреждения, которые на самом деле имеют значение среди всех тех, которые этого не делают.)

ваша проблема может быть решена в несколько направлений.

const char* s = "abcdefghij\n";
printf(s);

разрешит предупреждение, потому что теперь вы используете указатель const, и нет никаких опасностей, о которых упоминал Джонатан. (Вы также можете объявить его как const char* const s, но не обязательно. Первый const важно, потому что он затем соответствует объявлению printf, а потому const char* s означает, что символы, на которые указывает s, не могут изменяться, т. е. строка является литералом.)

или, еще проще, просто сделать:

printf("abcdefghij\n");

этот неявно указатель const, а также не проблема.

причина: printf объявляется как:

int printf(const char *fmt, ...) __attribute__ ((format(printf, 1, 2)));

Это говорит gcc, что printf - это функция с интерфейсом в стиле printf, где строка формата приходит первой. ИМХО это должно быть буквальным; я не думаю, что есть способ сказать хорошему компилятору, что s на самом деле является указателем на литеральную строку, которую он видел раньше.

подробнее о __attribute__ здесь.

Итак, какова основная разница между printf (s) и printf ("%s", s)

" printf (s)" будет рассматривать s как строку формата. Если s содержит спецификаторы формата, printf интерпретирует их и ищет varargs. Поскольку ни с varargs на самом деле существует этот, вероятно, вызовет неопределенное поведение.

если злоумышленник управляет "s", то это, вероятно, будет дыра в безопасности.

printf ("%s", s) просто напечатает то, что находится в строке.

и почему я получаю предупреждение в одном случае?

предупреждения-это баланс между ловлей опасной глупости и не созданием слишком большого шума.

C программисты находятся в habbit использования printf и различных printf как функции* в качестве общих функций печати, даже если они на самом деле не нуждаются в форматировании. В этой среде для кого-то легко сделать ошибку написания printf(s), не думая о том, откуда s пришел. С форматирование довольно бесполезно без каких-либо данных для форматирования printf(S) имеет мало законного использования.

printf (s,format, arguments) с другой стороны, указывает, что программист намеренно намеревался форматировать.

Afaict это предупреждение не включено по умолчанию в восходящем gcc, но некоторые дистрибутивы включают его в рамках своих усилий по уменьшению дыр в безопасности.

* как стандартные функции C, такие как sprintf и fprintf, так и функции в третьем партийные библиотеки.