C++ programlamada, bir union yapısının aktif olmayan üyesine erişmek genellikle tanımsız davranışa (UB) yol açar. Ancak, bu makale bu yaygın inanışın bazı özel durumlarda geçerli olmadığını ortaya koyuyor. OptBool adında bir yapı örneği üzerinden, bool ve char üyeleri içeren bir union'da, aktif bool üyesi varken char üyesi üzerinden değer kontrolü yapılmasının neden UB olmadığını açıklıyor. Bu durum ilk bakışta şaşırtıcı gelse de, C++ standardının 'glvalue' erişimiyle ilgili nadiren bilinen bir kuralına dayanmaktadır.
C++ standardındaki aliasing kuralı (11.3), bir nesnenin depolanan değerine char, unsigned char veya std::byte türündeki bir glvalue aracılığıyla erişilmesinin tanımsız davranış olmadığını belirtir. Bu, char türlerinin herhangi bir nesnenin bellek temsilini incelemek için özel bir istisna sağladığı anlamına gelir. Dolayısıyla, OptBool örneğinde aktif üye bool b olsa bile, char c üzerinden b'nin bellek temsiline erişmek ve onu 2 ile karşılaştırmak tamamen geçerlidir, çünkü bir bool değeri bellekte 0 veya 1 olarak temsil edilir.
Makale, bu kuralın neden önemli olduğunu ve char türlerinin bellek temsili açısından neden özel bir statüye sahip olduğunu vurguluyor. Öte yandan, aktif üye char c iken bool b'ye doğrudan erişimin yine tanımsız davranış olacağını belirtir, çünkü bool bu özel karakter türü istisnasına dahil değildir. Bu detay, düşük seviyeli C++ programlamada bellek manipülasyonu ve tür dönüşümleriyle uğraşan geliştiriciler için kritik öneme sahiptir.
C++'ın az bilinen bir kuralı sayesinde, `char` türleri aracılığıyla `union`'ların aktif olmayan üyelerine erişmek belirli senaryolarda tanımsız davranışa yol açmaz, bu da düşük seviyeli bellek manipülasyonlarında esneklik sağlar.