__assume
Sezione specifica Microsoft
Passa un hint all'utilità di ottimizzazione.
__assume( expression )
Parametri
- expression
Espressione che si presuppone restituisca true.
Note
L'utilità di ottimizzazione presuppone che la condizione rappresentata dal parametro expression sia true nel punto in cui viene visualizzata la parola chiave e rimanga true finché expression non viene modificato, ad esempio da un'assegnazione a una variabile. L'uso selettivo degli hint passati all'utilità di ottimizzazione da __assume possono migliorare l'ottimizzazione.
Se l'istruzione __assume viene scritta come contraddizione (un'espressione che restituisce sempre false), verrà sempre considerata come __assume(0). Se il codice non si comporta come previsto, verificare che il parametro expression definito sia valido e true, come descritto in precedenza. Per altre informazioni sul comportamento previsto di __assume(0), vedere quanto descritto più avanti.
Avviso
Un programma non deve contenere un'istruzione __assume non valida in un percorso raggiungibile.Se il compilatore può raggiungere un'istruzione __assume non valida, il programma potrebbe causare un comportamento imprevedibile e potenzialmente pericoloso.
__assume non è una funzione intrinseca originale. Non deve essere dichiarata come funzione e non può essere usata in una direttiva #pragma intrinsic. Anche se non viene generato alcun codice, viene interessato il codice generato dall'utilità di ottimizzazione.
Usare __assume in ASSERT solo quando l'asserzione non è recuperabile. Non usare __assume in un'asserzione per cui si dispone di un codice di recupero da errori successivi perché il compilatore potrebbe ottimizzare il codice di gestione degli errori.
L'istruzione __assume(0) è un caso speciale. Usare __assume(0) per indicare un percorso del codice che non può essere raggiunto. L'esempio seguente illustra come usare __assume(0) per indicare che il caso predefinito di un'istruzione switch non può essere raggiunto. Viene illustrato l'uso più comune di __assume(0).
Requisiti
Funzione intrinseca |
Architettura |
|---|---|
__assume |
x86, ARM, x64 |
Esempio
// compiler_intrinsics__assume.cpp
#ifdef DEBUG
# define ASSERT(e) ( ((e) || assert(__FILE__, __LINE__) )
#else
# define ASSERT(e) ( __assume(e) )
#endif
void func1(int i)
{
}
int main(int p)
{
switch(p){
case 1:
func1(1);
break;
case 2:
func1(-1);
break;
default:
__assume(0);
// This tells the optimizer that the default
// cannot be reached. As so, it does not have to generate
// the extra code to check that 'p' has a value
// not represented by a case arm. This makes the switch
// run faster.
}
}
L'uso di __assume(0) indica all'utilità di ottimizzazione che il caso predefinito non può essere raggiunto. L'esempio illustra che il programmatore conosce che gli unici input possibili per p sono 1 o 2. Se viene passato un altro valore per p, il programma diventa non valido e causa un comportamento imprevedibile.
A causa dell'istruzione __assume(0), il compilatore non genera il codice per testare se p ha un valore che non è rappresentato in un'istruzione case. Per funzionare, l'istruzione __assume(0) deve essere la prima istruzione nel corpo del caso predefinito.
Poiché il compilatore genera il codice in base a __assume, tale codice potrebbe non funzionare correttamente se l'espressione all'interno dell'istruzione __assume è false al runtime. Se non si è certi che l'espressione sarà sempre true al runtime, è possibile usare la funzione assert per proteggere il codice.
#define ASSERT(e) ( ((e) || assert(__FILE__, __LINE__)), __assume(e) )
Purtroppo, l'uso della funzione assert impedisce al compilatore di eseguire l'ottimizzazione del caso predefinito descritto precedentemente in questo documento. In alternativa, è possibile usare una macro separata, come illustrato di seguito.
#ifdef DEBUG
# define NODEFAULT ASSERT(0)
#else
# define NODEFAULT __assume(0)
#endif
default:
NODEFAULT;