C++ dilinde derleme zamanı iddiaları?

Question

Geçtiğimiz günlerde, C++ 'da iki türün boyutlarının eşit olduğunu kontrol etmek için derleme zamanı iddialarına sahip olma ihtiyacını buldum.

#define X_ASSERT(condition) ((void)sizeof(char[1 - 2*!!(condition)])) 

Öyle gibi kullanılabilir:

Ben (Linux çekirdeğinden geldiği belirtilen) web üzerinde aşağıdaki makro bulundu

X_ASSERT(sizeof(Botan::byte) != sizeof(char)); 

Bu beni merak alır - bu halde , çalışır, bunu yapmanın daha temiz bir yolu var mı? (Belli ki, birden fazla yol olduğu gibi) Belli yöntemlerin avantajları veya dezavantajları var mı?

Answer 1

Boost StaticAssert'a göz atmak isteyebilirsiniz. İnternallar tam olarak temiz değiller (ya da son baktığım zamanlar değildi) ama en azından çok daha tanınabilir, bu yüzden çoğu insan ne anlama geldiğini biliyor. Ayrıca bellek hizmet verirse daha anlamlı hata iletileri üretmek için bazı ağrıları gider.

Answer 2

C++ 0x'de, derleme zamanı iddiaları oluşturmak için standart bir yol sağlayan yeni bir dil özelliği, static_assert vardır. g ++ 4,3 (ve daha büyük) ve Intel C++ 11.0 gibi Örneğin, ++ 2010

static_assert(sizeof(Botan::byte) != 1, "byte type has wrong size"); 

Visual C, static_assert destekler.

Answer 3

Orada mükemmel bir #error önişlemci direktifi (bu konuda iyi bir makale için here bakınız), ama o kullanılıyor aksine bir #if içinde olması gerekir inanıyoruz bir "ayaklı" senin örneğin kullanımda olduğu gibi.

Answer 4

diğer bazı ilginç seçenekler burada: yazar olarak http://www.jaggersoft.com/pubs/CVu11_3.html

Temiz okuma derleme zamanı iddiaların olarak kaldıraçlı olabilir sözdizimi arayan C (C++) spec yürür.

Answer 5

doğru yapmak için bir C++ 0x dostu derleyici gerekir, bkz. James McNellis 've Jerry Coffins yanıtları.

1998 veya 2003 C++ standartları ile çok fazla şey yapamazsınız. Örnekler için bu bağlantıların bir göz atın: çok ilginç bütün cevaplar herkes için

http://en.wikipedia.org/wiki/Assertion_(computing)#Static_assertions http://ksvanhorn.com/Articles/ctassert.html