C++26: Yeni Hata Ayıklama (Debugging) Başlık Dosyası

C++ projelerinde programatik olarak bir kesme noktasına (breakpoint) ulaşmak istediğinizde, muhtemelen derleyiciye ve platforma özel karmaşık önişlemci direktifleri yazmak zorunda kalmışsınızdır:

#if defined(_MSC_VER)
    __debugbreak();
#elif defined(__clang__)
    __builtin_debugtrap();
#elif defined(__GNUC__) && (defined(__i386__) || defined(__x86_64__))
    __asm__ volatile("int3");
#else
    raise(SIGTRAP);
#endif

Bugüne kadar her büyük C++ projesi bu tekerleği yeniden icat etti. Boost.Test içinde debugger_break(), Catch2 içinde CATCH_BREAK_INTO_DEBUGGER, Dear ImGui içinde IM_DEBUG_BREAK() ve Unreal Engine içinde UE_DEBUG_BREAK makroları tam olarak bu sorunu çözmek için yazıldı. Gerekli platform bilgisi araç geliştiricileri tarafından bilinse de standartlaştırılmamıştı. C++26, Rene Ferdinand Rivera Morell tarafından hazırlanan P2546R5 ve P2810R4 önerileriyle bu sorunu çözüyor ve yeni <debugging> başlık dosyası ile üç temel fonksiyon sunuyor.

Üç Temel Fonksiyon#

#include <debugging>

namespace std {
    void breakpoint() noexcept;
    bool is_debugger_present() noexcept;
    void breakpoint_if_debugging() noexcept;
}

Bu üç fonksiyonun tamamı noexcept ve freestanding (işletim sistemi gerektirmeyen ortamlarla uyumlu) olarak tanımlanmıştır. Hata ayıklama tamamen bir çalışma zamanı (runtime) konusu olduğu için hiçbiri constexpr değildir.

std::breakpoint()#

Koşulsuz bir kesme noktasıdır. Bir hata ayıklayıcı (debugger) bağlı olduğunda yürütme durur ve kontrol hata ayıklayıcıya geçer. x86 mimarisinde bu genellikle tek bir int3 komutuna derlenir. Hata ayıklayıcı bağlı olmadığında ise davranış derleyiciye/uygulamaya bağlıdır (implementation-defined); çoğu platformda süreç bir sinyal (SIGTRAP gibi) alır ve bu sinyal yakalanmadığı sürece program sonlanır.

std::is_debugger_present()#

Program o anda bir hata ayıklayıcı tarafından izleniyorsa true döndürür. Bir hata ayıklayıcı çalışma zamanında herhangi bir anda programa bağlanabileceği veya ayrılabileceği için sonuç önbelleğe alınmaz; kontrol her çağrıda anlık olarak yapılır.

Arka planda nasıl çalıştığı platforma göre değişir. Örneğin Windows üzerinde ::IsDebuggerPresent() çağrılırken, Linux üzerinde GCC'nin libstdc++ kütüphanesi /proc/self/status dosyasını okuyup TracerPid alanını kontrol eder.

Bu fonksiyonu yazılım geliştirme açısından özellikle ilginç kılan şey, tıpkı operator new ve operator delete gibi değiştirilebilir (replaceable) olmasıdır. Kendi sürümünüzü şu şekilde tanımlayabilirsiniz:

bool std::is_debugger_present() noexcept {
    return my_hardware_debug_flag;
}

P2810R4 ile gelen bu özellik, gömülü ve bare-metal (işletim sistemsiz) sistemlerdeki sorunu çözer. İşletim sistemi düzeyinde hata ayıklayıcı tespiti yapılamayan ortamlarda, #ifdef bloklarına boğulmak yerine bu fonksiyonu doğrudan kendi donanımınızın hata ayıklama bayrağına bağlayabilirsiniz.

std::breakpoint_if_debugging()#

Geliştiricilerin pratikte en çok başvuracağı yardımcı fonksiyondur. İşlevsel olarak şuna eşdeğerdir:

if (std::is_debugger_present())
    std::breakpoint();

Hata ayıklayıcı bağlıysa kesme noktasına girer, bağlı değilse hiçbir şey yapmadan çalışmaya devam eder. Catch2, Boost.Test ve diğer tüm çatıların (framework) manuel olarak uyguladığı desen tam olarak budur.

Kesme Noktalarının Ötesi#

is_debugger_present() fonksiyonunun ayrı olarak sunulması, koşullu kesme noktalarından daha fazlasını mümkün kılar. Yazılım geliştirme süreçlerinizde bu fonksiyonu şu pratik senaryolar için kullanabilirsiniz:

• Hata ayıklayıcı bağlıyken ekstra tanılama (diagnostic) çıktıları üretmek ve geliştiriciye çalışma zamanında daha zengin bağlam sunmak.