Яка мета використання -pedantic у компіляторі GCC / G ++?

Ця примітка говорить:

-ansi: повідомляє компілятору реалізувати параметр мови ANSI. Це вимикає певні "особливості" GCC, несумісні зі стандартом ANSI.

-pedantic: використовується разом із -ansiцим, це вказує компілятору суворо дотримуватися стандарту ANSI, відкидаючи будь-який код, який не відповідає.

Насамперед:

• Яка мета -pedanticі -ansiпараметри компілятора GCC / G ++ (я не міг зрозуміти вищеописаний опис)?
• Чи може хтось сказати мені правильні обставини використання цих двох варіантів?
• Коли я повинен їх використовувати?
• Вони важливі?

Компілятори GCC завжди намагаються скласти вашу програму, якщо це взагалі можливо. Однак у деяких випадках стандарти C та C ++ вказують, що певні розширення заборонені. Відповідні компілятори, такі як gcc або g ++, повинні видавати діагностику, коли виникають ці розширення. Наприклад, специфічна опція компілятора gcc викликає попередження попередження gcc у таких випадках. Використання більш суворої -pedantic-errorsопції перетворює такі діагностичні попередження в помилки, які спричинить збій збірки в таких точках. Лише ті конструкції, які не належать ISO, для яких потрібно позначити відповідний компілятор, генерують попередження або помилки.

Я використовую це весь час у своєму кодуванні.

-ansiПрапор еквівалентний -std=c89. Як зазначалося, це вимикає деякі розширення GCC. Додавання -pedanticвимикає більше розширень та генерує більше попереджень. Наприклад, якщо у вас буквений рядок довше 509 символів, то -pedanticпопереджає про це, оскільки він перевищує мінімальний ліміт, необхідний стандарту C89. Тобто кожен компілятор C89 повинен приймати рядки довжиною 509; їм дозволяється приймати довше, але якщо ви ведете педантичний характер, не можна використовувати більш довгі рядки, навіть якщо компілятору дозволено приймати довші рядки, і без педантичних попереджень GCC також прийме їх.

-ansi- це застарілий комутатор, який вимагає від компілятора скласти відповідно до 30-річної застарілої редакції стандарту C , ISO / IEC 9899: 1990 , що по суті є ребрендингом стандарту ANSI X3.159-1989 "Мова програмування C" . Чому застарілий? Оскільки після опублікування C90 ISO був ISO, відповідав за стандартизацію С., а будь-які технічні виправлення до C90 були опубліковані ISO, тому більш доцільним є використання -std=c90.

Без цього перемикання останні компілятори GCC C відповідатимуть мові C, стандартизованій в ISO / IEC 9899: 2011 , або новітній версії 2018 року.

На жаль, є кілька ледачих постачальників компіляторів, які вважають, що прийнятно дотримуватися старішої застарілої стандартної редакції, для якої стандартний документ навіть не доступний у стандартних органах.

Використання комутатора допомагає забезпечити компіляцію коду в цих застарілих компіляторах.

-pedanticЄ цікавим. За відсутності -pedantic, навіть коли вимагається конкретний стандарт, GCC все одно дозволить розширити деякі розширення, неприйнятні для стандарту C. Розглянемо для прикладу програму

struct test {
    int zero_size_array[0];
};

C11 проект n1570 пункту 6.7.6.2p1 каже :

Окрім необов'язкових класифікаторів типу та ключового слова статичний, [і] може розмежувати вираз або *. Якщо вони розмежовують вираз (який визначає розмір масиву), вираз має цілий тип. Якщо вираз є постійним виразом, він повинен мати значення, що перевищує нуль. [...]

Стандарт C вимагає, щоб довжина масиву була більше нуля; і цей пункт є обмеженням ; стандарт говорить наступне 5.1.1.3p1 :

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

Однак якщо ви компілюєте програму gcc -c -std=c90 pedantic_test.c, попередження не видається.

-pedanticзмушує компілятор фактично відповідати стандарту C ; тож тепер він виробляє діагностичне повідомлення, як того вимагає стандарт:

gcc -c -pedantic -std=c90 pedantic_test.c
pedantic_test.c:2:9: warning: ISO C forbids zero-size array ‘zero_size_array’ [-Wpedantic]
     int zero_size_array[0];
         ^~~~~~~~~~~~~~~

Таким чином, для максимальної портативності, уточнення стандартної редакції недостатньо, ви також повинні використовувати -pedantic(або -pedantic-errors), щоб переконатися, що GCC насправді відповідає букві стандарту.

Остання частина питання була про використання -ansiз C ++ . ANSI ніколи не стандартизував мову C ++ - лише перейнявши її з ISO, тому це має стільки ж сенсу, як говорити "Англійська, як стандартизована Францією". Однак GCC все ще, здається, сприймає це для C ++, як не дурно звучить.

В основному, ваш код буде набагато простішим для компіляції під іншими компіляторами, які також реалізують стандарт ANSI, і, якщо ви обережні, в яких бібліотеках / api-дзвінках ви використовуєте, під іншими операційними системами / платформами.

Перший - вимикає СПЕЦИФІЧНІ особливості GCC. (-ansi) Другий, буде скаржитися на будь-що, що не відповідає стандарту (не тільки специфічні особливості GCC, але і ваші конструкції.) (-педантично).

Якщо ваш код повинен бути портативним, ви можете перевірити, чи він компілюється без будь-яких розширень gcc або інших нестандартних функцій. Якщо ваш код компілюється з, -pedantic -ansiтоді теоретично він повинен компілювати OK з будь-яким іншим стандартним компілятором ANSI.

Якщо ви пишете код, який, на вашу думку, збиратиметься на різних платформах, з кількома різними компіляторами, то використання самих цих прапорів допоможе вам не створювати код, який компілюється лише під GCC.

Інші відповіли достатньо. Я хотів би лише додати кілька прикладів частих розширень:

mainФункція повернення void. Це не визначено стандартом, тобто він працюватиме лише на деяких компіляторах (включаючи GCC), а не на інших. До речі, int main()і int main(int, char**)два підписи, які стандарт визначає.

Ще одне популярне розширення здатне оголошувати та визначати функції всередині інших функцій:

void f()
{
    void g()
    {
       // ...
    }

    // ...
    g();
    // ...
}

Це нестандартно. Якщо ви хочете такої поведінки, перевірте C ++ 11 лямбда

Pedantic робить це так, що компілятор gcc відхиляє всі розширення GNU C, а не лише ті, що роблять ANSI сумісним.