Dereferencing con trỏ đến dữ liệu tĩnh ngoài phạm vi trong C

Question

Tuyên bố từ chối trách nhiệm: Câu hỏi này nghiêm túc về mặt học thuật. Ví dụ tôi sắp đưa ra có lẽ là kiểu xấu.

Giả sử trong CI viết một chương trình con của mẫu này:

char *foo(int x) 
{ 
    static char bar[9]; 

    if(x == 0) 
     strcpy(bar, "zero"); 
    else 
     strcpy(bar, "not zero"), 

    return bar; 
} 

Sau đó, ở đâu đó, tôi sử dụng foo như sau:

printf("%i is %s\n", 5, foo(5)); 

mô hình tinh thần của tôi về con trỏ và các biến tĩnh dự đoán rằng, trong thực hành, đầu ra của printf này sẽ là

5 không phải là số không

... nhưng điều này thực sự được yêu cầu theo tiêu chuẩn C hay tôi ở lãnh thổ quỷ mũi?

Để làm cho mọi việc thậm chí tệ hơn, những gì về một cái gì đó giống như

strcpy(foo(5), "five"); 

mô hình tinh thần của tôi nói rằng nên "tác phẩm" này, trừ khi đó là một cách rõ ràng bất hợp pháp, mặc dù nó hơi vô nghĩa vì nó không ảnh hưởng đến đầu ra của foo. Nhưng một lần nữa, điều này thực sự được định nghĩa theo tiêu chuẩn?

Answer 1

Nội dung bạn đã viết là OK; không có quỷ mũi đang chờ bạn. Ngay cả ví dụ strcpy() là 'OK' vì bạn không bị chà đạp ngoài giới hạn của mảng. Đó là 'OK' là trong dấu ngoặc kép bởi vì nó không phải là một ý tưởng tốt, nhưng như được viết, không có ngoài giới hạn truy cập bộ nhớ và do đó không có hành vi không xác định. Dữ liệu static trong hàm có trong suốt thời gian tồn tại của chương trình, chứa giá trị cuối cùng được ghi vào đó.

Có thể có vấn đề nếu bạn cố gắng:

printf("%i is %s but %i is %s\n", 5, foo(5), 0, foo(0)); 

Bạn sẽ nhận được câu trả lời sai cho một trong hai con số, nhưng nó không được định nghĩa đó sẽ là câu trả lời sai.

Answer 2

Tôi thấy không có gì sai với mã này.

Con trỏ foo() trả về là một con trỏ hợp lệ và bạn được phép bỏ qua nó.

Chỉnh sửa: Bởi "không có gì sai", tôi đồng ý với các câu trả lời khác rằng mã này không tốt trong bất kỳ ý nghĩa nào của từ vì nhiều lý do. Nó chỉ đơn thuần là đúng theo tiêu chuẩn C.

Answer 3

Vâng, kể từ khi bạn muốn có một trích dẫn từ tiêu chuẩn:

Thời gian tồn tại của một đối tượng là một phần của chương trình thực hiện trong đó lưu trữ được đảm bảo để dành cho nó.

Một đối tượng có identi fi er được khai báo mà không có sự lưu trữ hạng Speci fi er _Thread_local, và một trong hai với bên ngoài hoặc nội bộ liên kết hoặc với việc lưu trữ hạng Speci fi er tĩnh, có thời gian lưu trữ tĩnh.Thời gian của nó là toàn bộ quá trình thực thi của chương trình và giá trị được lưu trữ chỉ được khởi tạo một lần, trước khi khởi động chương trình.

Answer 4

Trong điều kiện bất kỳ, foo() trả về một con trỏ đến một biến tĩnh, mà đời là vĩnh viễn (tức là nó sống từ khi kiểm soát đi qua nó lần đầu tiên cho đến khi kết thúc chương trình). Điều này là hoàn toàn tốt đẹp.

Logic của mã của bạn kém hiệu quả; ví dụ, hàm không được tái nhập và không xa thread-safe, và dĩ nhiên hoạt động chuỗi không được bảo vệ là hoàn toàn tự tử.

Answer 5

Không có gì sai với nó. phong cách tốt hơn sẽ

const char *foo(int x); 

Sau đó, bạn không thể strcpy vào nó mà không đúc đi những const. Nếu bạn thực sự muốn phá vỡ nó không có gì có thể ngăn cản bạn.

nếu bạn muốn đặt lại.

const char *foo(int x) 
{ 
return (x? "not zero" : "zero"); 
}