なぜ両方のブランチが実行されているようですか？

Question

私は完全に混乱しています。ここに私のコードは次のとおりです。

use strict; 
use warnings; 
use Test::More; 

subtest 'huh?' => sub { 
    my $i = 0; 
    eval { 
     $i++; 
    } || do { 
     $i++; 
    }; 
    is($i, 1, "only execute one branch (i: $i)"); 
}; 

&done_testing(); 

そしてここでは、私のテスト出力は（のActivePerl 5.12、マックOS Xを実行した場合）です。

not ok 1 - only execute one branch (i: 2) 
    # Failed test 'only execute one branch (i: 2)' 
    # at test.pl line 14. 
    #   got: '2' 
    #  expected: '1' 
    1..1 
    # Looks like you failed 1 test of 1. 
not ok 1 - huh? 
# Failed test 'huh?' 
# at test.pl line 15. 
1..1 
# Looks like you failed 1 test of 1. 

ここで何が起こっていますか？私は何もしていないので、最初のブランチだけを実行することを期待しましたdie s。しかし、両方のブランチが実行されたように見えます。

Answer 1

$i++は、$iの値をインクリメントの前に返します。それは0なので、それは間違いです。 evalは評価された最後の結果を返します。これはその偽の値です。それから、次のブロックを試してみる必要があります。

最初のブランチだけを使用する場合は、インクリメントの式「インクリメントを次にが返されます」をeval { ++$i }のようにする必要があります。

さて、evalが失敗したかどうかを確認するための最良の方法は、次の操作を実行するのではなく、1を返すことではありません。

1. $@（または$English::EVAL_ERROR）をローカライズ
2. evalの

3. テスト$@

   local $@; 
   eval { $some_sub->(); }; 
   croak("Failed in evaluate: $@") if $@; 
   

Answer 2

eval { $i ++ }は、が返す同じ結果を返します。つまり、インクリメントされる前の値は$iです。 $iを0に設定すると、0が返されます。これはfalseです。つまり、||の右側のオペランドも評価されます。

は、私はあなたがが$@に保存されeval、内dieの結果と（単に含まれる式の結果である）evalでを返された結果が混乱していると思います。