Loại trả về Never là gì? Khi nào nên sử dụng nó thay vì Void trong Swift?
Câu trả lời
Loại trả về Never trong Swift là một loại đặc biệt, được sử dụng để báo cho trình biên dịch biết rằng một hàm sẽ không bao giờ trả về khi được gọi. Nó thường được sử dụng trong các hàm mà từ đó chương trình sẽ không tiếp tục thực thi bình thường, chẳng hạn như khi chương trình gặp lỗi nghiêm trọng và cần phải dừng lại hoặc khi một vòng lặp vô hạn được thực thi.
Never được định nghĩa là một enum không có case nào, tức là không thể tạo ra một instance của Never. Điều này làm cho Never trở thành một loại "không thể có giá trị", hoặc còn gọi là loại không thể tạo ra (uninhabited type). Sử dụng Never làm loại trả về của một hàm cho phép Swift thực hiện một số tối ưu hóa, bởi vì trình biên dịch biết rằng mã sau lời gọi hàm đó sẽ không bao giờ được thực thi.
Trái ngược với Never, Void (hoặc ()) là loại trả về cho biết một hàm không trả về giá trị nào nhưng vẫn hoàn thành và trả về bình thường. Void được sử dụng khi một hàm chỉ thực hiện một số tác dụng phụ mà không cần trả về dữ liệu.
