Những cạm bẫy phổ biến khi sử dụng eval của Perl là gì?

Question

Những cạm bẫy phổ biến được kết hợp với số eval của Perl, điều gì có thể khiến bạn chọn sử dụng mô-đun như Try::Tiny?

Answer 1

Perl của eval đến trong hai mùi vị, chuỗi eval và khối eval. String eval gọi trình biên dịch để thực thi mã nguồn. Block eval bao quanh mã đã được biên dịch trong trình bao bọc sẽ bắt ngoại lệ die. (chuỗi eval cũng bắt được ngoại lệ die cũng như bất kỳ lỗi biên dịch nào).

Thử :: Tiny chỉ áp dụng cho dạng khối của eval, nhưng những điều sau áp dụng cho cả hai biểu mẫu.

Mỗi lần bạn gọi eval, nó sẽ thay đổi giá trị $@. Nó sẽ là '' nếu eval đã thành công hoặc lỗi do eval đánh bắt.

Điều này có nghĩa là bất kỳ khi nào bạn gọi eval, bạn sẽ xóa mọi thông báo lỗi trước đó. Try::Tiny bản địa hóa biến số $@ cho bạn, sao cho một eval thành công sẽ không xóa thông điệp của lần đánh bại trước đó thất bại.

Sự cố khác xuất phát từ việc sử dụng $@ làm séc để xác định xem eval có thành công hay không. Một mô hình phổ biến là:

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

này dựa trên hai giả định, đầu tiên mà bất kỳ thông báo lỗi $@ có thể chứa là một giá trị đúng (thường là true), và rằng không có mã giữa khối eval và tuyên bố nếu.

Tất nhiên, điều này là đúng, nhưng nếu khối eval tạo một đối tượng và đối tượng đó không nằm trong phạm vi sau khi eval thất bại, thì phương thức DESTROY của đối tượng sẽ được gọi trước câu lệnh if. Nếu DESTROY xảy ra để gọi eval mà không cần bản địa hóa $@ và thành công, thì vào thời điểm phát biểu if của bạn, biến số $@ sẽ bị xóa.

Các giải pháp cho những vấn đề này là:

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

phá vỡ dòng cách nhau một dòng, local $@ tạo ra một mới $@ cho do khối mà ngăn chặn clobbering giá trị trước đó. my $ret sẽ là giá trị trả về của mã được đánh giá. Trong khối eval, $ret được gán cho, và sau đó khối trả về 1. Bằng cách đó, không có vấn đề gì, nếu eval thành công nó sẽ trả về true, và nếu nó không thành công nó sẽ trả về false. Đó là vào bạn những gì phải làm trong trường hợp thất bại. Đoạn mã trên chỉ chết, nhưng bạn có thể dễ dàng sử dụng giá trị trả về của khối eval để quyết định chạy mã khác.

Vì câu chú giải ở trên hơi tẻ nhạt, nó trở nên dễ bị lỗi.Sử dụng mô-đun như Try::Tiny cách ly bạn khỏi những lỗi tiềm ẩn đó, với chi phí của một vài cuộc gọi hàm trên mỗi eval. Điều quan trọng là phải biết cách sử dụng eval đúng cách, bởi vì Try::Tiny sẽ không giúp bạn nếu bạn phải sử dụng chuỗi eval.

Answer 2

Các sự cố được giải thích trong Try::Tiny documentation. Tóm lại, đó là:

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

Answer 3

Ngoài các câu trả lời ở trên, tôi sẽ thêm ...

• eval bị ảnh hưởng bởi $SIG{__DIE__} xử lý gây ra hành động toàn cầu ở một khoảng cách.
• Thật dễ dàng cho một người mới gây nhầm lẫn eval BLOCK và eval STRING, vì chúng dường như làm điều tương tự, nhưng một là một lỗ hổng bảo mật.

Hãy thử :: Tiny có những cạm bẫy riêng của mình, lớn nhất là trong khi nó trông giống như một khối nó thực sự là một cuộc gọi chương trình con. Điều đó có nghĩa này:

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

và điều này:

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

không làm điều tương tự. Chúng được trình bày trong số CAVEATS section of the Try::Tiny docs. Điều đó nói rằng, tôi muốn giới thiệu nó trên eval.

Answer 4

Sử dụng hàm eval trên hàm X11 có thể vẫn không hoạt động.

Mã này được như

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

Các kịch bản sẽ được thoát khỏi Lỗi

X đề nghị thất bại: ...