Tại sao một hàm không có tham số (so với định nghĩa hàm thực tế) biên dịch?

Tôi vừa bắt gặp mã C của ai đó mà tôi bối rối không biết tại sao nó lại được biên dịch. Có hai điểm tôi không hiểu.

Đầu tiên, nguyên mẫu hàm không có tham số so với định nghĩa hàm thực tế. Thứ hai, tham số trong định nghĩa hàm không có kiểu.

#include <stdio.h>

int func();

int func(param)
{
    return param;
}

int main()
{
    int bla = func(10);    
    printf("%d", bla);
}

Tại sao điều này làm việc? Tôi đã thử nghiệm nó trong một vài trình biên dịch, và nó hoạt động tốt.

Tất cả các câu trả lời khác đều đúng, nhưng chỉ để hoàn thành

Một hàm được khai báo theo cách sau:

  return-type function-name(parameter-list,...) { body... }

Kiểu trả về là kiểu biến mà hàm trả về. Đây không thể là kiểu mảng hoặc kiểu hàm. Nếu không được đưa ra, thì int được giả định .

Tên hàm là tên của hàm.

danh sách tham số là danh sách các tham số mà hàm lấy bằng dấu phẩy. Nếu không có tham số nào được đưa ra, thì hàm không lấy bất kỳ và nên được xác định bằng một tập ngoặc đơn trống hoặc với từ khóa void. Nếu không có loại biến nào đứng trước một biến trong danh sách paramater, thì int được giả sử . Mảng và hàm không được truyền cho hàm, nhưng được tự động chuyển thành con trỏ. Nếu danh sách được kết thúc bằng dấu chấm lửng (, ...), thì không có số lượng tham số đã đặt. Lưu ý: tiêu đề stdarg.h có thể được sử dụng để truy cập các đối số khi sử dụng dấu chấm lửng.

Và một lần nữa vì lợi ích của sự hoàn chỉnh. Từ đặc tả C11 6: 11: 6 (trang: 179)

Việc sử dụng các bộ khai báo hàm với dấu ngoặc rỗng (không phải là bộ khai báo kiểu tham số định dạng nguyên mẫu) là một tính năng lỗi thời .

Trong C func()có nghĩa là bạn có thể vượt qua bất kỳ số lượng đối số. Nếu bạn không muốn đối số thì bạn phải khai báo là func(void). Loại bạn đang chuyển đến chức năng của mình, nếu không được chỉ định mặc định int.

int func();là một tuyên bố chức năng lỗi thời từ những ngày không có tiêu chuẩn C, tức là thời của K & R C (trước năm 1989, năm tiêu chuẩn "ANSI C" đầu tiên được công bố).

Hãy nhớ rằng không có nguyên mẫu trong K & R C và từ khóa voidchưa được phát minh. Tất cả những gì bạn có thể làm là nói với trình biên dịch về kiểu trả về của hàm. Danh sách tham số trống trong K & R C có nghĩa là "số lượng đối số không xác định nhưng cố định". Cố định có nghĩa là bạn phải gọi hàm với cùng một số args mỗi lần (như trái ngược với một variadic chức năng như printf, nơi số lượng và loại có thể khác nhau cho mỗi cuộc gọi).

Nhiều trình biên dịch sẽ chẩn đoán cấu trúc này; đặc biệt gcc -Wstrict-prototypessẽ cho bạn biết "khai báo hàm không phải là nguyên mẫu", được phát hiện ra, bởi vì nó trông giống như một nguyên mẫu (đặc biệt là nếu bạn bị đầu độc bởi C ++!), nhưng không phải. Đó là một khai báo kiểu trả về kiểu K & R C cũ.

Quy tắc ngón tay cái: Không bao giờ để trống một khai báo danh sách tham số trống, sử dụng int func(void)để được cụ thể. Điều này biến khai báo kiểu trả về K & R thành nguyên mẫu C89 thích hợp. Trình biên dịch hạnh phúc, nhà phát triển hạnh phúc, người kiểm tra tĩnh hạnh phúc. Tuy nhiên, những người bị đánh lừa bởi ^ W ^ Wfond của C ++ có thể co rúm lại, bởi vì họ cần phải nhập thêm ký tự khi họ cố gắng thực hiện các kỹ năng ngoại ngữ của mình :-)

• Danh sách tham số trống có nghĩa là "bất kỳ đối số", vì vậy định nghĩa không sai.
• Loại thiếu được giả định là int.

Tôi sẽ xem xét bất kỳ bản dựng nào vượt qua điều này là thiếu mức cảnh báo / lỗi được định cấu hình, tuy nhiên, không có điểm nào trong việc cho phép mã thực tế này.

Đó là khai báo và định nghĩa hàm kiểu K & R. Từ tiêu chuẩn C99 (ISO / IEC 9899: TC3)

Mục 6.7.5.3 Công cụ khai báo chức năng (bao gồm cả nguyên mẫu)

Một danh sách định danh chỉ khai báo các định danh của các tham số của hàm. Một danh sách trống trong một bộ khai báo hàm là một phần của định nghĩa của hàm đó xác định rằng hàm không có tham số. Danh sách trống trong một bộ khai báo hàm không phải là một phần của định nghĩa của hàm đó xác định rằng không có thông tin nào về số lượng hoặc loại tham số được cung cấp. (Nếu cả hai loại chức năng là "kiểu cũ", các loại tham số không được so sánh.)

Mục 6.11.6 Bộ khai báo hàm

Việc sử dụng các bộ khai báo hàm với dấu ngoặc rỗng (không phải là bộ khai báo kiểu tham số định dạng nguyên mẫu) là một tính năng lỗi thời.

Mục 6.11.7 Định nghĩa hàm

Việc sử dụng các định nghĩa hàm với các danh sách khai báo và định danh tham số riêng biệt (không phải là kiểu khai báo tham số định dạng nguyên mẫu và định danh) là một tính năng lỗi thời.

Những phong cách cũ có nghĩa là K & R phong cách

Thí dụ:

Tờ khai: int old_style();

Định nghĩa:

int old_style(a, b)
    int a; 
    int b;
{
     /* something to do */
}

C giả sử intnếu không có kiểu nào được đưa ra trên kiểu trả về hàm và danh sách tham số . Chỉ cho quy tắc này sau những điều kỳ lạ là có thể.

Một định nghĩa hàm trông như thế này.

int func(int param) { /* body */}

Nếu nó là một nguyên mẫu bạn viết

int func(int param);

Trong nguyên mẫu, bạn chỉ có thể chỉ định loại tham số. Tên tham số không bắt buộc. Vì thế

int func(int);

Ngoài ra nếu bạn không chỉ định loại tham số nhưng tên intđược giả sử là loại.

int func(param);

Nếu bạn đi xa hơn, làm việc sau đây quá.

func();

Trình biên dịch giả định int func()khi bạn viết func(). Nhưng không đặt func()bên trong một cơ thể chức năng. Đó sẽ là một cuộc gọi chức năng

Như @Krishnabhadra đã nêu, tất cả các phản hồi trước đây từ những người dùng khác, đều có cách giải thích chính xác và tôi chỉ muốn phân tích chi tiết hơn về một số điểm.

Trong Old-C như trong ANSI-C, " tham số chính thức chưa được xử lý ", lấy phần nhỏ của thanh ghi công việc hoặc khả năng độ sâu chỉ dẫn (thanh ghi bóng hoặc chu trình tích lũy lệnh), trong MPU 8 bit, sẽ là int16, trong 16 bit MPU và như vậy sẽ là một int16, v.v., trong trường hợp kiến ​​trúc 64 bit có thể chọn biên dịch các tùy chọn như: -m32.

Mặc dù có vẻ đơn giản hơn khi thực hiện ở mức cao, Để vượt qua nhiều tham số, công việc của lập trình viên trong bước loại dữ liệu điều khiển dimencion, trở nên đòi hỏi khắt khe hơn.

Trong các trường hợp khác, đối với một số kiến ​​trúc bộ vi xử lý, trình biên dịch ANSI đã tùy chỉnh, tận dụng một số tính năng cũ này để tối ưu hóa việc sử dụng mã, buộc vị trí của các "tham số chính thức chưa được xử lý" này hoạt động trong hoặc ngoài thanh ghi công việc, hôm nay bạn có được gần như giống nhau với việc sử dụng "dễ bay hơi" và "đăng ký".

Nhưng cần lưu ý rằng các trình biên dịch hiện đại nhất, không phân biệt giữa hai loại khai báo tham số.

Ví dụ về một trình biên dịch với gcc trong linux:

 
Trong mọi trường hợp, câu lệnh của nguyên mẫu cục bộ không được sử dụng, bởi vì không có cuộc gọi nào mà không có tham số tham chiếu đến nguyên mẫu này sẽ được gửi lại. Nếu bạn sử dụng hệ thống với "tham số chính thức chưa được kiểm tra", đối với cuộc gọi bên ngoài, hãy tiến hành tạo kiểu dữ liệu nguyên mẫu khai báo.

Như thế này:

int myfunc(int param);

Về loại tham số, đã có câu trả lời đúng ở đây nhưng nếu bạn muốn nghe nó từ trình biên dịch, bạn có thể thử thêm một số cờ (dù sao cờ cũng luôn là một ý tưởng hay).

biên dịch chương trình của bạn bằng cách sử dụng gcc foo.c -Wextratôi nhận được:

foo.c: In function ‘func’:
foo.c:5:5: warning: type of ‘param’ defaults to ‘int’ [-Wmissing-parameter-type]

kỳ lạ là -Wextrakhông nắm bắt được điều này vì clang(nó không nhận ra -Wmissing-parameter-typevì một số lý do, có thể vì những điều lịch sử đã đề cập ở trên) nhưng -pedantic:

foo.c:5:10: warning: parameter 'param' was not declared, 
defaulting to type 'int' [-pedantic]
int func(param)
         ^
1 warning generated.

Và đối với vấn đề nguyên mẫu như đã nói ở trên int func()đề cập đến các tham số tùy ý trừ khi bạn xác định chính xác nó như int func(void)sau đó sẽ cung cấp cho bạn các lỗi như mong đợi:

foo.c: In function ‘func’:
foo.c:6:1: error: number of arguments doesn’t match prototype
foo.c:3:5: error: prototype declaration
foo.c: In function ‘main’:
foo.c:12:5: error: too many arguments to function ‘func’
foo.c:5:5: note: declared here

hoặc clangnhư:

foo.c:5:5: error: conflicting types for 'func'
int func(param)
    ^
foo.c:3:5: note: previous declaration is here
int func(void);
    ^
foo.c:12:20: error: too many arguments to function call, expected 0, have 1
    int bla = func(10);
              ~~~~ ^~
foo.c:3:1: note: 'func' declared here
int func(void);
^
2 errors generated.

Nếu khai báo hàm không có tham số tức là trống thì nó đang lấy số lượng đối số không xác định. Nếu bạn muốn làm cho nó không có đối số thì thay đổi nó thành:

int func(void);

Đây là lý do tại sao tôi thường khuyên mọi người biên dịch mã của họ với:

cc -Wmissing-variable-declarations -Wstrict-variable-declarations -Wold-style-definition

Những lá cờ này thi hành một vài điều:

• -Wmissing-biến-khai báo: Không thể khai báo hàm không tĩnh mà không lấy nguyên mẫu trước. Điều này làm cho nhiều khả năng một nguyên mẫu trong tệp tiêu đề khớp với định nghĩa thực tế. Ngoài ra, nó bắt buộc bạn thêm từ khóa tĩnh vào các chức năng không cần hiển thị công khai.
• -Wstrict-biến-khai báo: Nguyên mẫu phải liệt kê đúng các đối số.
• -Wold-style-định nghĩa: Bản thân định nghĩa hàm cũng phải liệt kê đúng các đối số.

Các cờ này cũng được sử dụng theo mặc định trong rất nhiều dự án Nguồn mở. Ví dụ: FreeBSD có các cờ này được bật khi xây dựng với WARNS = 6 trong Makefile của bạn.