Go ottimizza le if-statement irraggiungibili?

Question

Go ha una sfortunata mancanza di affermazioni incorporate. Voglio realizzare loro in questo modo:

const ASSERT = true 

func SomeFunction() { 
     if ASSERT && !some_condition_that_should_always_be_true() { 
       panic("Error message or object.") 
     } 
} 

La mia domanda è la volontà istruzione if-essere ottimizzata se definisco const ASSERT = false?

Answer 1

Come notato dalle persone nei commenti alla tua domanda, è specifico per l'implementazione.

gc lo rimuove. È possibile creare il programma con -gcflags '-S' e verificare che la parte ASSERT non sia nel file binario.

E.g. compila il codice seguente con -gcflags '-S', e vedrai che il codice sulle linee 8 e 9 è incluso, ma cambia Assert in modo che sia falso e non sarà presente nell'elenco Asm.

package main 

const Assert = true 

var cond = true 

func main() { 
    if Assert && !cond { 
     panic("failed") 
    } 
} 

EDIT:

Per quanto riguarda gccgo, rimuove il codice a -O1 e superiori. Lo si può vedere compilando lo stesso codice con

go build -compiler gccgo -gccgoflags '-O1' main.go 

e poi facendo

objdump -S main 

per vedere il gruppo annotato.