Apa yang salah dengan kode C 1988 ini?

Saya mencoba untuk mengumpulkan potongan kode ini dari buku "The C Programming Language" (K & R). Ini adalah versi sederhana dari program 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);
}

Dan saya mendapatkan kesalahan berikut:

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

Edisi ke-2 dari buku ini adalah dari tahun 1988 dan saya cukup baru mengenal C. Mungkin ada hubungannya dengan versi kompiler atau mungkin saya hanya berbicara omong kosong.

Saya telah melihat dalam kode C modern penggunaan mainfungsi yang berbeda:

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

Apakah ini standar baru atau apakah saya masih dapat menggunakan utama tanpa tipe?

Masalah Anda ada pada definisi praprosesor Anda INdan OUT:

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

Perhatikan bagaimana Anda memiliki tanda titik koma di belakangnya di masing-masing. Ketika preprocessor mengembangkannya, kode Anda akan terlihat seperti:

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

Titik koma kedua itu menyebabkan elsetidak ada sebelumnya ifsebagai pertandingan, karena Anda tidak menggunakan tanda kurung. Jadi, hapus titik koma dari definisi preprocessor dari INdan OUT.

Pelajaran yang didapat di sini adalah bahwa pernyataan preprocessor tidak harus diakhiri dengan titik koma.

Selain itu, Anda harus selalu menggunakan kawat gigi!

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

Tidak ada elseambiguitas gantung dalam kode di atas.

Masalah utama dengan kode ini adalah bahwa ini bukan kode dari K&R. Ini mencakup titik koma setelah definisi makro, yang tidak ada dalam buku, yang seperti yang ditunjukkan orang lain mengubah artinya.

Kecuali saat membuat perubahan dalam upaya memahami kode, Anda harus membiarkannya sampai Anda benar-benar memahaminya. Anda hanya dapat mengubah kode yang Anda pahami dengan aman.

Ini mungkin hanya salah ketik di pihak Anda, tetapi itu menggambarkan kebutuhan untuk memahami dan memperhatikan detail saat pemrograman.

Tidak boleh ada titik koma setelah makro,

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

dan mungkin seharusnya begitu

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

Definisi IN dan OUT akan terlihat seperti ini:

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

Titik koma menyebabkan masalah! Penjelasannya sederhana: baik IN dan OUT adalah arahan preprocessor, pada dasarnya kompilator akan mengganti semua kemunculan IN dengan 1 dan semua kemunculan OUT dengan 0 di kode sumber.

Karena kode asli memiliki titik koma setelah 1 dan 0, ketika IN dan OUT diganti dalam kode, tanda titik koma tambahan setelah angka menghasilkan kode yang tidak valid, misalnya baris ini:

else if (state == OUT)

Akhirnya terlihat seperti ini:

else if (state == 0;)

Tapi yang Anda inginkan adalah ini:

else if (state == 0)

Solusi: Hapus titik koma setelah angka dalam definisi aslinya.

Seperti yang Anda lihat, ada masalah di makro.

GCC memiliki opsi untuk berhenti setelah pra-pemrosesan. (-E) Opsi ini berguna untuk melihat hasil pra-pemrosesan. Faktanya, teknik ini penting jika Anda bekerja dengan basis kode besar di c / c ++. Biasanya makefile akan memiliki target untuk dihentikan setelah pra-pemrosesan.

Untuk referensi cepat: Pertanyaan SO mencakup opsi - Bagaimana cara melihat file sumber C / C ++ setelah preprocessing di Visual Studio? . Ini dimulai dengan vc ++, tetapi juga memiliki opsi gcc yang disebutkan di bawah .

Bukan masalah, tetapi deklarasi main()juga bertanggal, seharusnya seperti ini.

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

Kompilator akan mengasumsikan nilai kembalian int untuk fungsi tanpa fungsi, dan saya yakin kompilator / penaut akan mengatasi kekurangan deklarasi untuk argc / argv dan kurangnya nilai kembalian, tetapi seharusnya ada di sana.

Coba tambahkan tanda kurung kurawal di sekitar blok kode. Gaya K&R bisa jadi ambigu.

Lihat baris 18. Kompilator memberi tahu Anda di mana masalahnya.

    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;
    }

Cara sederhana adalah dengan menggunakan tanda kurung seperti {} untuk masing-masing ifdan else:

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

Seperti jawaban lain yang ditunjukkan, masalahnya ada di #definedan titik koma. Untuk meminimalkan masalah ini saya selalu lebih suka mendefinisikan konstanta bilangan sebagai const int:

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

Dengan cara ini Anda menyingkirkan banyak masalah dan kemungkinan masalah. Itu dibatasi hanya oleh dua hal:

1. Kompilator Anda harus mendukung const- yang pada tahun 1988 umumnya tidak benar, tetapi sekarang didukung oleh semua kompiler yang umum digunakan. (AFAIK constadalah "dipinjam" dari C ++.)

2. Anda tidak dapat menggunakan konstanta ini di beberapa tempat khusus yang membutuhkan konstanta seperti string. Tapi saya pikir program Anda tidak seperti itu.