Au moment de la compilation affirmation?

Voir static_assert (C++0x uniquement); sur une version plus ancienne, voir Du coup de pouce StaticAssert.

Pour une autre version de la statique affirmer, que vous pouvez glorifier par l'ajout d'un nom de mieux, vous pouvez utiliser:

//name must be a valid identifier
#define STATIC_ASSERT( condition, name )\
    typedef char assert_failed_ ## name [ (condition) ? 1 : -1 ];

Et l'utiliser comme:

STATIC_ASSERT( x == y, constants_must_be_same );

Le compilateur va déclencher une erreur semblable à la suivante:

size of array 'assert_failed_constants_must_be_same' is negative

Qui ne semble pas très utile, mais il ne sera point à la ligne exacte de l'affirmer, et après un moment vous allez commencer le traitement de ce message d'erreur comme statique assert failed

Il y a aussi le truc pour utiliser un switch (..) déclaration. Type de style ancien bien. Le cas de l'entrée foo == barre à la compilation évalués, et si elle arrive à être faux l'instruction switch va provoquer une erreur. Le compilateur va également réduire à "rien".

{ 
  bool x=false; 
  switch (x) {
  case foo == bar:
    break;
  case false:
    //Compile time test that foo == bar
    break;
}

Similaire à iammillind de la solution, qui a malheureusement été l'un seulement utile à l'exécution:

template <int A, int B>
class VALUES { 
};

//specialization to provide safe passage for equal values        
template <int X>
class VALUES<X, X> {
public:
   static void MY_VALUES_ARE_EQUAL() {}
};


#define ASSERT_EQUALITY(a, b)    \
{    \
   typedef VALUES<a, b> COMPILE_TIME_ASSERTION;       \
   COMPILE_TIME_ASSERTION::VALUES_ARE_EQUAL();     \
}

int main() {
   ASSERT_EQUALITY(1, 1);    //compiles just fine
   ASSERT_EQUALITY(1, 2);    //ERROR!
   //. . . 
 }

La bonne chose à ce sujet est qu'il fournit un bon compilateur message. Mon compilateur dit
moi qui suit:

‘VALUES_ARE_EQUAL " n'est pas un membre de ‘COMPILE_TIME_ASSERTION {aka VALEURS<1, 2>}’

Vous n'avez pas besoin de la définition de type. Sans:

'VALUES_ARE_EQUAL" n'est pas un membre de " VALEURS<1, 2>'

Bien sûr, il y a un tas d'autres façons de générer des messages utiles. Pour le fou rire:

//these give use some tips in the compiler warnings
class COMPILE_TIME_EQUALITY_ASSERTION {} compiler_message; 
class EQUAL_VALUES_ONLY_PLEASE {};


template <int A, int B>
class VALUES {
public:
   static void AreEqual(EQUAL_VALUES_ONLY_PLEASE) {}
};

template <int X>
class VALUES<X, X>
{
public:
   static void AreEqual(COMPILE_TIME_EQUALITY_ASSERTION) {}
};


#define ASSERT_EQUALITY(a, b)                                   \
{                                                               \
   VALUES<a, b>::AreEqual(compiler_message);                             \
}

int main() {
    ASSERT_EQUALITY(1, 1) //a-okay
    ASSERT_EQUALITY(1, 2) //ERROR!
}

J'ai le compilateur erreurs:

no matching function for call to:
‘VALUES<1,2>::AreEqual(COMPILE_TIME_EQUALITY_ASSERTION&)' 
candidate is:
static void VALUES<\A, B>::AreEqual(EQUAL_VALUES_ONLY_PLEASE) [with int A = 1, int B = 2]

combinaisons de fonctions membres statiques/constructeurs/cession de terrain/de confidentialité et de modèle spécifications peuvent donner des résultats différents peut-être plus approprié pour votre situation.

Vous pouvez faire un peu de préprocesseur la magie comme

#define FOO_VALUE 263
#define BAR_VALUE 264

enum {foo=FOO_VALUE, bar=BAR_VALUE}

#if !(FOO_VALUE == BAR_VALUE)
#error "Not equal"
#endif

Je suggère de prendre un regard sur les modes Propres de la bibliothèque statique affirmer mécanisme:

http://eigen.tuxfamily.org/dox/StaticAssert_8h_source.html