Bilgisayar biliminde gayb mümkün mü?

Undefined behavior -kısaltırsak (UB)- runtime'da programın nasıl davranacağını Allah'dan celle celaluh başka kimsenin bilmeyeceği; programcıların kesinlikle kesinlikle kaçınması gereken durumlardır. UB'de derleyiclerin belirli bir şekilde kod üreteceği kesin değildir. Peki neden UB vardır? Neden derleyiciler buna izin verir?

Çünkü C ve C++ derleyicileri kodu optimize eden derleyicilerdir. Yani yazılan kaynak kodu yeniden düzenlerler. Bu öyle ki derleyicinin dili olsa, kodu yazan programcıya bu kodu senin yazdığını mı zannediyorsun diye sorsa cevap veremez; o kadar. Öyle durumlar var ki insan aklının ötesinde optimizasyon yapıyor derleyiciler dersek yanılmayız sanırım.

Bir de unspecified behavior vardır. Bu UB'den farklı olup derleyicinin nasıl kod üreteceği konusunda herhangi bir bağlayıcılığı yoktur. Örneğin;

x = f1() +(f2()*5); atamasında ilk önce hangi fonksiyonun çağıralacağı sorulsa cevabı bilinmezdir. Ama bu durum programcının başına bela açmayacağı yönüyle UB'den farklıdır.

const char* p1 = "oytun";

const char* p2 = "oytun";

if(p1 ==p2){

} UB'ye örnektir ve kod programcının beklentisine uygun olarak çalışabilir ki bu en tehlikeli durumdur.

Unspecified behavior'da derleyici tarafından her zaman aynı kod üretilcek diyemeyiz.

Son olarak implementation defined behavior vardır. Unspecified behavior'ın alt kategorisidir. Farkları; implementation defined durumunu derleyiciler dökümante etmek zorundadır; bu da demektir ki derleyici hep aynı yolu seçerek derleme yapar.

Tüm yazdıklarım neticesinde tekrarlamak istediğim sorular şunlardır: neden gayb var? neden gaybın var olduğunu biliyoruz ama gaybı Allah'dan celle celaluh başkası bilemez?^[1]

Bir tanımla katkıda bulunmam gerek diye düşünüyorum yazdıklarımı okuyacak sizlere:

Gayb: Arapça’da “gizli kalmak, gizlenmek, görünmemek, uzaklaşmak, gözden kaybolmak” anlamında masdar ve “gizlenen, hazırda olmayan bulunmayan şey” mânasında isim veya sıfat olarak kullanılır (Lisânü’l-ʿArab, “ġyb” md.; Fîrûzâbâdî, el-Ḳāmûsü’l-muḥîṭ, “ġyb” md.).