Що не так із цим кодом 1988 року С?

Я намагаюся зібрати цей фрагмент коду з книги "Мова програмування на С" (K&R). Це оголена версія програми UNIX wc:

#include <stdio.h>

#define IN   1;     /* inside a word */
#define OUT  0;     /* outside a word */

/* count lines, words and characters in input */
main()
{
    int c, nl, nw, nc, state;

    state = OUT;
    nl = nw = nc = 0;
    while ((c = getchar()) != EOF) {
        ++nc;
        if (c == '\n')
            ++nl;
        if (c == ' ' || c == '\n' || c == '\t')
            state = OUT;
        else if (state == OUT) {
            state = IN;
            ++nw;
        }
    }
    printf("%d %d %d\n", nl, nw, nc);
}

І я отримую таку помилку:

$ gcc wc.c 
wc.c: In function ‘main’:
wc.c:18: error: ‘else’ without a previous ‘if’
wc.c:18: error: expected ‘)’ before ‘;’ token

Друге видання цієї книги - 1988 р., І я досить знайомий із C. Можливо, це пов’язано з версією компілятора, а може, я просто говорю дурниці.

Я бачив у сучасному коді С різне використання mainфункції:

int main()
{
    /* code */
    return 0;
}

Це новий стандарт чи я все-таки можу використовувати безтиповий основний?

Ваша проблема з визначеннями препроцесора INта OUT:

#define IN   1;     /* inside a word */
#define OUT  0;     /* outside a word */

Зверніть увагу, як у вас є кінцева крапка з комою в кожному з них. Коли препроцесор розширить їх, ваш код буде виглядати приблизно так:

    if (c == ' ' || c == '\n' || c == '\t')
        state = 0;; /* <--PROBLEM #1 */
    else if (state == 0;) { /* <--PROBLEM #2 */
        state = 1;;

Цей другий крапка з комою спричиняє elseвідсутність попереднього ifяк збігу, оскільки ви не використовуєте фігурні дужки. Отже, видаліть крапку з комою з визначень препроцесора INта OUT.

Урок, отриманий тут, полягає в тому, що оператори препроцесора не повинні закінчуватися крапкою з комою.

Крім того, ви завжди повинні використовувати брекети!

    if (c == ' ' || c == '\n' || c == '\t') {
        state = OUT;
    } else if (state == OUT) {
        state = IN;
        ++nw;
    }

У наведеному elseвище коді немає жодної двозначності.

Основна проблема цього коду полягає в тому, що це не код від K&R. Він включає крапку з комою після визначень макросів, яких у книзі не було, що, як зазначали інші, змінює значення.

За винятком змін під час спроби зрозуміти код, вам слід залишити його в спокої, поки ви його не зрозумієте. Ви можете лише безпечно змінити код, який ви розумієте.

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

Після макросів не повинно бути крапки з комою,

#define IN   1     /* inside a word */
#define OUT  0     /* outside a word */

і це, мабуть, має бути

if (c == ' ' || c == '\n' || c == '\t')

Визначення IN та OUT повинні виглядати так:

#define IN   1     /* inside a word  */
#define OUT  0     /* outside a word */

Проблему спричинили крапки з комою! Пояснення просте: і IN, і OUT є директивами препроцесора, по суті, компілятор замінить усі випадки IN на 1, а всі випадки OUT на 0 у вихідному коді.

Оскільки вихідний код мав крапку з комою після 1 і 0, коли в коді замінено IN та OUT, додаткова крапка з комою після номера створила недійсний код, наприклад цей рядок:

else if (state == OUT)

Закінчився виглядати так:

else if (state == 0;)

Але що ви хотіли, так це:

else if (state == 0)

Рішення: видаліть крапку з комою після цифр у вихідному визначенні.

Як бачите, у макросах була проблема.

GCC має можливість зупинки після попередньої обробки. (-E) Цей параметр корисний для перегляду результатів попередньої обробки. Насправді, техніка є важливою, якщо ви працюєте з великою базою коду в c / c ++. Зазвичай make-файли мають мішень, яку потрібно зупинити після попередньої обробки.

Для швидкого довідки: Питання SO охоплює параметри - Як побачити вихідний файл C / C ++ після попередньої обробки у Visual Studio? . Він починається з vc ++, але також має параметри gcc, згадані нижче .

Не зовсім проблема, але декларація main()також має дату, вона повинна бути приблизно такою.

int main(int argc, char** argv) {
    ...
    return 0;
}

Компілятор буде приймати значення int, що повертається, для функції без такої, і я впевнений, що компілятор / компонувальник буде обходити відсутність оголошення для argc / argv та відсутність поверненого значення, але вони повинні бути там.

Спробуйте додати явні фігурні дужки навколо блоків коду. Стиль K&R може бути неоднозначним.

Подивіться на рядок 18. Компілятор повідомляє вам, де проблема.

    if (c == '\n') {
        ++nl;
    }
    if (c == ' ' || c == '\n' || c == '\t') { // You're missing an "=" here; should be "=="
        state = OUT;
    }
    else if (state == OUT) {
        state = IN;
        ++nw;
    }

Простий спосіб - скористатися дужками типу {} для кожного ifта else:

if (c == '\n'){
    ++nl;
}
if (c == ' ' || c == '\n' || c == '\t')
{
    state = OUT;
}
else if (state == OUT) {
    state = IN;
    ++nw;
}

Як вказували інші відповіді, проблема полягає в #defineкрапках та крапках з комою. Щоб мінімізувати ці проблеми, я завжди вважаю за краще визначати числові константи як const int:

const int IN = 1;
const int OUT = 0;

Таким чином ви позбудетеся багатьох проблем і можливих проблем. Це обмежується лише двома речами:

1. Ваш компілятор повинен підтримувати const- що у 1988 році загалом не було правдою, але зараз воно підтримується усіма загальновживаними компіляторами. (AFAIK const"запозичений" у C ++.)

2. Ви не можете використовувати ці константи в деяких спеціальних місцях, де вам потрібна константа, подібна до рядка. Але я думаю, що ваша програма - це не так.