Sử dụng _Noreturn trong C11

Question

thể trùng lặp:
What is the point of the Noreturn attribute?

C11 giới thiệu các thuộc tính _Noreturn để cho biết rằng một chức năng không bao giờ trở lại.

Ngoại trừ giá trị tài liệu trong mã nguồn, các thuộc tính khác cung cấp những lợi ích nào và tại sao một thuộc tính sẽ sử dụng?

Answer 1

Nếu một hàm gọi vô điều kiện một hàm _Noreturn, trình biên dịch sẽ có thể hiểu rằng:

• mã sau đây là mã chết, cho phép tối ưu hóa (nó có thể được loại bỏ khỏi tạo ra nhị phân) và chẩn đoán - trình biên dịch sẽ có thể phát ra cảnh báo "mã không thể truy cập";

• quan trọng nhất, biết rằng luồng bình thường từ chức năng bị gián đoạn nó sẽ có thể tránh cảnh báo giả mạo về giá trị trả về bị mất, biến chưa được khởi tạo và tương tự. Điều này đặc biệt quan trọng với các máy phân tích mã tĩnh - số lượng các kết quả sai được đưa ra bởi máy phân tích tĩnh CLang trong một ứng dụng lớn của chúng ta giảm đáng kể khi chúng tôi đánh dấu chức năng die của chúng tôi (đăng nhập một lỗi nghiêm trọng và chấm dứt ứng dụng) là noreturn.

Có thể có một số tối ưu hóa khác - vì hàm này không bao giờ trả về, không cần phải đẩy địa chỉ trả về trên ngăn xếp, lưu trạng thái đăng ký và bất cứ điều gì, tất cả những gì cần thiết là chuyển lập luận và thực hiện jmp để bắt đầu chức năng, mà không phải lo lắng về việc trả lại và dọn dẹp sau khi trả về. Nhưng tất nhiên, kể từ khi cuộc gọi là một-shot, hiệu suất để ép ở đây là chủ yếu là không đáng kể.

Answer 2

Nó cho phép tối ưu hóa bổ sung được thực hiện bởi trình biên dịch. Hãy xem here tại noreturn thuộc tính của GCC mà nó hỗ trợ cho một thời bây giờ (ngữ nghĩa có lẽ là giống nhau)

Answer 3

__attribute__((noreturn)) hoặc _Noreturn rất hữu ích cho các chức năng như die():

static __attribute__((noreturn)) void die(const char *fmt, ...) { 
    /* print a formatted error message and exit */ 
    exit(EXIT_FAILURE); 
} 
/* And let's say in main() you would want to exit because of an error but unforunately GCC complains about return value. */ 
int main() 
{ 
    if (!whatever) 
     die("a nasty error message goes here\n"); 
} 

Và cũng được sử dụng cho việc tối ưu như đã nêu.