C - Return một con trỏ char mà không malloc

Question

Xét đoạn mã sau:

char* pointerTesting(void) { 

    char* test = "hello"; 
    return test; 
} 

int main() { 

    char* string = pointerTesting(); 
    printf("string: %s\n", string); 
} 

này không có vấn đề biên dịch và chạy. Tuy nhiên, trong sự hiểu biết của tôi, điều này sẽ không hoạt động, vì bộ nhớ được cấp cho con trỏ test nằm trên ngăn xếp và nó bị phá hủy khi trở về chính.

Vì vậy, câu hỏi đặt ra là, làm cách nào để quản lý hoạt động mà không có malloc trong hàm pointerTesting()?

Answer 1

Trong trường hợp này, chuỗi "hello" được lưu trữ trong bộ nhớ chung *. Vì vậy, đã được phân bổ.

Vì vậy, nó vẫn hợp lệ khi bạn trở về từ hàm.

Tuy nhiên, nếu bạn đã làm điều này:

char test[] = "hello"; 
return test; 

Sau đó không, nó sẽ không làm việc. (hành vi không xác định) Trong trường hợp này, chuỗi thực sự là một mảng cục bộ - không còn tồn tại khi hàm trả về.

* Mặc dù điều này thường xảy ra, tiêu chuẩn không nói rằng nó phải được lưu trữ trong bộ nhớ chung.
Nhưng phần quan trọng là tuổi thọ của chuỗi ký tự là thời lượng của toàn bộ chương trình. (xem ý kiến)

Answer 2

Bí quyết là bộ nhớ được tham chiếu bằng kiểm tra không nằm trong ngăn xếp như bạn mong đợi. Xem String literals: Where do they go? để biết một số giải thích.

Answer 3

Bạn đang trở về giá trị của test, đó là địa chỉ của ký tự đầu tiên trong chuỗi literal "hello" (trong đó, giống như tất cả xâu, được lưu giữ như một mảng của char theo cách như vậy mà nó có sẵn trong suốt thời gian của chương trình). Nếu bạn đang cố gắng trả lại địa chỉ của test để sử dụng sau này, thì vâng, bạn sẽ gặp sự cố.

Bây giờ đoạn sau sẽ không công việc:

char *pointerTesting(void) 
{ 
    char test[] = "hello"; 
    return test; 
} 

Trong trường hợp này, bạn đang cố gắng để trả lại địa chỉ của phần tử đầu tiên trong một đối tượng mảng đó là địa phương để các chức năng, mà sẽ không hợp lệ khi chức năng thoát. Hãy nhớ rằng trong hầu hết các ngữ cảnh, một biểu thức kiểu "mảng phần tử N của T" sẽ được thay thế bằng một biểu thức kiểu "con trỏ tới T" có giá trị là địa chỉ của phần tử đầu tiên trong mảng.