Tại sao mảng không thể được chuyển qua làm đối số hàm trong C?

Theo nhận xét này , tôi đã cố gắng google tại sao, nhưng google-fu của tôi không thành công.

Nhận xét từ liên kết:

[...] Nhưng điều quan trọng là mảng và con trỏ là những thứ khác nhau trong C.

Giả sử bạn không sử dụng bất kỳ tiện ích mở rộng trình biên dịch nào, bạn thường không thể tự truyền một mảng cho một hàm, nhưng bạn có thể truyền một con trỏ và lập chỉ mục một con trỏ như thể đó là một mảng.

Bạn đang phàn nàn một cách hiệu quả rằng con trỏ không có chiều dài kèm theo. Bạn nên phàn nàn rằng các mảng không thể được chuyển qua dưới dạng đối số hàm hoặc các mảng suy giảm thành con trỏ hoàn toàn.

Dự đoán đầu tiên của tôi về lý do đơn giản là vì lý do hiệu năng và tiết kiệm bộ nhớ, và để dễ thực hiện trình biên dịch (đặc biệt là đối với loại máy tính tại thời điểm C được phát minh). Truyền các mảng lớn "theo giá trị" dường như có tác động rất lớn đến ngăn xếp, nó cần một thao tác sao chép toàn bộ mảng cho mỗi lệnh gọi hàm và có lẽ trình biên dịch phải thông minh hơn để xuất mã lắp ráp chính xác (mặc dù điểm cuối còn gây tranh cãi) . Cũng sẽ khó khăn hơn khi xử lý các mảng được phân bổ động giống như các mảng được phân bổ tĩnh (theo quan điểm của cú pháp của ngôn ngữ).

EDIT: sau khi đọc một số bộ phận từ liên kết này , tôi nghĩ rằng lý do thực sự (và lý do tại sao các mảng trong cấu trúc được coi là loại giá trị, trong khi mảng duy nhất là không) là khả năng tương thích ngược với C của người tiền nhiệm B . Đây là trích dẫn từ Dennis Ritchie:

... Quy tắc, tồn tại trong C ngày nay, là các giá trị của kiểu mảng được chuyển đổi, khi chúng xuất hiện trong biểu thức, thành con trỏ đến đầu tiên của các đối tượng tạo thành mảng.

Phát minh này cho phép hầu hết mã B hiện tại tiếp tục hoạt động, bất chấp sự thay đổi cơ bản trong ngữ nghĩa của ngôn ngữ. [..]

Một máy tính mini PDP chỉ có 8 kB bộ nhớ không thể phân bổ một ngăn xếp rất lớn. Vì vậy, trên một máy như vậy, người ta phải cẩn thận trong thiết kế ngôn ngữ (hoặc tiến hóa) để có thể giảm thiểu những gì cần phải thực hiện trên ngăn xếp để sử dụng cuộc gọi chương trình con phổ biến dự kiến. C vẫn được sử dụng ngày nay để lập trình các hệ thống nhúng cực kỳ hạn chế bộ nhớ (một vài kB), vì vậy sự đánh đổi thường là một hệ thống tốt.

Trên một kiến ​​trúc bộ xử lý có rất ít thanh ghi, việc truyền bất kỳ mảng nào bằng con trỏ thay vì theo giá trị thường cho phép một thanh ghi được sử dụng như một tối ưu hóa cuộc gọi chương trình con.