Sıfır uzunluktaki diziye bir işaretçinin özellikleri

Düşünmek

int main()
{
    auto a = new int[0];
    delete[] a; // So there's no memory leak
}

Kopya başlatma ve silme arasında, işaretçiyi adresinde okuyabilir misiniz a + 1?

Ayrıca, dil derleyicinin ayarlanmasına izin averiyor nullptrmu?

    auto a = new int[0];

Göre [basic.compound.3] , depolanan değeri aaşağıdakilerden biri olmalıdır:

1. Bir nesneye işaretçi (türünde int)
2. Bir nesnenin sonunu geçen bir işaretçi
3. Boş
4. Geçersiz

Yapılmış tipte bir nesne olmadığı için ilk olasılığı göz ardı edebiliriz int. Üçüncü olasılık, C ++ 'nın null olmayan bir işaretçi döndürülmesini gerektirdiği için reddedilir (bkz. [Basic.stc.dynamic.allocation.2] ). Böylece iki olasılık kalmıştır: bir nesnenin sonunu geçen bir işaretçi veya geçersiz bir işaretçi.

aSon bir işaretçi olarak görmeye meyilli olurum, ancak bunu kesin olarak belirlemek için saygın bir referansım yok. (Bununla birlikte, [basic.stc] 'de , deletebu işaretçiyi nasıl yapabileceğinizi gösteren güçlü bir ima vardır .) Bu yüzden bu cevapta her iki olasılığı da eğlendireceğim.

Kopya başlatma ve silme arasında, işaretçiyi adresinde okuyabilir misiniz a + 1?

Yukarıdakilerden hangisinin geçerli olduğuna bakılmaksızın, [expr.add.4] tarafından dikte edildiği gibi, davranış tanımsızdır .

Eğer abir son-uç işareti, o zaman indeksinde varsayımsal elemanına noktasına kabul edilir 0bir öğeye sahip olan bir dizi. Tamsayıyı ekleme jiçin asadece tanımlanan 0≤0+j≤nburada, ndizi boyutudur. Bizim durumumuzda, nsıfırdır, yani toplamı a+jyalnızca tanımlanır jolduğunu 0. Özellikle, ekleme 1tanımsızdır.

Eğer ageçersiz, o zaman girer temiz bir şekilde "Aksi takdirde, davranış tanımlanmamış." (Beklenmedik bir şekilde, tanımlanan durumlar yalnızca geçerli işaretçi değerlerini kapsar.)

Ayrıca, dil derleyicinin ayarlanmasına izin averiyor nullptrmu?

Hayır. Yukarıda belirtilen [basic.stc.dynamic.allocation.2] : "İstek başarılı olursa, değiştirilebilir bir ayırma işlevi tarafından döndürülen değer null olmayan bir işaretçi değeridir" . Ayrıca, C ++ 'ın (ancak C değil) sıfır talebine yanıt olarak null olmayan bir işaretçi gerektirdiğini söyleyen bir dipnot da vardır .

Sonucunda son CWG reflektör tartışma Başına editoryal sayısında 3178 , new int[0]henüz ne denir üretir "geçmiş-end" işaretçi değeri .

Bundan asonra null olamaz ve [expr.add] / 4a + 1 tarafından tanımlanmamıştır .