Alloca có thể thay thế hoàn toàn không?

Question

Tôi đã đọc khá nhiều nơi mà alloca đã lỗi thời và không nên được sử dụng và Mảng độ dài biến nên được sử dụng thay thế.

Câu hỏi của tôi là: alloca có thể thay thế hoàn toàn bằng mảng chiều dài thay đổi không?

Trong trường hợp đặc biệt của tôi, tôi có cái gì đó trông như thế này:

typedef struct { 
    int *value; 
    size_t size; 
    } some_type; 

void SomeExternalFunction(some_type); 

... 

void foo(){ 
    //What I thought to do 
    some_type bar; 
    bar.value=alloca(sizeof(int)*10); 
    SomeExternalFunction(bar); 

    //what should be done without alloca 
    some_type fizz; 
    int tmp[10]; 
    fizz.value=tmp; 
    SoemExternalFunction(fizz); 
} 

Tôi có thiếu một cái gì đó hoặc đây là một sử dụng tốt thực tế của alloca? Cũng giả sử cho ví dụ này vì lý do nào đó tôi muốn cho giá trị được phân bổ trên ngăn xếp

Answer 1

Có sự khác biệt quan trọng giữa VLA và alloca: Bộ nhớ alloca() trả về là hợp lệ miễn là hàm hiện tại vẫn tồn tại. Tuổi thọ của bộ nhớ bị VLA chiếm giữ là hợp lệ miễn là số nhận dạng của VLA vẫn nằm trong phạm vi. Ví dụ, bạn có thể sử dụng bộ nhớ alloca() trong một vòng lặp và sử dụng bộ nhớ bên ngoài vòng lặp, VLA sẽ biến mất do mã nhận diện nằm ngoài phạm vi khi vòng lặp kết thúc. Điều này có nghĩa, bạn có thể làm điều này với alloca() và đủ không gian ngăn xếp:

typedef struct node { int data; struct node *next; }; 
void fun() 
{ 
struct node *n=0; 
int d; 
/* Now we are building a single-linked list on the stack! */ 
while(d=get_something()) { 
    struct node *x=alloca(sizeof(*x)); 
    x->next=n; 
    x->data=d; 
    n=x; 
} 
do_something_with(n); 
} // and the whole thing is deleted here.. 

Bạn không thể làm điều này với VLAs.

Answer 2

alloca hoàn toàn có thể thay thế bằng malloc và free. Đó là một công việc ít hơn một chút nhưng trừ khi bạn đang rất cẩn thận, đó là điều cần thiết. Gần như tất cả các mã sử dụng alloca hoặc C99 vla đều dễ bị tấn công tràn ngăn xếp và trong nhiều triển khai, chúng có thể dẫn đến độ cao đặc quyền. Không có cách nào để biết khoảng trống lớn hay bao nhiêu không gian ngăn xếp (hoặc có thể cần bao nhiêu chi phí vượt quá kích thước được yêu cầu để sử dụng nội bộ của trình biên dịch hoặc các cuộc gọi chức năng), vì vậy điều duy nhất bạn có thể làm làm cho vla's/alloca an toàn áp dụng các giới hạn nhân tạo cực nhỏ đối với kích thước dữ liệu bạn hỗ trợ (ví dụ: một vài kb). Tại thời điểm này, bạn cũng có thể chỉ sử dụng các đối tượng tự động không thay đổi độ dài ...