Đối số mảng có được chuyển đến một hàm không phải là một con trỏ không?

Question

xem xét mã:

void foo(char a[]){ 
    a++;   // works fine, gets compiled 
    //... 
} 

Bây giờ, hãy xem xét điều này:

void foo(){ 
    char a[50]; 
    a++;   // Compiler error 
    //... 
} 

tôi nghe một mảng tương đương với một con trỏ liên tục và không thể tăng lên vì nó không phải là một giá trị trái ...

Sau đó, tại sao mã đầu tiên được biên dịch, có phải vì đối số mảng cho hàm được truyền dưới dạng con trỏ hay không, tức là T [] được chuyển thành T * để chuyển .. Vì vậy, foo (a) chuyển thành con trỏ.

Nhưng là nó không trở lại được chuyển đổi để T [] một lần nữa vì được khai báo là:

void foo(char a[]); 

Answer 1

Khi bạn vượt qua một mảng như một tham số để một hàm, nó phân rã đến một con trỏ.
Vì vậy, thứ bạn tăng bên trong thân hàm là con trỏ chứ không phải mảng.

Answer 2

tôi nghe một mảng tương đương với một con trỏ hằng

Bạn thể nghĩ về nó theo cách đó, nhưng chúng không tương đương.

Một mảng phân rã thành con trỏ khi được chuyển đến một hàm, đó là lý do tại sao bên trong hàm đó hợp lệ.

Chỉ vì chữ ký là void foo(char a[]) không làm cho a một mảng.

Bên ngoài chức năng, nó chỉ là một mảng và bạn không thể làm điểm số con trỏ trên đó.

Answer 3

Khi bạn chuyển mảng a [] vào hàm, nó chuyển giá trị của 'a', một địa chỉ, vào hàm. vì vậy bạn có thể sử dụng nó như một con trỏ trong hàm. Nếu bạn khai báo một mảng trong hàm, 'a' là hằng số vì bạn không thể thay đổi địa chỉ của nó trong bộ nhớ.

Answer 4

Đây là một tính năng khá đáng tiếc được kế thừa từ ngôn ngữ C, với tên khá tồi tệ của "phân rã". Vì C một lần không cho phép các kiểu hợp chất đi qua theo giá trị, chúng quyết định cho phép các lập trình viên chỉ định các mảng như các kiểu tham số hàm, nhưng chỉ có tính thẩm mỹ. Loại mảng phân rã thành kiểu con trỏ, thực hiện một loại ngữ nghĩa vượt qua tham chiếu khác với phần còn lại của ngôn ngữ. Xấu xí.

Để tóm tắt lại (và những người khác đã nói điều này), chữ ký

void foo(char a[]); // asking for trouble 

được unceremoniously đọc sai thành

void foo(char *a); 

... tất cả vì lợi ích của khả năng tương thích với mã C cổ đại. Vì bạn không viết mã C cổ, bạn không nên sử dụng tính năng "này".

Tuy nhiên, bạn có thể chuyển sạch tham chiếu vào một mảng.C++ yêu cầu kích thước của mảng được biết:

void foo(char (&a)[ 50 ]); 

Bây giờ a không thể được sửa đổi trong chức năng (chỉnh sửa: nội dung của nó có thể, tất nhiên - bạn biết những gì tôi có nghĩa), và chỉ có các mảng của đúng kích cỡ có thể được thông qua. Đối với mọi thứ khác, chuyển con trỏ hoặc loại cấp cao hơn.

Answer 5

Bên trong hàm, a là chính địa chỉ, trỏ đến biến cục bộ. Bạn có thể tăng nó bởi vì nó là một địa chỉ. Ngoài ra, bạn có thể làm điều gì đó như sau:

char a[50]; 
int i; 
for(i=0;i<50;i++) 
    *(a+i)='b'; 

Không có lỗi.

Answer 6

Trong C++, bất kỳ tham số chức năng nào của loại "mảng T" được điều chỉnh thành "con trỏ đến T". Hãy thử mã này:

void foo(char a[]) {} 
void foo(char* a) {} //error: redefinition 

Chúng thực sự là cùng một chức năng.

Vì vậy, tại sao chúng ta có thể chuyển đối số mảng tới hàm như một tham số con trỏ? Không phải vì một mảng tương đương với một con trỏ không đổi, nhưng vì một kiểu mảng có thể được chuyển đổi hoàn toàn thành một giá trị rvalue của kiểu con trỏ. Cũng lưu ý kết quả của việc chuyển đổi là một rvalue, đó là lý do tại sao bạn không thể áp dụng toán tử ++ vào một mảng, bạn chỉ có thể áp dụng toán tử này cho một giá trị.

Answer 7

tôi nghe một mảng tương đương với một con trỏ liên tục và không thể tăng lên vì nó không phải là một giá trị trái ...

Hầu.

Mảng biểu thức là không thể sửa đổi lvalue; nó có thể không phải là toán hạng cho các toán tử như ++ hoặc -- và nó có thể không phải là đích của một biểu thức gán. Đây không phải là điều tương tự như một con trỏ liên tục (có nghĩa là, một con trỏ được khai báo là T * const).

Một biểu thức mảng sẽ được thay thế bằng một biểu thức con trỏ có giá trị là địa chỉ của phần tử đầu tiên của mảng trừ khi biểu thức mảng là một toán hạng của sizeof hoặc unary & nhà khai thác, hoặc khi biểu thức mảng là một chuỗi ký tự được sử dụng để khởi tạo một mảng khác trong một khai báo.

Khi bạn gọi một hàm với một cuộc tranh cãi mảng, chẳng hạn như

int a[N]; 
... 
foo(a); 

biểu thức a được chuyển đổi từ "mảng N phần tử của int" loại để "con trỏ đến int" và giá trị con trỏ này là những gì được chuyển đến foo; do đó, hàm nguyên mẫu tương ứng nên

void foo (int *arr) {...} 

Lưu ý rằng trong bối cảnh của một tuyên bố tham số chức năng, T a[] và T a[N] là giống hệt nhau để T *a; trong cả ba trường hợp, a được khai báo là con trỏ đến T.Trong hàm foo, tham số arr là biểu thức con trỏ, trong đó là giá trị có thể sửa đổi và do đó có thể được gán và có thể là toán hạng của các toán tử ++ và --.

Hãy nhớ rằng tất cả các chuyển đổi này nằm trên biểu thức mảng; nghĩa là, số nhận dạng mảng hoặc biểu thức khác đề cập đến mảng đối tượng trong bộ nhớ. Đối tượng mảng (phần bộ nhớ chứa các giá trị mảng) không được chuyển đổi.