C++ programcısı, sıradan bir kod yazarı değil; küçük bir evrenin demiurgosudur. Bir nesne yaratır, ona adres verir, ömür biçer, başka varlıklara referans olarak sunar ve sonra en kritik soruyla baş başa kalır: Bu şey ne zaman yok olacak? Çöp toplayıcısı olan dillerde bu soru çoğu zaman bürokrasiye devredilir. Java ya da C# evreninde ölüm, arka planda çalışan görünmez bir memurun dosya kapatması gibidir. C++’ta ise ölüm törenini bizzat sen düzenlersin. Unutursan, ölüler dolaşmaya devam eder.
Bu nedenle C++’ta bellek yönetimi yalnızca teknik bir mesele değildir; bir sahiplik felsefesidir. new ile bir nesne yarattığında, aslında şunu söylersin: Bu varlığın sorumluluğunu üstleniyorum. delete çağrısını unutmak sadece birkaç baytın kaybolması değildir; nedensellik zincirinde kapanmamış bir parantez bırakmaktır. Program çalışmaya devam edebilir, testler yeşil yanabilir, müşteri mutlu görünebilir. Ama heap’in karanlık köşesinde, adı konmamış bir sızıntı büyür. C++ bize şunu öğretir: Görünmeyen borç, borç olmaktan çıkmaz.
Sahiplik: Belleğin Ahlakı
Modern C++ bu ontolojik ağırlığı tamamen kaldırmaz; onu biçimlendirir. RAII, yani Resource Acquisition Is Initialization, C++ kültürünün belki de en asil ilkesidir. Kaynağı edinirken onu bir nesnenin ömrüne bağlarsın. Nesne scope dışına çıktığında destructor devreye girer ve kaynak kapanır. Bu, programlamada stoacı bir disiplindir: Doğum ile ölüm aynı yapının içine yerleştirilir. Böylece yok oluş, paniğe değil düzene bağlanır.
unique_ptr bu ahlakın keskin kılıcıdır. Bir nesnenin tek sahibi vardır; kimin sorumlu olduğu tartışmasızdır. shared_ptr ise daha diplomatik ama daha tehlikelidir: Sorumluluk paylaşılır, sayaçlar tutulur, herkes biraz sahip olur. Fakat herkesin biraz sahip olduğu yerde bazen hiç kimse gerçekten sahip değildir. Döngüsel referanslar bu yüzden trajiktir; iki nesne birbirini yaşatır, ikisi de ölemez. Bu, yazılımın küçük mitolojisinde lanetlenmiş ölümsüzlüktür.
Ham işaretçiler ise C++’ın çıplak hakikatidir. Bir int* ya da Foo* gördüğünde, karşında bir adres vardır; ama bu adresin anlamı belirsizdir. Sahip mi? Sadece bakıyor mu? Silmeli mi? Yoksa dokunmamalı mı? İşte burada tasarımın dili önem kazanır. C++’ta iyi kod, yalnızca çalışan kod değildir; niyetini belli eden koddur. Bir fonksiyon parametresine Foo* vermek ile Foo& vermek, unique_ptr taşımak ile const Foo& göstermek arasında ontolojik fark vardır. Bunlar sadece sözdizimi değil, varlık ilişkileridir.
Çöp Toplayıcısız Evrenin Avantajı
Elbette bu yükün karşılığında güç gelir. C++ programcısı belleğin ritmini duyar. Nesnenin stack’te mi heap’te mi yaşadığını bilir. Cache locality, deterministic destruction, move semantics, allocator stratejileri gibi kavramlar ona makinenin nabzını verir. Çöp toplayıcısı gecikmeli bir kıyamet düzenlerken, C++ çoğu zaman anlık ve kesin bir son sunar. Bir dosya tanıtıcısı scope bitince kapanır. Bir mutex lock_guard ölünce bırakılır. Bir buffer, sahibiyle birlikte sessizce yok olur. Bu kesinlik, düşük gecikmeli sistemlerde, oyun motorlarında, gömülü yazılımlarda ve finansal altyapılarda yalnızca estetik değil, zorunluluktur.
Fakat güç sarhoşluğu tehlikelidir. C++’ta Tanrı rolüne soyunup destructor yazmayı unutursan, evrenin çatlaklarından bellek sızar. Dangling pointer, use-after-free, double delete gibi hatalar, programcının kozmik kibir anlarıdır. Bir nesneyi öldürüp hâlâ onunla konuşmaya çalışmak, mezarlığa API çağrısı göndermek gibidir. C++ buna bazen segfault ile cevap verir: Kısa, sert ve öğretici.
Sonuçta C++ bize derin bir ders verir: Özgürlük, otomasyon eksikliği değil, sorumluluk fazlalığıdır. Çöp toplayıcısı olmayan bir dilde programcı, yarattığı nesnenin yalnızca biçiminden değil, sonundan da sorumludur. İyi C++ yazmak, her şeyi elle silmek demek değildir; sahipliği doğru modellemek, ömrü açıkça tasarlamak ve yok oluşu sisteme zarifçe yerleştirmektir. Bellek yönetimi burada bir muhasebe değil, disiplinli bir varoluş sanatıdır. Çünkü C++’ta her nesne bir gün ölür; mesele, onun huzur içinde mi yoksa üretim ortamında bağırarak mı öleceğidir.