Чи не потрібна крапка з комою (';') після оголошення функції в C ++?

Нещодавно я пройшов проміжний тест програмування, і одне з питань, що я помилився, полягав у наступному:

Точка з комою (';') після оголошення функції не потрібна.

Правда чи неправда.

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

Тобто,

Декларація:

int func();

Визначення:

int func() {
  return 1;
}

Чи не повинна відповідь на це бути хибною?

У вас може виникнути ситуація, коли ви оголосите та визначите функцію за один крок, тобто якщо ви включите визначення функції в точку, де ви її декларуєте. Тож технічно я вважаю, що це правда. Але питання сформульовано таким чином, що я відповів би на нього так, як ви.

На додаток до речі "визначення також є декларацією", юридичне C ++:

int f(), g();

Це декларує дві функції, fі gбез аргументів, і з типом повернення int, але визначення fне супроводжується (негайно) крапкою з комою. Так само це законно:

int f(), i = 42;

Але насправді не дозволяється пропускати крапку з комою цілком у цих випадках, тому було б дещо дивно, якби будь-який був взятий за приклад декларації без наступної крапки з комою. Насправді, таке незаконне:

void *p, f() {}

Окрім (просто) оголошення функції, визначення функції не може поєднуватися з будь-яким іншим оголошенням або визначенням до того ж специфікатора типу . (Якби це було законно, воно визначало б void *pі а void f() {}).

У будь-якому випадку, здається, це питання типу "gotcha", яке не повинно бути в проміжному тесті програмування.

(О, до речі, будь ласка, не пишіть насправді подібний код int f(), i = 42;.)

В інших відповідях та коментарях випливає кілька із багатьох способів, що це жахливе, оманливе і погано написане питання. Але є ще одна проблема, яку ще ніхто не визначив. Питання:

Точка з комою (';') після оголошення функції не потрібна. Правда чи неправда.

Добре, давайте розглянемо декларацію функції:

int func();       /* */
/*           ^       */
/*           |       */
/* That whitespace is "after the function declaration". */

Вся ця річ - декларація . Декларація не є, int func()а потім слідує a ;. Після декларації йде int func();пробіл.

Отже, питання: чи потрібна крапка з комою після декларування ? Звичайно, ні. У декларації вже є крапка з комою, яка припинила її. Точка з комою після декларації була б безглуздою. Навпаки, після оголошення функціїint func(); ; буде крапка з комою .

Питання майже напевно мало на меті задати питання "правдивим чи неправдивим: останній маркер у оголошенні функції завжди є крапкою з комою", але це не те питання, яке вони написали, тому що автор вікторини чітко не замислювався над проблемою.

Моя порада взагалі уникати вікторин мови програмування. Вони досить жахливі.

Веселий факт, поки ми на тему. У C # це все законно:

class C {}
class D {};
struct E {}
struct F {};

У C # декларація класу чи структури може закінчуватися крапкою з комою або на ваш розсуд чи ні. Ця дивна маленька функція була додана на користь програмістів на C / C ++, які приїжджають до C #, які мають у своїх руках, що декларації типу закінчуються безглуздим крапкою з комою; команда дизайнерів не хотіла карати їх за звичку. :-)

Ви також можете оголосити таку функцію:

int func(){
    return 1;
}

Заява дуже неоднозначна. Правильна відповідь повинна бути: це залежить від того, як ви оголосите функцію.

У будь-якому випадку я вибрав би помилкове, і, можливо, ви можете повідомити про це питання комусь.

Точка з комою (';') після оголошення функції не потрібна.

Правда чи неправда.

Правда . Точка з комою не потрібна після жодного оголошення. Ні після жодного визначення. Ні після жодної заяви.

Багато видів оголошення повинні закінчуватися крапкою з комою, як зазначено в синтаксисі у розділі 7 [dcl.dcl]. Але ніколи не потрібно писати другу після цього.

Це залежить від того, заявляємо ми чи визначаємо функцію. Якщо ми оголошуємо функцію, нам потрібно включити крапку з комою ( ;), а якщо ми визначаємо функцію, крапка з комою не потрібна.

Декларація така:

int add(int, int);

І визначення таке:

int add(int a, int b)
{
    // ...
}

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

Ось як я завжди їх називав:

void func();  // The function prototype

...

void func()
{
    // The function definition
}

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

Визначення та декларація - це те саме поняття в моїх очах. "Я визначаю x = y" == "Я оголошую x = y".

Але звичайно, існує велика різниця між прототипом функції (вгорі) і фактичним визначенням функції.

Шкода, що питання, яке ви взяли, не говорить "безпосередньо після". Ми могли б, наприклад, написати це:

int func()  /* My function */ ;

Або я можу написати:

int func()
int a = 42;

У першому випадку крапка з комою знаходиться не безпосередньо після оголошення, але це було б добре.

У другому випадку є крапка з комою "після" декларації, але не безпосередньо після.

Я думаю, що Ерік Ліпперт має правильну ідею у своїй відповіді .

Це як би сказати "чи повинен бути період після закінчення речення англійською мовою?". Можливо, у речення вже є період у кінці (інакше це не було б вироком), і тому після вироку не повинно бути періоду .

Ви можете використовувати ;лише для прототипів.

Це щось складне запитання, але вони використовували слово декларація, яке означає щось подібне:

int example();

Так що в цьому випадку це правда.

Якби вони використовували слово реалізацію, то це було б помилково.

Точка з комою (;) використовується для того, щоб сказати компілятору, що після цього крапки з комою (;) починається новий вислів.

Тому я вважаю, що крапка з комою (;) потрібна лише під час оголошення функції. Тож, на мою думку, відповідь буде правдою.

Коли функції визначені перед main () :

• Точка з комою не потрібна, оскільки функція вже визначена

Коли функції визначені після main () :

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