Tanımsız davranış , C ve C ++ dilinin diğer dillerden gelen programcılar için şaşırtıcı olabilecek yönlerinden biridir (diğer diller daha iyi gizlemeye çalışır). Temel olarak, birçok C ++ derleyicisi programda herhangi bir hata rapor etmese bile, öngörülebilir bir şekilde davranmayan C ++ programları yazmak mümkündür!
Klasik bir örneğe bakalım:
#include <iostream>
int main()
{
char* p = "hello!\n"; // yes I know, deprecated conversion
p[0] = 'y';
p[5] = 'w';
std::cout << p;
}
Değişken pdize değişmezine işaret eder "hello!\n"ve aşağıdaki iki atama bu dize değişmez değerini değiştirmeye çalışır. Bu program ne yapıyor? C ++ standardının 2.14.5. Paragrafına göre, tanımlanmamış davranışı başlatır :
Bir dizgi değişmezini değiştirmeye çalışmanın etkisi tanımlanmamıştır.
İnsanları çığlık duyabiliyorum "Ama bekle, bunu hiçbir sorun derlemeyebilir ve çıktı alabilirim yellow" veya "Ne demek tanımsız, dizgi değişmezleri salt okunur bellekte saklanır, böylece ilk atama denemesi çekirdek dökümü ile sonuçlanır". Bu tam olarak tanımlanmamış davranış sorunudur. Temel olarak, standart, tanımlanmamış davranışları (hatta burun iblisleri) çağırdıktan sonra her şeyin olmasına izin verir. Dilin zihinsel modelinize göre "doğru" bir davranış varsa, bu model yanlıştır; C ++ standardının tek oylama süresi vardır.
Tanımlanmamış davranış diğer örnekleri olarak, sınırlarının ötesinde bir dizi erişim içerir boş işaretçiyi kaldırma , bunların kullanım süresi sona erdikten sonra da nesneleri erişme ya da yazılı olduğu iddia edilen akıllı ifadeler gibi i++ + ++i.
C ++ standardının 1.9 bölümü, tanımlanmamış davranışın daha az tehlikeli iki kardeşini, belirtilmemiş davranışı ve uygulama tanımlı davranışı belirtmektedir :
Bu Uluslararası Standarttaki semantik açıklamalar, parametreleştirilmiş belirsiz bir soyut makineyi tanımlar.
Soyut makinenin belirli yönleri ve işlemleri bu Uluslararası Standartta uygulama tanımlı olarak tanımlanmaktadır (örneğin sizeof(int)). Bunlar soyut makinenin parametrelerini oluşturur. Her uygulama, bu bakımdan özelliklerini ve davranışını açıklayan belgeleri içermelidir.
Soyut makinenin diğer bazı yönleri ve işlemleri bu Uluslararası Standartta belirtilmemiş olarak tanımlanır (örneğin, bir işleve yönelik argümanların değerlendirme sırası). Mümkün olduğunda, bu Uluslararası Standart bir dizi izin verilebilir davranış tanımlar. Bunlar soyut makinenin belirsiz olmayan yönlerini tanımlar.
Bazı diğer işlemler bu Uluslararası Standartta tanımlanmamış olarak tanımlanmıştır (örneğin, boş göstergenin kayıttan çıkarılmasının etkisi). [ Not : bu Uluslararası Standart, tanımlanmamış davranış içeren programların davranışları için herhangi bir gereklilik getirmez. - son not ]
Özellikle, bölüm 1.3.24:
İzin verilen tanımlanamayan davranış durumu öngörülemeyen sonuçlarla tamamen görmezden gelmekten, çeviri veya programın yürütülmesi sırasında ortamın karakteristiği olan (tanı mesajı verilmiş veya verilmeden) belgelenmiş bir şekilde davranmaya, bir çeviriyi veya yürütmeyi sonlandırmaya kadar değişir. bir teşhis mesajı).
Tanımlanmamış davranışa girmekten kaçınmak için ne yapabilirsiniz? Temel olarak, neden bahsettiklerini bilen yazarların iyi C ++ kitaplarını okumalısınız . Vidalı internet öğreticileri. Vida bullschildt.