Tại sao mã này vẫn hoạt động?

Question

Một số mã cũ mà tôi chỉ đi qua:

MLIST * new_mlist_link() 
{ 
    MLIST *new_link = (MLIST *) malloc(sizeof(MLIST)); 
    new_link->next = NULL; 
    new_link->mapi = NULL; 
    new_link->result = 0; 
} 

này đã được kêu gọi để xây dựng một danh sách liên kết, tuy nhiên tôi nhận thấy không có tuyên bố:

return new_link; 

Mặc dù không có báo cáo kết quả lợi nhuận ở đó, danh sách vẫn được xây dựng đúng cách. Tại sao điều này xảy ra?

Edit: Hệ điều hành: Mandriva 2009 64bit Linux 2.6.24.7-server GCC 4.2.3-6mnb1

Edit: vui ... mã này cũng chạy successfuly trên khoảng 5 cài đặt Linux khác nhau, tất cả các phiên bản/hương vị khác nhau cũng như máy Mac.

Answer 1

Trên Windows 32 bit, hầu hết thời gian, giá trị trả lại từ một hàm được để lại trong thanh ghi EAX. Các thiết lập tương tự được sử dụng trong các hệ điều hành khác, mặc dù tất nhiên nó là trình biên dịch cụ thể. Hàm cụ thể này có lẽ được lưu trữ biến new_link trong cùng một vị trí, vì vậy khi bạn quay trở lại mà không trả về, biến ở vị trí đó được coi là giá trị trả về của người gọi.

Đây không phải là di động và rất nguy hiểm để thực sự làm, nhưng cũng là một trong những điều nhỏ mà làm cho lập trình trong C rất nhiều niềm vui.

Answer 2

Về cơ bản là may mắn; Rõ ràng, trình biên dịch xảy ra để dính new_link vào cùng một vị trí nó sẽ dính một giá trị trả về.

Answer 3

Có thể trùng hợp ngẫu nhiên:

Không gian cho giá trị trả lại của hàm được phân bổ trước thời hạn. Vì giá trị đó là uninitialized, nó có thể trỏ đến cùng một không gian trên heap như bộ nhớ được cấp phát cho struct.

Answer 4

Điều này hoạt động theo sự trùng hợp ngẫu nhiên. Bạn không nên dựa vào điều đó.

Answer 5

Có thể nó chỉ sử dụng thanh ghi EAX thường lưu trữ giá trị trả về của hàm cuối cùng được gọi. Đây không phải là thực hành tốt cả! Hành vi cho loại sự việc này là không xác định .. Nhưng nó là mát mẻ để xem công việc ;-)

Answer 6

Rất có thể là nó sẽ sản xuất rất khó tìm lỗi. Tôi không chắc chắn nơi tôi đọc nó, nhưng tôi nhớ lại rằng nếu bạn quên đặt trong một tuyên bố trở lại, hầu hết các trình biên dịch sẽ mặc định để trả về void.

Dưới đây là một ví dụ nhỏ:

#include <iostream> 

using namespace std; 

int* getVal(); 

int main() 
{ 
     int *v = getVal(); 
     cout << "Value is: " << *v << endl; 
     return 0; 
} 

int* getVal() 
{ 
     // return nothing here 
} 

Đối với tôi, công trình này là tốt. Tuy nhiên, khi tôi chạy nó, tôi nhận được một lỗi phân đoạn. Vì vậy, nó thực sự không xác định. Chỉ vì nó biên dịch, không có nghĩa là nó sẽ hoạt động.

Answer 7

Nó hoạt động vì vào những năm 1940 khi ngôn ngữ C được tạo, không có từ khóa return.Nếu bạn nhìn vào "chức năng" của tiêu chuẩn C43 MINSI, nó có này để nói về đề tài này (trong số những thứ khác):

16.4.3b For backwards compatibility the EAX register MUST be used to return 
     the address of the first chunk of memory allocated by malloc. 

</humour>

Answer 8

Để tránh vấn đề này, sử dụng:

-Wreturn-type:

Warn whenever a function is defined with a return-type that defaults to int. Also warn about any return statement with no return-value in a function whose return-type is not void (falling off the end of the function body is considered returning without a value), and about a return statement with an expression in a function whose return-type is void.

-Werror=return-type để biến ở trên vào một lỗi:

Make the specified warning into an error. The specifier for a warning is appended, for example -Werror=switch turns the warnings controlled by -Wswitch into errors. This switch takes a negative form, to be used to negate -Werror for specific warnings, for example -Wno-error=switch makes -Wswitch warnings not be errors, even when -Werror is in effect. You can use the -fdiagnostics-show-option option to have each controllable warning amended with the option which controls it, to determine what to use with this option.

(từ GCCs warning options)