Quali sono le più comuni insidie ​​quando si utilizza la valutazione di Perl?

Question

Quali sono gli errori più comuni associati con il Perl di eval, che potrebbero rendere si sceglie di utilizzare un modulo come il Try::Tiny?

Answer 1

di Perl disponibile in due versioni, stringa eval e il blocco eval. String eval richiama il compilatore per eseguire il codice sorgente. Il blocco eval circonda il codice già compilato in un wrapper che catturerà l'eccezione die. (stringa eval cattura anche l'eccezione die, così come eventuali errori di compilazione).

Prova :: Piccolo vale solo per la forma di blocco eval, ma si applica quanto segue per entrambe le forme.

Ogni volta che si chiama eval, verrà modificato il valore di $@. Sarà '' se la valutazione è riuscita o l'errore è stato rilevato dalla valutazione.

Questo significa che ogni volta che si chiama un eval, si cancellerà eventuali messaggi di errore precedenti. Try::Tiny localizza automaticamente la variabile $@, in modo che una valutazione di successo non cancellerà il messaggio di una valutazione precedente non riuscita.

L'altra insidia viene dal usando $@ come il controllo per determinare se l'eval riuscito. Un modello comune è:

eval {...}; 
if ($@) { 
    # deal with error here 
} 

Questo si basa su due presupposti, prima che qualsiasi messaggio di errore $@ potrebbe contenere un valore vero (generalmente vero), e che non esiste un codice tra il blocco eval e l'istruzione if.

Visivamente, naturalmente, la seconda è vero, ma se il blocco eval ha creato un oggetto e l'oggetto è andato fuori del campo di applicazione dopo l'eval fallito, allora il metodo dell'oggetto DESTROY sarà chiamato prima dell'istruzione if. Se DESTROY accade di chiamare eval senza localizzazione $@ e riesce, quindi per il momento la sua dichiarazione if viene eseguito, la variabile $@ verrà cancellata.

La soluzione a questi problemi è:

my $return = do { 
    local $@; 
    my $ret; 
    eval {$ret = this_could_fail(); 1} or die "eval failed: $@"; 
    $ret 
}; 

rompendo quella riga per riga a parte, il local $@ crea un nuovo $@ per il blocco che impedisce do clobbering valori precedenti. my $ret sarà il valore restituito del codice valutato. Nel blocco eval, viene assegnato $ret e il blocco restituisce 1. In questo modo, indipendentemente da cosa, se la valutazione ha esito positivo, verrà restituito true e, in caso di esito negativo, restituirà false. Spetta a voi cosa fare in caso di fallimento. Il codice sopra appena muore, ma potresti facilmente utilizzare il valore di ritorno del blocco eval per decidere di eseguire altro codice.

Poiché l'incantesimo di cui sopra è un po 'noioso, diventa soggetto a errori.L'utilizzo di un modulo come Try::Tiny ti isola da quei potenziali errori, al costo di alcune chiamate di funzione in più per valutazione. È importante sapere come utilizzare eval correttamente, perché Try::Tiny non ti aiuterà se devi usare una valutazione di stringa.

Answer 2

Le questioni sono spiegati nel Try::Tiny documentation. In breve, essi sono: eval

• Clobbering $@
• Localizing $@ silently masks errors
• $@ might not be a true value

Answer 3

Oltre alle risposte di cui sopra, vorrei aggiungere ...

• eval è influenzato dal $SIG{__DIE__} gestore globale di azione causando a distanza.
• è facile per un novizio di confondere eval BLOCK e eval STRING, dal momento che sembrano fare la stessa cosa, ma uno è un buco di sicurezza.

Prova :: Tiny ha le sue insidie, il più grande è che mentre sembra un blocco in realtà è una chiamata di subroutine. Ciò significa che questo:

eval { 
    ...blah blah... 
    return $foo; 
}; 

e questo:

try { 
    ...blah blah... 
    return $foo; 
}; 

non fare la stessa cosa. Questi sono disposti nel CAVEATS section of the Try::Tiny docs. Detto questo, lo raccomanderei su eval.

Answer 4

Utilizzare eval sulla funzione X11 potrebbe ancora non è riuscito a mantenere in vita.

Il codice è come

eval {  
    @win_arrays = GetWindowsFromPid($pid); 
}; 

Lo script viene abbandonato da

X errore di richiesta non riuscita: ...