Enum sabitleri C ve C ++ 'da farklı davranıyor

Bunu neden yapar:

#include <stdio.h>
#include <limits.h>
#include <inttypes.h>

int main() {
    enum en_e {
        en_e_foo,
        en_e_bar = UINT64_MAX,
    };
    enum en_e e = en_e_foo;
    printf("%zu\n", sizeof en_e_foo);
    printf("%zu\n", sizeof en_e_bar);
    printf("%zu\n", sizeof e);
}

4 8 8C ve 8 8 8C ++ olarak yazdırın (4 baytlık bir platformda)?

UINT64_MAXAtamanın tüm numaralandırma sabitlerini en az 64 bite zorlayacağı, ancak en_e_foodüz C'de 32'de kalacağı izlenimindeydim .

Tutarsızlığın gerekçesi nedir?

C'de enumsabit tiptedir int. C ++ 'da, numaralandırılmış türdendir.

enum en_e{
    en_e_foo,
    en_e_bar=UINT64_MAX,
};

C, bu bir kısıtlama ihlali (bir teşhis gerektiren eğer UINT64_MAX aşarsa INT_MAXçok muhtemelen işlevi gören). AC derleyicisi programı tamamen reddedebilir veya bir uyarı yazdırabilir ve ardından davranışı tanımsız olan bir yürütülebilir dosya oluşturabilir. (Bir kısıtlamayı ihlal eden bir programın mutlaka tanımlanmamış bir davranışa sahip olduğu% 100 net değildir, ancak bu durumda standart davranışın ne olduğunu söylemez, bu nedenle bu hala tanımlanmamış bir davranıştır.)

gcc 6.2 bu konuda uyarmaz. clang yapar. Bu gcc'deki bir hatadır; standart başlıklardan makrolar kullanıldığında bazı tanı mesajlarını hatalı şekilde engeller. Hata raporunu bulduğu için Grzegorz Szpetkowski'ye teşekkürler: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71613

C ++ 'da, her numaralandırma türünün bir tamsayı türü olan (zorunlu olarak değil ) temel bir türü vardır int. Bu temel tür, tüm sabit değerleri temsil edebilmelidir. Yani bu durumda, hem en_e_foove en_e_bartiptedir en_ebile, geniş, en az 64 bit olmalıdır intdardır.

Bu kod ilk etapta geçerli C değil.

Hem C99 hem de C11'deki Bölüm 6.7.2.2 şunu söylüyor:

Kısıtlamalar:

Bir numaralandırma sabitinin değerini tanımlayan ifade, bir olarak gösterilebilen bir değere sahip tamsayı sabit bir ifade olacaktır int.

Derleyici teşhisi zorunludur çünkü kısıtlama ihlali olduğu için, bkz. 5.1.1.3:

Uygun bir uygulama, bir ön işleme çeviri birimi veya çeviri birimi herhangi bir sözdizimi kuralının veya kısıtlamasının ihlalini içeriyorsa, davranış da açıkça tanımlanmamış veya uygulama olarak belirtilmiş olsa bile, en az bir tanılama mesajı (uygulama tanımlı bir şekilde tanımlanmış) üretmelidir. tanımlı.

In C Bir süre, enumayrı tip olarak kabul edilir, kendisi hep türü var enumerator'ler int.

C11 - 6.7.2.2 Numaralandırma tanımlayıcıları

3 Numaralandırıcı listesindeki tanımlayıcılar, int türüne sahip sabitler olarak bildirilir ...

Bu nedenle, gördüğünüz davranış bir derleyici uzantısıdır.

Değeri çok büyükse numaralandırıcılardan birinin boyutunu genişletmenin mantıklı olduğunu söyleyebilirim.

Öte yandan, C ++ 'da tüm numaralandırıcılar , içinde enumbildirildikleri türüne sahiptir .

Bu nedenle, her numaralandırıcının boyutu aynı olmalıdır. Böylece, enumen büyük numaralandırıcıyı depolamak için bütünün boyutu genişletilir.

Diğerlerinin de belirttiği gibi, kısıtlama ihlali nedeniyle kod kötü biçimlidir (C'de).

Bazı yararlı uyarıların makrolarla susturulduğunu belirten GCC # 71613 hatası (Haziran 2016'da bildirildi) var.

Sistem üstbilgilerinden gelen makrolar kullanıldığında faydalı uyarılar susturuluyor gibi görünüyor. Örneğin, aşağıdaki örnekte bir uyarı her iki numaralandırma için de yararlı olabilir, ancak yalnızca bir uyarı gösterilir. Aynı şey muhtemelen diğer uyarılar için de olabilir.

Geçerli geçici çözüm, makroyu başına tekli +operatör eklemek olabilir :

enum en_e {
   en_e_foo,
   en_e_bar = +UINT64_MAX,
};

bu, GCC 4.9.2 ile makinemde derleme hatası veriyor:

$ gcc -std=c11 -pedantic-errors -Wall main.c 
main.c: In function ‘main’:
main.c:9:20: error: ISO C restricts enumerator values to range of ‘int’ [-Wpedantic]
         en_e_bar = +UINT64_MAX

C11 - 6.7.2.2/2

Bir numaralandırma sabitinin değerini tanımlayan ifade, bir int.

en_e_bar=UINT64_MAXbir kısıtlama ihlalidir ve bu, yukarıdaki kodu geçersiz kılar. C11 taslağında belirtildiği gibi uygulama onaylanarak bir teşhis mesajı üretilmelidir:

Uygun bir uygulama, bir ön işleme çeviri birimi veya çeviri birimi herhangi bir sözdizimi kuralı veya kısıtlamasının ihlalini içeriyorsa, en az bir tanılama mesajı (uygulama tanımlı bir şekilde tanımlanmış) üretmelidir, [...]

Görünüşe göre GCC'nin bazı hataları var ve teşhis mesajını üretemedi. (Bug bakacak cevap tarafından Grzegorz Szpetkowski

Standartlara bir göz attım ve programım 6.7.2.2p2 nedeniyle C'de bir kısıtlama ihlali gibi görünüyor :

Kısıtlamalar: Bir numaralandırma sabitinin değerini tanımlayan ifade, int olarak gösterilebilen bir değere sahip bir tamsayı sabit ifadesi olacaktır.

ve 7.2.5 nedeniyle C ++ 'da tanımlanmıştır:

Temel tür sabit değilse, her numaralandırıcının türü, başlangıç ​​değerinin türüdür: - Numaralandırıcı için bir başlatıcı belirtilmişse, başlatma değeri ifade ile aynı türe sahiptir ve sabit ifade bir integral olacaktır. sabit ifade (5.19). - İlk numaralandırıcı için başlatıcı belirtilmezse, başlatma değerinin belirtilmemiş bir integral türü vardır. - Aksi takdirde, başlatılan değerin türü önceki numaralandırıcının başlatan değerinin türü ile aynıdır, ancak artan değer bu türde gösterilemez, bu durumda tür, artırılmış değeri içermek için yeterli, belirtilmemiş bir integral türüdür. Böyle bir tür yoksa, program kötü biçimlendirilmiştir.