MSVC++ errore su una divisione per 0 che non accadrà mai! risolvere?

Question

const int bob = 0; 

if(bob) 
{ 
    int fred = 6/bob; 
} 

si ottiene un errore sulla linea di cui è fatto il divario: "Errore C2124: dividere o mod per zero"

che è zoppo, perché è altrettanto inevitabile che il 'caso' di controllo fallirà, in quanto è la divisione che si tradurrà in un div per 0. francamente non vedo alcun motivo per il compilatore di valutare qualsiasi cosa nel "se", tranne che per assicurare l'integrità del tutore.

in ogni caso, ovviamente, che ad esempio non è il mio problema, il mio problema nasce quando fare cose complicate modello per cercare di fare il più al momento della compilazione del possibile, in alcuni casi, gli argomenti possono essere 0.

c'è comunque risolvere questo errore? o disabilitarlo? o qualsiasi soluzione alternativa migliore:

attualmente l'unico lavoro intorno a cui riesco a pensare (cosa che ho fatto prima quando ho riscontrato lo stesso problema con l'accesso enum ricorsivo) è utilizzare la specializzazione dei modelli per fare il "se".

Oh sì, sto usando Visual Studio Professional 2005 SP1 con la correzione vista/win7.

Answer 1

suppongo il compilatore cerca di ottimizzare il frammento di codice dal bob è definito const, in modo che il valore iniziale di fred può essere determinato al momento della compilazione. Forse puoi impedire questa ottimizzazione dichiarando bob non-const o usando la parola chiave volatile.

Answer 2

Puoi fornire maggiori dettagli su ciò che stai cercando di fare con i modelli? Forse puoi usare un modello specializzato per 0 che non fa niente del buon vecchio esempio fattoriale ed evitare del tutto l'errore.

template <int N> 
struct Blah 
{ 
    enum { value = 6/N }; 
}; 

template <> 
struct Blah<0> 
{ 
    enum { value = 0 }; 
}; 

Answer 3

Il problema - e il compilatore non ha scelta in questo - è che bob è un'espressione costante integrale, come è 6. Pertanto 6/bob è anche un ICE e deve essere valutati in fase di compilazione .

C'è una soluzione molto semplice: inline int FredFromBob(int bob) { return 6/bob; } - un'espressione di chiamata di funzione non è mai un ICE, anche se la funzione è banale e dichiarata in linea.