Con trỏ để const chuỗi trong C

Question

char *p = "string"; //creates pointer to constant string 

char p[] = "string"; //just an array with "string" 

Tôi chỉ là một chút nhầm lẫn về lý do tại sao nó trong ví dụ đầu tiên tạo ra một con trỏ đến một chuỗi liên tục? Không phải nó chỉ là một con trỏ đề cập đến một nơi trong bộ nhớ với "chuỗi"?

Answer 1

Thật không may hợp pháp trong C (và trong C++ 03, để tương thích). Nhưng bất kỳ nỗ lực nào để sửa đổi chuỗi ký tự bằng con trỏ sẽ dẫn đến hành vi Không xác định. Vì vậy, tốt hơn luôn gán chuỗi chữ đến một const char*

const char * cp = "Hello"; //OK 
char* p = "Hello"; //OK (unfortunately) 
cp[0] = 'Y'; //Compile-time error, good 
p[0] = 'Y'; //no compiler error, undefined behavior 

Answer 2

Trong trường hợp đầu tiên, "string" có thể được lưu trữ trong khu vực chỉ đọc của quy trình, do đó, việc sửa đổi bộ nhớ được trỏ đến bởi p sẽ gây ra hành vi không xác định.

Trong trường hợp thứ hai, bộ nhớ thực được cấp phát và khởi tạo trên ngăn xếp lúc chạy (hoặc trong phần thích hợp của quá trình khởi động chương trình nếu nó không phải là biến cục bộ), do đó sửa đổi bộ nhớ là OK.

Các trường hợp đầu tiên có thể được minh họa như thế này:

+---+   +---+---+---+---+---+---+---+ 
| | ----> | s | t | r | i | n | g | \0| 
+---+   +---+---+---+---+---+---+---+ 
    p 

Trong khi trường hợp thứ hai là:

+---+---+---+---+---+---+---+ 
| s | t | r | i | n | g | \0| 
+---+---+---+---+---+---+---+ 
       p 

Hai tờ khai có một sự khác biệt đáng kể, mặc dù bạn có thể đã nghe nói rằng họ là những giống với sách lập trình C chất lượng thấp.

Đầu tiên là một con trỏ loại char *, trong khi thứ hai là một mảng loại char []. Định danh mảng phân rã thành con trỏ trong một số ngữ cảnh, nhưng điều đó không làm cho chúng trỏ đến. Một con trỏ chỉ là một địa chỉ và một mảng là "toàn bộ điều" - trong trường hợp đầu tiên sizeof(p) mang lại kích thước của một con trỏ (thường là 4 hoặc 8 tùy thuộc vào máy mục tiêu), và trong trường hợp thứ hai nó mang lại 7 * sizeof(char), độ dài của chuỗi thực tế.

Answer 3

Đầu tiên tạo con trỏ và đặt nó thành địa chỉ của chuỗi không đổi (có lẽ trong vùng không có tính năng ghi ghi trên trang). Viết cho con trỏ này là bất hợp pháp (và có thể sẽ bị lỗi).

Cách thứ hai tạo mảng và sao chép ký tự vào đó. Việc ghi vào mảng này sẽ ghi vào một số vị trí trên ngăn xếp của bạn và hoàn toàn hợp pháp.

Answer 4

Trong trường hợp đầu tiên, "chuỗi" có thể được lưu trữ trong một khu vực chỉ đọc của quá trình này, vì vậy cố gắng để thay đổi bộ nhớ được trỏ đến bởi p sẽ gây ra hành vi không xác định.

Nó có thể được chứng minh bằng cách chạy các dòng mã trên nhiều lần.

char *p="string"; 

bạn sẽ nhận thấy rằng nội dung của p (tức là địa chỉ của "chuỗi") vẫn không đổi.

char p[] = "string"; 

cho những bộ nhớ này được cấp phát mỗi lần bạn chạy nội dung của thay đổi p.