Aritmatika pointer untuk void pointer di C

Ketika pointer ke jenis tertentu (misalnya int, char, float, ..) bertambah, nilainya meningkat dengan ukuran jenis data. Jika sebuah voidpenunjuk yang menunjuk ke data ukuran xbertambah, bagaimana bisa sampai ke titik xbyte di depan? Bagaimana kompiler tahu untuk menambah xnilai pointer?

Kesimpulan akhir: aritmatika pada a void*adalah ilegal di C dan C ++.

GCC memungkinkannya sebagai ekstensi, lihat Aritmatika pada void- dan Function-Pointer (perhatikan bahwa bagian ini adalah bagian dari bab "C Extensions" pada manual). Dentang dan ICC kemungkinan memungkinkan void*aritmatika untuk tujuan kompatibilitas dengan GCC. Kompiler lain (seperti MSVC) melarang aritmatika aktif void*, dan GCC melarangnya jika -pedantic-errorsflag ditentukan, atau jika -Werror-pointer-arithflag ditentukan (flag ini berguna jika basis kode Anda juga harus dikompilasi dengan MSVC).

The C Standard Speaks

Kutipan diambil dari draft n1256.

Deskripsi standar tentang status operasi penjumlahan:

6.5.6-2: Sebagai tambahan, kedua operan harus memiliki tipe aritmatika, atau satu operan harus menjadi pointer ke tipe objek dan yang lainnya harus memiliki tipe integer.

Jadi, pertanyaannya di sini adalah apakah void*pointer ke "tipe objek", atau setara, apakah void"tipe objek". Definisi untuk "tipe objek" adalah:

6.2.5.1: Jenis dipartisi menjadi tipe objek (tipe yang sepenuhnya menggambarkan objek), tipe fungsi (tipe yang menggambarkan fungsi), dan tipe tidak lengkap (tipe yang menggambarkan objek tetapi kurang informasi yang dibutuhkan untuk menentukan ukurannya).

Dan standar didefinisikan voidsebagai:

6.2.5-19: voidJenis ini terdiri dari sekumpulan nilai kosong; ini adalah tipe tidak lengkap yang tidak dapat diselesaikan.

Karena voidini adalah tipe yang tidak lengkap, itu bukan tipe objek. Karenanya itu bukan operan yang valid untuk operasi penambahan.

Karena itu Anda tidak dapat melakukan aritmatika pointer pada voidpointer.

Catatan

Awalnya, ia berpikir bahwa void*aritmatika diizinkan, karena bagian-bagian dari standar C ini:

6.2.5-27: Sebuah pointer ke void harus memiliki persyaratan representasi dan perataan yang sama dengan pointer ke tipe karakter.

Namun,

Representasi yang sama dan persyaratan penyelarasan dimaksudkan untuk menyiratkan interchangeability sebagai argumen untuk fungsi, mengembalikan nilai dari fungsi, dan anggota serikat pekerja.

Jadi ini berarti yang printf("%s", x)memiliki arti yang sama apakah xmemiliki tipe char*atau void*, tetapi itu tidak berarti bahwa Anda dapat melakukan aritmatika pada a void*.

Catatan editor: Jawaban ini telah diedit untuk mencerminkan kesimpulan akhir.

Aritmatika pointer tidak diizinkan pada void*pointer.

melemparkannya ke pointer char peningkatan incaran Anda maju x byte di depan.

Standar C tidak memungkinkan aritmetika void pointer. Namun, GNU C diperbolehkan dengan mempertimbangkan ukuran void tersebut 1.

Standar C11 §6.2.5

Paragraf - 19

The voidTipe terdiri dari himpunan kosong dari nilai-nilai; itu adalah tipe objek tidak lengkap yang tidak dapat diselesaikan.

Program berikut berfungsi dengan baik di kompiler GCC.

#include<stdio.h>

int main()
{
    int arr[2] = {1, 2};
    void *ptr = &arr;
    ptr = ptr + sizeof(int);
    printf("%d\n", *(int *)ptr);
    return 0;
}

Mungkin kompiler lain menghasilkan kesalahan.

Anda tidak dapat melakukan aritmatika penunjuk pada void *tipe, untuk alasan yang tepat ini!

Anda harus melemparkannya ke jenis pointer lain sebelum melakukan aritmatika pointer.

Pointer kosong dapat mengarah ke potongan memori apa pun. Karenanya kompiler tidak tahu berapa byte yang bertambah / berkurang ketika kita mencoba pointer aritmatika pada void pointer. Oleh karena itu void pointer harus menjadi typecast pertama ke jenis yang diketahui sebelum mereka dapat terlibat dalam aritmatika pointer apa pun.

void *p = malloc(sizeof(char)*10);
p++; //compiler does how many where to pint the pointer after this increment operation

char * c = (char *)p;
c++;  // compiler will increment the c by 1, since size of char is 1 byte.

Kompiler tahu berdasarkan tipe pemain. Diberikan void *x:

• x+1menambahkan satu byte ke x, pointer menuju ke bytex+1
• (int*)x+1menambahkan sizeof(int)byte, pointer menuju ke bytex + sizeof(int)
• (float*)x+1addres sizeof(float)byte, dll.

Meskipun item pertama tidak portabel dan bertentangan dengan Galateo dari C / C ++, itu tetap benar dalam bahasa C, artinya ia akan dikompilasi ke sesuatu pada kebanyakan kompiler yang mungkin memerlukan bendera yang sesuai (seperti -Wpointer-arith)