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。