C'de geçersiz işaretçi için işaretçi aritmetiği

Özel bir tipine karşı bir işaretçi (örneğin zaman int, char, float, ..) artırılır, değeri veri türü büyüklüğü artar. voidBoyut verilerini gösteren bir işaretçi xartırılırsa, xilerideki baytları nasıl işaret eder ? Derleyici xişaretçinin değerine nasıl katkıda bulunacağını nasıl biliyor ?

Nihai sonuç: a üzerindeki aritmetik hem C hem de C ++ ' void*da yasa dışıdır .

GCC buna bir uzantı olarak izin verir, bkz. Aritmetik açık void- ve İşlev İşaretçileri (bu bölümün kılavuzun "C Uzantıları" bölümünün bir parçası olduğunu unutmayın). Clang ve ICC muhtemelen void*GCC ile uyumluluk amacıyla aritmetiğe izin verir . Diğer derleyiciler (MSVC gibi) aritmetiği açmaya izin vermez void*ve GCC, -pedantic-errorsbayrak belirtilirse veya bayrak belirtilirse buna izin vermez -Werror-pointer-arith(kod tabanınızın da MSVC ile derlenmesi gerekiyorsa bu bayrak yararlıdır).

C Standardı Konuşuyor

Alıntılar n1256 taslağından alınmıştır.

Standardın toplama işlemi ile ilgili açıklaması:

6.5.6-2: Ekleme için, her iki işlenen de aritmetik tipte olmalı ya da bir işlenen bir nesne tipine işaretçi ve diğeri de tamsayı tipinde olmalıdır.

Dolayısıyla, buradaki soru void*, bir "nesne tipine" işaretçi mi , yoksa eşdeğer olarak void"nesne tipine" mi ait olduğudur. "Nesne türü" tanımı:

6.2.5.1: Türler, nesne türlerine (nesneleri tam olarak açıklayan türler), işlev türlerine (işlevleri açıklayan türlere) ve eksik türlere (nesneleri tanımlayan ancak boyutlarını belirlemek için gereken bilgiye sahip olmayan türler ) bölünmüştür .

Ve standart şu voidşekilde tanımlar :

6.2.5-19: voidTür boş bir değer kümesi içerir; tamamlanamayan eksik bir tür.

Yana voidtamamlanmamış bir türüdür, bir nesne türü değil. Bu nedenle, toplama işlemi için geçerli bir işlenen değildir.

Bu nedenle, bir voidişaretçide işaretçi aritmetiği gerçekleştiremezsiniz .

notlar

Başlangıçta, void*C standardının bu bölümleri nedeniyle aritmetiğe izin verildiği düşünülüyordu :

6.2.5-27: Geçersiz bir işaretçi, bir karakter türüne işaretçi ile aynı temsil ve hizalama gereksinimlerine sahip olmalıdır.

Ancak,

Aynı temsil ve hizalama gereklilikleri, işlevlere argümanlar, işlevlerden değer döndürme ve sendika üyeleri olarak değiştirilebilirlik anlamına gelir.

Bu yollarla Yani printf("%s", x)bakılmaksızın aynı anlama sahiptir xtürü vardır char*ya void*, ama bir aritmetik yapabileceği anlamına gelmez void*.

Editörün notu: Bu cevap nihai sonucu yansıtacak şekilde düzenlendi.

İşaretçilerde işaretçi aritmetiğine izin verilmez void*.

karakter imlecine x işaretini ilerletir.

C standart izin vermez boşluk işaretçi aritmetik. Ancak, GNU C büyüklüğü dikkate alınarak izin verilir boşluk DİR 1.

C11 standardı §6.2.5

Paragraf - 19

voidTürü değerleri boş bir dizi içerir; bir olan tamamlanmamış nesne türü tamamlanamaz.

Aşağıdaki program GCC derleyicide iyi çalışıyor.

#include<stdio.h>

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

Diğer derleyiciler hata oluşturabilir.

void *Tam olarak bu nedenle tiplerde işaretçi aritmetiği yapamazsınız !

İşaretçi aritmetiği yapmadan önce başka bir işaretçi türüne yayınlamanız gerekir.

Geçersiz işaretçiler herhangi bir bellek yığınına işaret edebilir. Bu nedenle derleyici, boş bir işaretçide işaretçi aritmetiği denediğimizde kaç baytın artırılacağını / azaltılacağını bilmez. Bu nedenle, boş işaretçiler, herhangi bir işaretçi aritmetiğine katılabilmeleri için önce bilinen bir türe ilk tip olarak yazılmalıdır.

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.

Derleyici türünü bilir. Verilen void *x:

• x+1bir bayt ekler x, işaretçi bayta giderx+1
• (int*)x+1sizeof(int)bayt ekler , işaretçi bayta giderx + sizeof(int)
• (float*)x+1adresler sizeof(float)bayt, vb.

İlk öğe taşınabilir değildir ve C / C ++ Galateo'ya karşıdır, yine de C dilinde doğrudur, yani muhtemelen uygun bir bayrak (-Wpointer-arith gibi) gerektiren birçok derleyicide bir şey derleyecektir.