Özellikle, malloc'un sonucunu oluşturmakla ilgili tehlikeli olan nedir?

Şimdi insanlar bunu bir kopya olarak işaretlemeye başlamadan önce, aradığım cevabı hiçbiri sağlamayan aşağıdakilerin hepsini okudum:

1. C SSS: malloc'un dönüş değerini dökümde yanlış olan ne?
2. SO: malloc () 'un dönüş değerini açıkça değiştirmeli miyim?
3. SO: C'deki gereksiz işaretçiler
4. SO: Malloc'un sonucunu yayınlıyor muyum?

Hem C SSS'si hem de yukarıdaki sorulara verilen birçok cevap, çevrimin mallocdönüş değerinin gizleyebileceği gizemli bir hatadan bahsediyor ; ancak bunların hiçbiri pratikte böyle bir hatanın belirli bir örneğini vermez. Şimdi uyarı değil hata dediğime dikkat edin .

Şimdi aşağıdaki kod verilmiştir:

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

int main(int argc, char** argv) {

    char * p = /*(char*)*/malloc(10);
    strcpy(p, "hello");
    printf("%s\n", p);

    return 0;
}

Yukarıdaki kodu gcc 4.2 ile cast ile ve olmadan derlemek aynı uyarıları verir ve program düzgün bir şekilde çalışır ve her iki durumda da aynı sonuçları verir.

anon@anon:~/$ gcc -Wextra nostdlib_malloc.c -o nostdlib_malloc
nostdlib_malloc.c: In function ‘main’:
nostdlib_malloc.c:7: warning: incompatible implicit declaration of built-in function ‘malloc’
anon@anon:~/$ ./nostdlib_malloc 
hello

Öyleyse herhangi biri, dökümün mallocdönüş değeri nedeniyle oluşabilecek bir derleme veya çalışma zamanı hatası için belirli bir kod örneği verebilir mi, yoksa bu sadece bir şehir efsanesi mi?

Düzenleme Bu konuyla ilgili iyi yazılmış iki argümanla karşılaştım:

1. Casting Lehine: CERT Advisory: Bir bellek ayırma fonksiyonu çağrısının sonucunu hemen tahsis edilen tipe bir göstericiye çevirin
2. Yayına Karşı (2012-02-14 itibariyle 404 hatası: 2010-01-27 tarihli İnternet Arşivi Wayback Makinesi kopyasını kullanın . {2016-03-18: "robots.txt nedeniyle sayfa taranamıyor veya görüntülenemiyor."})

Derleyici hatası almazsınız , ancak bir derleyici uyarısı alırsınız . Alıntı yaptığınız kaynakların söylediği gibi (özellikle birincisi ), siz yapabilirsiniz tahmin edilemez bir olsun çalışma zamanı hatası döküm kullanırken dahil olmadanstdlib.h .

Yani sizin tarafınızdaki hata oyuncu kadrosu değil, eklemeyi unutmaktır stdlib.h. Derleyiciler varsayabiliriz mallocbir işlev döndürüyor int, bu nedenle dönüştürerek void*aslında tarafından döndürülen işaretçi mallociçin intve ardından işaretçi türü nedeniyle açık döküm için. Bazı platformlarda intve işaretçiler farklı sayıda bayt alabilir, bu nedenle tür dönüştürmeleri veri bozulmasına neden olabilir.

Neyse ki, modern derleyiciler gerçek hatanıza işaret eden uyarılar verir. Sağladığınız gccçıktıya bakın : Örtük bildirimin ( int malloc(int)) yerleşik ile uyumsuz olduğu konusunda sizi uyarır malloc. Öyleyse, onsuz bile gccbiliyor gibi görünüyormallocstdlib.h .

Bu hatayı önlemek için alçıdan çıkmak, çoğunlukla yazmakla aynı mantıktır.

if (0 == my_var)

onun yerine

if (my_var == 0)

İkincisi ciddi hata neden olabilir çünkü bir şaşırtmak olsaydı =ve ==ilki bir derleme hatasına yol açacak oysa. Kişisel olarak, niyetimi daha iyi yansıttığı için ikinci stili tercih ediyorum ve bu hatayı yapma eğiliminde değilim.

Aynı şey şu şekilde döndürülen değeri çevirmek için de geçerlidir malloc: Programlamada açık olmayı tercih ederim ve genel olarak kullandığım tüm işlevler için başlık dosyalarını dahil etmeyi iki kez kontrol ederim.

Sonucun ortaya atılmasına karşı iyi üst düzey argümanlardan biri malloc , bence, iyi bilinen alt düzey sorunlardan daha önemli olsa da (bildiri eksik olduğunda işaretçiyi kesmek gibi) çoğu zaman bırakılır.

İyi bir programlama uygulaması, mümkün olduğunca türden bağımsız olan kod yazmaktır. Bu, özellikle, tür adlarının kodda mümkün olduğunca az belirtilmesi veya en iyisi hiç belirtilmemesi gerektiği anlamına gelir. Bu, yayınlar (gereksiz dönüştürmelerden kaçının), argümanlar olarak türler sizeof(tür adlarını kullanmaktan kaçının sizeof) ve genellikle tür adlarına yönelik tüm diğer başvurular için geçerlidir.

Tip isimleri bildirimlere aittir. Tür adları mümkün olduğunca bildirimlerle ve yalnızca bildirimlerle sınırlandırılmalıdır.

Bu açıdan bakıldığında, bu kod parçası kötü

int *p;
...
p = (int*) malloc(n * sizeof(int));

ve bu çok daha iyi

int *p;
...
p = malloc(n * sizeof *p);

sadece "sonucunu mallocyayınlamadığı" için değil, daha ziyade tipten bağımsız olduğu için (veya isterseniz tip agnositik olduğu için), çünkü pherhangi bir müdahaleye gerek kalmadan kendini otomatik olarak bildirilen türe göre ayarlar . Kullanıcı.

Prototiplenmemiş işlevlerin döndüğü varsayılır int .

Yani intbir işaretçiye atıyorsun . İşaretçiler daha genişseint platformunuzdakilerden , bu oldukça riskli bir davranıştır.

Artı, tabii ki, bazı insanlar uyarıları dikkate Buna olmak hata görürler, yani kodlar onlar olmadan derlenmelidir.

Kişisel olarak, void *başka bir işaretçi tipine çevirmenize gerek olmadığı gerçeğinin C'deki bir özellik olduğunu düşünüyorum ve kırılması gereken kodu göz önünde bulundurun.

64-bit kipte derleme yaparken bunu yaparsanız, döndürülen göstericiniz 32-bit olarak kesilecektir.

DÜZENLEME: Çok kısa olduğum için üzgünüm. İşte tartışma amaçlı örnek bir kod parçası.

ana()
{
   karakter * c = (karakter *) malloc (2);
   printf ("% p", c);
}

Döndürülen yığın işaretçisinin, örneğin 0xAB00000000 gibi bir int içinde gösterilenden daha büyük bir şey olduğunu varsayalım.

Malloc bir gösterici döndürmek için prototiplenmemişse, döndürülen int değeri başlangıçta tüm önemli bit kümesiyle bazı kayıtlarda olacaktır. Şimdi derleyici "tamam, nasıl bir göstericiye dönüştürürüm ve int" der. Bu, malloc'un prototipi çıkararak "geri döndüğü" söylendiği düşük dereceli 32 bitlerin bir işaret uzantısı veya sıfır uzantısı olacaktır. İnt işaretli olduğundan, dönüşümün işaret uzantısı olacağını düşünüyorum, bu durumda değeri sıfıra dönüştürecek. 0xABF0000000 dönüş değeri ile sıfırdan farklı bir işaretçi elde edersiniz, bu da referansını kaldırmaya çalıştığınızda biraz eğlenceye neden olur.

Yeniden Kullanılabilir Yazılım Kuralı:

Malloc () kullanılan bir satır içi işlev yazılması durumunda, C ++ kodu için de yeniden kullanılabilir hale getirmek için, lütfen açık bir tür çevirimi yapın (örn. (Char *)); aksi takdirde derleyici şikayet eder.

C'deki bir void işaretçisi, açık bir çevrim olmadan herhangi bir işaretçiye atanabilir. Derleyici uyarı verir, ancak C ++ ' da türün malloc()karşılık gelen türe dönüştürülmesiyle yeniden kullanılabilir . Dışarı tip çevrim ile C de kullanılabilir , çünkü C katı tip denetimi değildir . Ancak C ++ kesinlikle tür denetimidir, bu nedenle malloc()C ++ 'da cast yazılması gerekir.