'Cuối cùng' có luôn thực thi trong Python không?

135
Stevoisiak 2018-03-14 07:30.

Đối với bất kỳ khối try-last nào có thể có trong Python, có đảm bảo rằng finallykhối sẽ luôn được thực thi không?

Ví dụ: giả sử tôi quay lại khi ở trong một exceptkhối:

try:
    1/0
except ZeroDivisionError:
    return
finally:
    print("Does this code run?")

Hoặc có thể tôi nâng cao lại Exception:

try:
    1/0
except ZeroDivisionError:
    raise
finally:
    print("What about this code?")

Thử nghiệm cho thấy điều finallyđó được thực thi cho các ví dụ trên, nhưng tôi tưởng tượng có những tình huống khác mà tôi chưa nghĩ đến.

Có bất kỳ tình huống nào trong đó một finallykhối có thể không thực thi trong Python không?

5 answers

220
user2357112 supports Monica 2018-03-14 07:48.

"Đảm bảo" là một từ mạnh mẽ hơn nhiều so với bất kỳ cách triển khai nào của finallyxứng đáng. Điều được đảm bảo là nếu việc thực thi chảy ra khỏi toàn bộ try- finallycấu trúc, thì nó sẽ chuyển qua công việc finallycần làm. Điều không được đảm bảo là việc thực thi sẽ chảy ra ngoài dấu try- finally.

  • A finallytrong trình tạo hoặc chương trình không đồng bộ có thể không bao giờ chạy , nếu đối tượng không bao giờ thực thi để kết luận. Có rất nhiều cách có thể xảy ra; đây là một:

    def gen(text):
        try:
            for line in text:
                try:
                    yield int(line)
                except:
                    # Ignore blank lines - but catch too much!
                    pass
        finally:
            print('Doing important cleanup')
    
    text = ['1', '', '2', '', '3']
    
    if any(n > 1 for n in gen(text)):
        print('Found a number')
    
    print('Oops, no cleanup.')
    

    Lưu ý rằng ví dụ này hơi phức tạp: khi trình tạo được thu thập rác, Python cố gắng chạy finallykhối bằng cách ném vào một GeneratorExitngoại lệ, nhưng ở đây chúng tôi bắt ngoại lệ đó và sau đó yieldlặp lại, tại thời điểm đó Python sẽ in một cảnh báo ("Trình tạo đã bỏ qua GeneratorExit ") và bỏ cuộc. Xem PEP 342 (Coroutines qua máy phát điện nâng cao) để biết thêm chi tiết.

    Các cách khác mà trình tạo hoặc chương trình điều tra có thể không thực thi để kết luận bao gồm nếu đối tượng không bao giờ được GC'ed (vâng, điều đó có thể xảy ra, ngay cả trong CPython), hoặc nếu một async with awaits trong __aexit__hoặc nếu đối tượng awaitlà hoặc yields trong một finallykhối. Danh sách này không nhằm mục đích đầy đủ.

  • Một finallytrong một luồng daemon có thể không bao giờ thực thi nếu tất cả các luồng không phải daemon thoát ra trước.

  • os._exitsẽ tạm dừng quá trình ngay lập tức mà không cần thực thi finallykhối.

  • os.forkcó thể khiến finallykhối thực thi hai lần . Cũng như những sự cố bình thường mà bạn mong đợi từ những điều xảy ra hai lần, điều này có thể gây ra xung đột truy cập đồng thời (sự cố, ngừng hoạt động , ...) nếu quyền truy cập vào tài nguyên được chia sẻ không được đồng bộ hóa chính xác .

    multiprocessingsử dụng fork-without-execute để tạo các quy trình của worker khi sử dụng phương thức fork start (mặc định trên Unix) và sau đó gọi os._exitworker sau khi công việc của worker hoàn thành, finallymultiprocessingtương tác có thể có vấn đề ( ví dụ ).

  • Lỗi phân đoạn mức C sẽ ngăn finallycác khối chạy.
  • kill -SIGKILLsẽ ngăn finallycác khối chạy. SIGTERMSIGHUPcũng sẽ ngăn finallycác khối chạy trừ khi bạn cài đặt một trình xử lý để tự điều khiển việc tắt máy; theo mặc định, Python không xử lý SIGTERMhoặc SIGHUP.
  • Một ngoại lệ trong finallycó thể ngăn không cho hoàn tất quá trình dọn dẹp. Một trường hợp đặc biệt đáng chú ý là nếu người dùng nhấn control-C ngay khi chúng tôi bắt đầu thực thi finallykhối. Python sẽ nâng cao a KeyboardInterruptvà bỏ qua mọi dòng finallynội dung của khối. ( KeyboardInterruptMã an toàn rất khó viết).
  • Nếu máy tính bị mất nguồn hoặc ở chế độ ngủ đông và không đánh thức, finallycác khối sẽ không chạy.

Các finallykhối không phải là một hệ thống giao dịch; nó không cung cấp sự đảm bảo về tính nguyên tử hoặc bất cứ thứ gì thuộc loại này. Một số ví dụ này có vẻ hiển nhiên, nhưng bạn rất dễ quên những điều như vậy có thể xảy ra và dựa vào finallyquá nhiều.

69
wim 2018-03-14 07:40.

Đúng. Cuối cùng luôn luôn thắng.

Cách duy nhất để đánh bại nó là tạm dừng thực thi trước khi finally:có cơ hội thực thi (ví dụ: sập trình thông dịch, tắt máy tính của bạn, tạm dừng máy tạo vĩnh viễn).

Tôi tưởng tượng có những kịch bản khác mà tôi chưa nghĩ đến.

Dưới đây là một vài điều nữa mà bạn có thể chưa nghĩ đến:

def foo():
    # finally always wins
    try:
        return 1
    finally:
        return 2

def bar():
    # even if he has to eat an unhandled exception, finally wins
    try:
        raise Exception('boom')
    finally:
        return 'no boom'

Tùy thuộc vào cách bạn thoát khỏi trình thông dịch, đôi khi bạn có thể "hủy" cuối cùng, nhưng không phải như thế này:

>>> import sys
>>> try:
...     sys.exit()
... finally:
...     print('finally wins!')
... 
finally wins!
$

Sử dụng tính năng bấp bênh os._exit(theo ý kiến ​​của tôi thì điều này thuộc "sự cố trình thông dịch"):

>>> import os
>>> try:
...     os._exit(1)
... finally:
...     print('finally!')
... 
$

Tôi hiện đang chạy mã này, để kiểm tra xem liệu cuối cùng có còn thực thi sau cái chết nhiệt của vũ trụ hay không:

try:
    while True:
       sleep(1)
finally:
    print('done')

Tuy nhiên, tôi vẫn đang chờ kết quả, vì vậy hãy kiểm tra lại tại đây sau.

10
jayce 2018-03-14 09:24.

Theo tài liệu Python :

Bất kể điều gì đã xảy ra trước đó, khối cuối cùng sẽ được thực thi khi khối mã hoàn tất và mọi ngoại lệ được nêu ra được xử lý. Ngay cả khi có lỗi trong trình xử lý ngoại lệ hoặc khối khác và một ngoại lệ mới được đưa ra, thì mã trong khối cuối cùng vẫn được chạy.

Cũng cần lưu ý rằng nếu có nhiều câu lệnh trả về, bao gồm một câu lệnh trong khối cuối cùng, thì câu lệnh trả về cuối cùng là câu lệnh duy nhất sẽ thực thi.

8
Serge Ballesta 2018-03-14 07:38.

Vâng, có và không.

Điều được đảm bảo là Python sẽ luôn cố gắng thực thi khối cuối cùng. Trong trường hợp bạn quay trở lại từ khối hoặc đưa ra một ngoại lệ không cần thiết, khối cuối cùng sẽ được thực thi ngay trước khi thực sự trả lại hoặc nâng lên ngoại lệ.

(những gì bạn có thể tự mình kiểm soát bằng cách chạy mã trong câu hỏi của bạn)

Trường hợp duy nhất tôi có thể tưởng tượng nơi khối cuối cùng sẽ không được thực thi là khi bản thân trình thông dịch Python gặp sự cố, ví dụ như bên trong mã C hoặc vì mất điện.

1
Blair Houghton 2019-03-31 04:03.

Tôi tìm thấy cái này mà không sử dụng hàm máy phát:

import multiprocessing
import time

def fun(arg):
  try:
    print("tried " + str(arg))
    time.sleep(arg)
  finally:
    print("finally cleaned up " + str(arg))
  return foo

list = [1, 2, 3]
multiprocessing.Pool().map(fun, list)

Ngủ có thể là bất kỳ mã nào có thể chạy trong khoảng thời gian không nhất quán.

Điều dường như đang xảy ra ở đây là quá trình song song đầu tiên kết thúc để lại thành công khối try, nhưng sau đó cố gắng trả về từ hàm một giá trị (foo) chưa được xác định ở bất kỳ đâu, điều này gây ra ngoại lệ. Ngoại lệ đó giết chết bản đồ mà không cho phép các quy trình khác tiếp cận các khối cuối cùng của chúng.

Ngoài ra, nếu bạn thêm dòng bar = bazzngay sau lệnh gọi sleep () trong khối thử. Sau đó, quá trình đầu tiên tiếp cận dòng đó sẽ ném ra một ngoại lệ (vì bazz không được xác định), điều này khiến khối cuối cùng của chính nó được chạy, nhưng sau đó giết bản đồ, khiến các khối thử khác biến mất mà không đến khối cuối cùng của chúng, và quá trình đầu tiên cũng không đạt được câu lệnh trả về của nó.

Điều này có nghĩa là đối với đa xử lý Python là bạn không thể tin tưởng cơ chế xử lý ngoại lệ để dọn dẹp tài nguyên trong tất cả các quy trình nếu ngay cả một trong các quy trình có thể có ngoại lệ. Việc xử lý tín hiệu bổ sung hoặc quản lý các tài nguyên bên ngoài lệnh gọi bản đồ đa xử lý sẽ là cần thiết.

Related questions

MORE COOL STUFF

Cate Blanchett chia tay chồng sau 3 ngày bên nhau và vẫn kết hôn với anh ấy 25 năm sau

Cate Blanchett chia tay chồng sau 3 ngày bên nhau và vẫn kết hôn với anh ấy 25 năm sau

Cate Blanchett đã bất chấp những lời khuyên hẹn hò điển hình khi cô gặp chồng mình.

Tại sao Michael Sheen là một diễn viên phi lợi nhuận

Tại sao Michael Sheen là một diễn viên phi lợi nhuận

Michael Sheen là một diễn viên phi lợi nhuận nhưng chính xác thì điều đó có nghĩa là gì?

Hallmark Star Colin Egglesfield Các món ăn gây xúc động mạnh đối với người hâm mộ tại RomaDrama Live! [Loại trừ]

Hallmark Star Colin Egglesfield Các món ăn gây xúc động mạnh đối với người hâm mộ tại RomaDrama Live! [Loại trừ]

Ngôi sao của Hallmark Colin Egglesfield chia sẻ về những cuộc gặp gỡ với người hâm mộ ly kỳ tại RomaDrama Live! cộng với chương trình INSPIRE của anh ấy tại đại hội.

Tại sao bạn không thể phát trực tuyến 'chương trình truyền hình phía Bắc'

Tại sao bạn không thể phát trực tuyến 'chương trình truyền hình phía Bắc'

Bạn sẽ phải phủi sạch đầu đĩa Blu-ray hoặc DVD để xem tại sao Northern Exposure trở thành một trong những chương trình nổi tiếng nhất của thập niên 90.

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

8 công dụng tuyệt vời của Baking Soda và Giấm

8 công dụng tuyệt vời của Baking Soda và Giấm

Bạn biết đấy, hai sản phẩm này là nguồn điện để làm sạch, riêng chúng. Nhưng cùng với nhau, chúng có một loạt công dụng hoàn toàn khác.

Hạn hán, biến đổi khí hậu đe dọa tương lai của thủy điện Hoa Kỳ

Hạn hán, biến đổi khí hậu đe dọa tương lai của thủy điện Hoa Kỳ

Thủy điện rất cần thiết cho lưới điện của Hoa Kỳ, nhưng nó chỉ tạo ra năng lượng khi có nước di chuyển. Bao nhiêu nhà máy thủy điện có thể gặp nguy hiểm khi các hồ và sông cạn kiệt?

Quyên góp tóc của bạn để giúp giữ nước sạch của chúng tôi

Quyên góp tóc của bạn để giúp giữ nước sạch của chúng tôi

Tóc tỉa từ các tiệm và các khoản quyên góp cá nhân có thể được tái sử dụng như những tấm thảm thấm dầu và giúp bảo vệ môi trường.

BoJack Horseman vẫn gan ruột và gan dạ hơn bao giờ hết trong phần 3

BoJack Horseman vẫn gan ruột và gan dạ hơn bao giờ hết trong phần 3

BoJack Horseman (Ảnh: Netflix) BoJack Horseman bắt đầu mùa thứ ba với sự xuất hiện của nhân vật tiêu biểu, người vẫn đang theo đuổi những lời khen ngợi từ giới phê bình trong một nỗ lực tuyệt vọng để tìm ra ý nghĩa trong cuộc sống của mình. Mùa thứ hai về số phận bi kịch của Raphael Bob-Waksberg dày đặc những trò đùa cũng như tuyệt vọng.

Xem cách tính năng lái tự động cập nhật của Tesla bùng phát như thế nào khi bạn bỏ qua các cảnh báo của nó

Xem cách tính năng lái tự động cập nhật của Tesla bùng phát như thế nào khi bạn bỏ qua các cảnh báo của nó

Bản nâng cấp Phiên bản 8.0 gần đây của Tesla đối với hệ thống Lái xe tự động được thiết kế để cải thiện hệ thống và mối quan hệ của nó với người lái.

UnREAL, Chương trình Truyền hình Về Truyền hình Thực tế Chúng tôi Không biết Chúng tôi Cần

UnREAL, Chương trình Truyền hình Về Truyền hình Thực tế Chúng tôi Không biết Chúng tôi Cần

Chắc chắn khi con cái chúng ta xem lại các chương trình chúng ta đã xem vào khoảng năm 2015, chúng sẽ thấy UnREAL, một chương trình truyền hình mới chiếu vào tối Thứ Hai của Lifetime — bạn sẽ thấy đúng lúc, sẽ phát sóng ngay sau khi The Bachelor kết thúc — như một chương trình không thể được thực hiện vào bất kỳ thời điểm nào khác trong lịch sử truyền hình, nhưng một chương trình cảm thấy cần thiết để xem bây giờ. UnREAL có sự tham gia của Shiri Appleby trong vai Rachel, một nhà sản xuất truyền hình cho một chương trình về cơ bản là The Bachelor, mặc dù trong thế giới này, nó được gọi là Vĩnh viễn.

Sau tất cả, Josh Trank sẽ không đạo diễn bộ phim tuyển tập Star Wars thứ hai

Sau tất cả, Josh Trank sẽ không đạo diễn bộ phim tuyển tập Star Wars thứ hai

Thông báo chính thức đến trực tiếp từ trang web của Star Wars: Fantastic Four, đạo diễn Josh Trank, một người bí ẩn không xuất hiện tại đại hội Star Wars Celebration gần đây, sẽ không chỉ đạo phần hai Star Wars Anthology. Đây là tuyên bố được đăng ngày hôm qua: Tất cả thực sự là ngôn ngữ rất lịch sự, nhưng một bài báo của Hollywood Reporter cho thấy tất cả đều không tốt ở hậu trường, gọi sự ra đi là "một vụ sa thải" một phần dựa trên "hành vi bất thường" của Trank trong khi quay Fantastic Four: The Bài báo trích dẫn các nguồn gọi là Trank “đôi khi thiếu quyết đoán và thiếu sáng tạo,” và lưu ý rằng Fantastic Four, khởi chiếu vào ngày 7 tháng 8, đã được khởi động lại vào cuối tháng 4.

Edwin McCain ra mắt Grand Ole Opry: Quay cảnh hậu trường với nhạc sĩ 'I'll Be'

Edwin McCain ra mắt Grand Ole Opry: Quay cảnh hậu trường với nhạc sĩ 'I'll Be'

McCain, người đang làm việc cho một album mới, lần đầu tiên bước vào vòng kết nối vào tối thứ Sáu ở Nashville

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Rothschild's luggage got lost, but luckily she has an incredible closet to shop: Sister Paris Hilton's!

Kate Middleton dành một ngày bên bờ nước ở London, cùng với Jennifer Lopez, Julianne Hough và hơn thế nữa

Kate Middleton dành một ngày bên bờ nước ở London, cùng với Jennifer Lopez, Julianne Hough và hơn thế nữa

Kate Middleton dành một ngày bên bờ nước ở London, cùng với Jennifer Lopez, Julianne Hough và hơn thế nữa. Từ Hollywood đến New York và mọi nơi ở giữa, hãy xem các ngôi sao yêu thích của bạn đang làm gì!

17 tuổi bị đâm chết trong khi 4 người khác bị thương trong một cuộc tấn công bằng dao trên sông Wisconsin

17 tuổi bị đâm chết trong khi 4 người khác bị thương trong một cuộc tấn công bằng dao trên sông Wisconsin

Các nhà điều tra đang xem xét liệu nhóm và nghi phạm có biết nhau trước vụ tấn công hay không

Tôi viết như thế nào

Tôi viết như thế nào

Đối với tôi, mọi thứ là về dòng đầu tiên đó và nó sẽ đưa bạn đến đâu. Một số nhà văn bị điều khiển bởi cốt truyện, sự sắp xếp tinh tế của các quân cờ, trong khi những người khác bị lôi cuốn bởi một nhân vật và khả năng thực hiện một cuộc hành trình với một người bạn hư cấu mới.

Đường băng hạ cánh

Đường băng hạ cánh

Cuối hè đầu thu là mùa hoài niệm. Những chiếc đèn đường chiếu ánh sáng của chúng qua những con đường đẫm mưa, và những chiếc lá dưới chân - màu đỏ cam tắt trong bóng chạng vạng - là lời nhắc nhở về những ngày đã qua.

Hãy tưởng tượng tạo ra một chiến lược nội dung thực sự CHUYỂN ĐỔI. Nó có thể.

Hãy tưởng tượng tạo ra một chiến lược nội dung thực sự CHUYỂN ĐỔI. Nó có thể.

Vào năm 2021, tôi khuyến khích bạn suy nghĩ lại mọi thứ bạn biết về khách hàng mà bạn phục vụ và những câu chuyện bạn kể cho họ. Lùi lại.

Sự mất mát của voi ma mút đã mở ra trái tim tôi để yêu

Sự mất mát của voi ma mút đã mở ra trái tim tôi để yêu

Vào ngày sinh nhật thứ 9 của Felix The Cat, tôi nhớ về một trong những mất mát lớn nhất trong cuộc đời trưởng thành của tôi - Sophie của tôi vào năm 2013. Tôi đã viết bài luận này và chia sẻ nó trên nền tảng này một thời gian ngắn vào năm 2013.

Language