Saya telah menulis hal-hal seperti

char *x=NULL;

dengan asumsi itu

 char *x=2;

akan membuat charpointer ke alamat 2.

Tapi, dalam Tutorial Pemrograman GNU C dikatakan bahwa int *my_int_ptr = 2;menyimpan nilai integer 2ke alamat acak apa pun my_int_ptrsaat dialokasikan.

Ini sepertinya menyiratkan bahwa saya sendiri char *x=NULLmenetapkan apa pun nilai NULLcast ke a charke beberapa alamat acak dalam memori.

Sementara

#include <stdlib.h>
#include <stdio.h>

int main()
{
    char *x=NULL;

    if (x==NULL)
        printf("is NULL\n");

    return EXIT_SUCCESS;
}

tidak, pada kenyataannya, mencetak

adalah NULL

ketika saya mengompilasi dan menjalankannya, saya khawatir bahwa saya mengandalkan perilaku yang tidak ditentukan, atau setidaknya perilaku yang kurang ditentukan, dan bahwa saya harus menulis

char *x;
x=NULL;

sebagai gantinya.

Apakah mungkin untuk menginisialisasi pointer C ke NULL?

TL; DR Ya, sangat banyak.

The klaim yang sebenarnya dibuat pada panduan dibaca seperti

Di sisi lain, jika Anda hanya menggunakan satu tugas awal, int *my_int_ptr = 2;program akan mencoba untuk mengisi isi dari lokasi memori yang ditunjuk oleh my_int_ptrnilai 2. Karena my_int_ptrdiisi dengan sampah, itu bisa alamat apapun. [...]

Yah, mereka adalah salah, Anda benar.

Untuk pernyataan, ( mengabaikan, untuk saat ini, fakta bahwa penunjuk ke konversi integer adalah perilaku yang ditentukan implementasi )

int * my_int_ptr = 2;

my_int_ptradalah variabel (tipe pointer ke int), ia memiliki alamat sendiri (tipe: alamat pointer ke integer), Anda menyimpan nilai 2ke dalam yang alamat.

Sekarang, my_int_ptrsebagai tipe penunjuk, bisa kita katakan, ini menunjuk ke nilai "type" di lokasi memori yang ditunjukkan oleh nilai yang dipegang my_int_ptr. Jadi, Anda pada dasarnya menempatkan nilai dari variabel pointer, bukan nilai dari lokasi memori yang ditunjuk oleh pointer.

Jadi, sebagai kesimpulan

 char *x=NULL;

menginisialisasi variabel pointer xke NULL, bukan nilai di alamat memori yang ditunjukkan oleh pointer .

Ini sama dengan

 char *x;
 x = NULL;    

Ekspansi:

Sekarang, menjadi benar-benar sesuai, pernyataan seperti

 int * my_int_ptr = 2;

ilegal, karena melibatkan pelanggaran batasan. Untuk lebih jelasnya,

• my_int_ptr adalah variabel penunjuk, ketik int *
• konstanta integer, 2memiliki tipe int, menurut definisi.

dan mereka bukan tipe yang "kompatibel", jadi inisialisasi ini tidak valid karena melanggar aturan penetapan sederhana, yang disebutkan dalam bab §6.5.16.1 / P1, yang dijelaskan dalam jawaban Lundin .

Jika ada yang tertarik bagaimana inisialisasi dihubungkan dengan batasan tugas sederhana, kutipan C11, bab §6.7.9, P11

Penginisialisasi untuk skalar harus berupa ekspresi tunggal, secara opsional diapit oleh tanda kurung. Nilai awal objek adalah ekspresi (setelah konversi); batasan jenis dan konversi yang sama seperti untuk penetapan sederhana berlaku, menjadikan jenis skalar sebagai versi yang tidak memenuhi syarat dari jenis yang dideklarasikan.

Tutorialnya salah. Dalam ISO C, int *my_int_ptr = 2;adalah kesalahan. Di GNU C, artinya sama dengan int *my_int_ptr = (int *)2;. Ini mengubah integer 2menjadi alamat memori, dengan cara tertentu seperti yang ditentukan oleh kompilator.

Itu tidak mencoba untuk menyimpan apa pun di lokasi yang dialamatkan oleh alamat itu (jika ada). Jika Anda melanjutkan menulis *my_int_ptr = 5;, maka itu akan mencoba menyimpan nomor 5di lokasi yang dialamatkan oleh alamat itu.

Untuk memperjelas mengapa tutorial salah, int *my_int_ptr = 2;merupakan "pelanggaran batasan", ini adalah kode yang tidak diperbolehkan untuk dikompilasi dan kompilator harus memberi Anda diagnosis saat menghadapinya.

Sesuai 6.5.16.1 Penugasan sederhana:

Kendala

Salah satu dari berikut ini akan berlaku:

• operan kiri memiliki tipe aritmatika atom, memenuhi syarat, atau tidak memenuhi syarat, dan operan kanan memiliki tipe aritmatika;
• operan kiri memiliki versi atom, memenuhi syarat, atau tidak memenuhi syarat dari struktur atau tipe gabungan yang kompatibel dengan tipe kanan;
• operan kiri memiliki tipe pointer atomik, memenuhi syarat, atau tidak memenuhi syarat, dan (mengingat tipe yang akan dimiliki operan kiri setelah konversi nilai l) kedua operan adalah pointer ke versi yang memenuhi syarat atau tidak memenuhi syarat dari tipe yang kompatibel, dan tipe yang ditunjukkan oleh kiri memiliki semuanya kualifikasi dari jenis yang ditunjuk oleh hak;
• operan kiri memiliki tipe penunjuk atomik, memenuhi syarat, atau tidak memenuhi syarat, dan (mengingat jenis yang akan dimiliki operan kiri setelah konversi nilai l) satu operan adalah penunjuk ke tipe objek, dan yang lainnya adalah penunjuk ke versi yang memenuhi syarat atau tidak memenuhi syarat kosong, dan tipe yang ditunjukkan di sebelah kiri memiliki semua kualifikasi dari tipe yang ditunjukkan oleh kanan;
• operan kiri adalah pointer atomik, memenuhi syarat, atau tidak memenuhi syarat, dan kanan adalah konstanta pointer nol; atau
• operan kiri memiliki tipe atomic, qualified, or unqualified _Bool, dan right adalah pointer.

Dalam hal ini operan kiri adalah penunjuk yang tidak memenuhi syarat. Tidak ada yang menyebutkan bahwa operan kanan diperbolehkan menjadi integer (tipe aritmatika). Jadi kodenya melanggar standar C.

GCC diketahui berperilaku buruk kecuali Anda secara eksplisit memberitahukannya sebagai compiler C standar. Jika Anda mengkompilasi kode sebagai -std=c11 -pedantic-errors, itu akan memberikan diagnosis yang benar seperti yang harus dilakukan.

int *my_int_ptr = 2

menyimpan nilai integer 2 ke alamat acak apa pun yang ada di my_int_ptr saat dialokasikan.

Ini sepenuhnya salah. Jika ini benar-benar ditulis, dapatkan buku atau tutorial yang lebih baik.

int *my_int_ptr = 2mendefinisikan pointer integer yang menunjuk ke alamat 2. Kemungkinan besar Anda akan mengalami crash jika Anda mencoba mengakses alamat 2.

*my_int_ptr = 2, yaitu tanpa intdi baris, menyimpan nilai dua ke alamat acak mana pun my_int_ptryang ditunjuk. Setelah mengatakan ini, Anda dapat menetapkan NULLke pointer saat sudah ditentukan. char *x=NULL;sangat valid C.

Sunting: Saat menulis ini, saya tidak tahu bahwa konversi integer ke pointer adalah implementasi perilaku yang ditentukan. Silakan lihat jawaban bagus oleh @MM dan @SouravGhosh untuk detailnya.

Banyak kebingungan tentang petunjuk C berasal dari pilihan yang sangat buruk yang awalnya dibuat terkait gaya pengkodean, diperkuat oleh pilihan kecil yang sangat buruk dalam sintaks bahasa.

int *x = NULL;benar C, tetapi sangat menyesatkan, saya bahkan akan mengatakan tidak masuk akal, dan itu telah menghambat pemahaman bahasa bagi banyak pemula. Itu membuat orang berpikir bahwa nanti kita bisa melakukan *x = NULL;yang tentu saja tidak mungkin. Anda lihat, jenis variabelnya bukan int, dan nama variabelnya bukan *x, dan *deklarasi in juga tidak memainkan peran fungsional apa pun yang berkolaborasi dengan =. Ini murni deklaratif. Jadi, yang lebih masuk akal adalah ini:

int* x = NULL;yang juga benar C, meskipun tidak sesuai dengan gaya pengkodean K&R asli. Itu membuatnya sangat jelas bahwa tipenya adalah int*, dan variabel pointernya adalah x, sehingga menjadi bukti jelas bahkan bagi yang belum tahu bahwa nilainya NULLdisimpan ke xdalamnya, yang merupakan pointer ke int.

Selain itu, akan lebih mudah untuk mendapatkan aturan: ketika bintang jauh dari nama variabel maka itu adalah deklarasi, sedangkan bintang yang dilampirkan ke nama adalah dereferensi penunjuk.

Jadi, sekarang menjadi jauh lebih dapat dimengerti bahwa lebih jauh kita bisa melakukan x = NULL;atau *x = 2;dengan kata lain memudahkan seorang pemula untuk melihat bagaimana variable = expressionmengarah ke pointer-type variable = pointer-expressiondan dereferenced-pointer-variable = expression. (Untuk awal, dengan 'ekspresi' maksud saya 'nilai r'.)

Pilihan yang tidak menguntungkan dalam sintaks bahasa adalah ketika mendeklarasikan variabel lokal Anda dapat mengatakan int i, *p;yang mendeklarasikan integer dan pointer ke integer, sehingga membuat orang percaya bahwa *adalah bagian yang berguna dari nama tersebut. Tetapi tidak, dan sintaks ini hanyalah kasus khusus yang unik, ditambahkan untuk kenyamanan, dan menurut saya seharusnya tidak pernah ada, karena itu membatalkan aturan yang saya usulkan di atas. Sejauh yang saya tahu, tidak ada tempat lain dalam bahasa ini yang memiliki makna sintaksis ini, tetapi meskipun demikian, ini menunjukkan perbedaan dalam cara jenis penunjuk didefinisikan di C. Di mana pun, dalam deklarasi variabel tunggal, dalam daftar parameter, di anggota struct, dll. Anda dapat mendeklarasikan pointer Anda sebagai type* pointer-variablepengganti type *pointer-variable; itu sangat legal dan lebih masuk akal.

Saya ingin menambahkan sesuatu yang ortogonal ke banyak jawaban yang sangat bagus. Sebenarnya, menginisialisasi ke NULLjauh dari praktik yang buruk dan mungkin berguna jika penunjuk itu mungkin atau mungkin tidak digunakan untuk menyimpan blok memori yang dialokasikan secara dinamis.

int * p = NULL;
...
if (...) {
    p = (int*) malloc(...);
    ...
}
...
free(p);

Karena menurut standar ISO-IEC 9899 free adalah nop jika argumennya adalah NULL, kode di atas (atau sesuatu yang lebih bermakna di sepanjang baris yang sama) adalah sah.

ini adalah penunjuk nol

int * nullPtr = (void*) 0;

Ini benar.

int main()
{
    char * x = NULL;

    if (x==NULL)
        printf("is NULL\n");

    return EXIT_SUCCESS;
}

Fungsi ini benar untuk apa yang dilakukannya. Ini memberikan alamat 0 ke char pointer x. Artinya, ini mengarahkan penunjuk x ke alamat memori 0.

Alternatif:

int main()
{
    char* x = 0;

    if ( !x )
        printf(" x points to NULL\n");

    return EXIT_SUCCESS;
}

Tebakan saya tentang apa yang Anda inginkan adalah:

int main()
{
    char* x = NULL;
    x = alloc( sizeof( char ));
    *x = '2';

    if ( *x == '2' )
        printf(" x points to an address/location that contains a '2' \n");

    return EXIT_SUCCESS;
}

x is the street address of a house. *x examines the contents of that house.