Чому компілятор не повідомляє про відсутність крапки з комою?

У мене така проста програма:

#include <stdio.h>

struct S
{
    int i;
};

void swap(struct S *a, struct S *b)
{
    struct S temp;
    temp = *a    /* Oops, missing a semicolon here... */
    *a = *b;
    *b = temp;
}

int main(void)
{
    struct S a = { 1 };
    struct S b = { 2 };

    swap(&a, &b);
}

Як видно, наприклад, ideone.com, це дає помилку:

prog.c: In function 'swap':
prog.c:12:5: error: invalid operands to binary * (have 'struct S' and 'struct S *')
     *a = *b;
     ^

Чому компілятор не виявить пропущену крапку з комою?

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

C - мова у вільній формі . Це означає, що ви можете її відформатувати багатьма способами, і це все ще буде легальною програмою.

Наприклад, твердження типу

a = b * c;

можна було написати так

a=b*c;

чи як

a
=
b
*
c
;

Тож коли компілятор бачить рядки

temp = *a
*a = *b;

вона думає, що це означає

temp = *a * a = *b;

Це, звичайно, не є дійсним виразом, і компілятор скаржиться на це замість відсутньої крапки з комою. Причина, яка не є дійсною, полягає в тому a, що це вказівник на структуру, тому *a * aнамагається помножити екземпляр структури ( *a) з вказівником на структуру ( a).

Хоча компілятор не може виявити відсутню крапку з комою, він також повідомляє про абсолютно непов’язану помилку в неправильній лінії. Це важливо помітити, оскільки скільки б ви не дивилися на рядок, де повідомляється про помилку, помилки там немає. Іноді подібні проблеми потребують того, щоб ви подивилися на попередні рядки, щоб побачити, чи добре вони і без помилок.

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

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

У зв'язку з цим є концепція подальших помилок. Деякі помилки, як правило, через відсутність крапки з комою, повідомляються як кілька помилок. Ось чому важливо починати зверху під час виправлення помилок, оскільки виправлення першої помилки може призвести до зникнення декількох помилок.

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

Чому компілятор не виявить пропущену крапку з комою?

Три речі потрібно пам’ятати.

1. Закінчення рядків у C - це просто звичайний пробіл.
2. *в C може бути як одинарним, так і двійковим оператором. Як одинарний оператор, це означає «дереференція», як двійковий оператор означає «множити».
3. Різниця між одинарними та бінарними операторами визначається з контексту, в якому вони бачать.

Результат цих двох фактів - це коли ми розбираємося.

 temp = *a    /* Oops, missing a semicolon here... */
 *a = *b;

Перший і останній *інтерпретуються як одинакові, а другі *трактуються як бінарні. З точки зору синтаксису це виглядає нормально.

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

Кілька гарних відповідей вище, але я докладно.

temp = *a *a = *b;

Це фактично випадок, x = y = z;коли обом xі yприсвоюється значення z.

Що ви говорите, так і є the contents of address (a times a) become equal to the contents of b, as does temp.

Коротше кажучи, *a *a = <any integer value>це дійсне твердження. Як було зазначено раніше, перший *відміняє вказівник, а другий помножує два значення.

Більшість компіляторів аналізують вихідні файли за порядком і повідомляють про рядок, де вони виявляють, що щось не так. Перші 12 рядків вашої програми C можуть стати початком дійсної програми C (без помилок). Перші 13 рядків програми не можуть. Деякі компілятори відзначають розташування речей, з якими вони стикаються, які не є помилками самі по собі, і в більшості випадків пізніше не будуть викликати помилки в коді, але можуть бути недійсними в поєднанні з чимось іншим. Наприклад:

int foo;
...
float foo;

Сама декларація int foo;була б чудово. Аналогічно декларація float foo;. Деякі компілятори можуть записати номер рядка, де з’явилася перша декларація, і пов’язати інформаційне повідомлення з цим рядком, щоб допомогти програмісту визначити випадки, коли попереднє визначення насправді є помилковим. Компілятори також можуть зберігати номери рядків, пов’язані з чимось на зразок а do, про що можна повідомити, якщо асоційований whileне з’явиться в потрібному місці. У випадках, коли ймовірне розташування проблеми буде безпосередньо перед рядком, де виявлена ​​помилка, однак компілятори, як правило, не намагаються додавати додатковий звіт для позиції.