alloca内部复合语句

Question

是否有可能在复合语句中使用alloca？ 例子：

typedef struct 
{ 
    size_t len; 
    char* data; 
} string_t; 

#define str_to_cstr(str) \ 
({ \ 
    char* v = alloca(str.len + 1); \ 
    v[len] = 0; \ 
    memcpy(v, str.data, str.len); \ 
}) 

// ... and somewhere in deep space 
int main() 
{ 
    string_t s = {4, "test"}; 
    printf("%s\n", str_to_cstr(s)); 
    return 0; 
} 

从我的经验效果很好，但我不知道它是安全的。 BTW，它用gcc 4.8.4

Answer 1

在你的例子这里不安全编译：

printf("%s\n", str_to_cstr(s)); 

从ALLOCA的glibc的documentation：

不要在函数的参数中使用的alloca调用 - 你将得到不可预知的结果，因为alloca的堆栈空间将出现在函数参数空间中间的堆栈上。要避免的一个例子是foo（x，alloca（4），y）。

注意({})不是复合语句但GNU C statement expression。