Buradaki karışıklık, C'nin bir birleşim yoluyla tür-punning'e açıkça izin vermesidir, oysa C ++ (c ++ 11) böyle bir izne sahip değildir.
c11
6.5.2.3 Yapı ve sendika üyeleri
95) Bir birleşim nesnesinin içeriğini okumak için kullanılan üye, nesnede bir değer depolamak için en son kullanılan üye ile aynı değilse, değerin nesne temsilinin uygun kısmı, yeni nesnede bir nesne temsili olarak yeniden yorumlanır. 6.2.6'da açıklandığı gibi yazın (bazen '' tip punning '' olarak adlandırılan bir işlem). Bu bir tuzak temsili olabilir.
C ++ ile durum:
c ++ 11
9.5 Sendikalar [class.union]
Bir birleşimde, statik olmayan veri üyelerinden en fazla biri herhangi bir zamanda aktif olabilir, yani statik olmayan veri üyelerinden en fazla birinin değeri herhangi bir zamanda bir birleşimde depolanabilir.
C ++ daha sonra structortak başlangıç dizilerine sahip s içeren birliklerin kullanımına izin veren bir dile sahiptir ; ancak bu tür karıştırmaya izin vermez.
Sendika tip-cinaslı olmadığını belirlemek için olan C izin ++, daha fazla aramak zorunda. Hatırlamakc99 C ++ 11 için normatif bir referanstır (ve C99, birleşim tipi çalıştırmaya izin veren C11'e benzer dile sahiptir):
3.9 Türler [basic.types]
4 - T tipi bir nesnenin nesne temsili, N'nin sizeof (T) 'ye eşit olduğu, T tipi nesne tarafından alınan N işaretsiz karakter nesnesi dizisidir. Bir nesnenin değer temsili, T tipi değerini tutan bit kümesidir. Önemsiz şekilde kopyalanabilir türler için, değer temsili, bir uygulamanın ayrı bir öğesi olan bir değeri belirleyen nesne gösteriminde bir bit kümesidir. tanımlanmış değerler kümesi. 42
42) Amaç, C ++ bellek modelinin ISO / IEC 9899 Programlama Dili C ile uyumlu olmasıdır.
Okurken özellikle ilginçleşiyor
3.8 Nesne ömrü [basic.life]
T tipi bir nesnenin ömrü şu durumlarda başlar: - T tipi için uygun hizalama ve boyuta sahip depolama elde edildiğinde ve - nesne önemsiz olmayan bir başlatmaya sahipse, başlatması tamamlanır.
Dolayısıyla , bir birleşimde bulunan ( ipso facto'nun önemsiz başlatmaya sahip olduğu) ilkel bir tür için , nesnenin ömrü, en azından birleşmenin kendi yaşam süresini kapsar. Bu bizi çağırmamızı sağlar
3.9.2 Bileşik türleri [temel bileşik]
Bir A adresinde T tipi bir nesne bulunuyorsa, değeri A adresi olan cv T * türünde bir göstericinin, değerin nasıl elde edildiğine bakılmaksızın bu nesneyi işaret ettiği söylenir.
İlgilendiğimiz işlemin tip-punning olduğunu varsayarsak, yani aktif olmayan bir sendika üyesinin değerini almak ve yukarıda belirtilen üye tarafından atıfta bulunulan nesneye geçerli bir referansımız olduğu için, bu işlem lvalue-to -rvalue dönüşümü:
4.1 Ldeğer-değer dönüşümü [dönş.lval]
İşlevsiz, dizi olmayan türden Tbir glvalue, prvalue'ya dönüştürülebilir. Eğer Teksik bir tip, kötü oluşturulan bu dönüşümü gerektiren bir programdır. Glvalue'nun başvurduğu Tnesne bir tür Tnesnesi değilse ve türetilen türde bir nesne değilse veya nesne başlatılmamışsa, bu dönüştürmeyi gerektiren bir programın tanımlanmamış bir davranışı vardır.
O zaman soru, aktif olmayan bir birlik üyesi olan bir nesnenin, aktif birlik üyesine depolama tarafından başlatılıp başlatılmadığıdır. Söyleyebileceğim kadarıyla durum böyle değil ve bu nedenle eğer:
- bir birleşim
chardizi depolamaya kopyalanır ve geri alınır (3.9: 2) veya
- bir birleşim aynı türden başka bir sendikaya kopyalanır (3.9: 3) veya
- ISO / IEC 9899'a (tanımlandığı kadarıyla) (3.9: 4 not 42) uygun bir program öğesi tarafından dil sınırları ötesinde bir birliğe erişilir, o zaman
aktif olmayan bir üye tarafından bir birliğe erişim tanımlanır ve nesne ve değer temsilini takip edecek şekilde tanımlanır, yukarıdaki ara konumlardan biri olmadan erişim tanımsız bir davranıştır. Uygulama, elbette tanımsız davranışın meydana gelmediğini varsayabileceğinden, bunun, böyle bir programda gerçekleştirilmesine izin verilen optimizasyonlara etkileri vardır.
Yani, aktif olmayan bir sendika üyesine meşru olarak bir değer oluşturabilsek de (bu nedenle, inşaat olmadan aktif olmayan bir üyeye atama yapmak uygundur) başlatılmamış olarak kabul edilir.