Блог

Почему вызов alloc( ) в качестве параметра другого вызова функции, подобного этому func(x, alloca(size), z); , считается неправильным в соответствии с книгой под названием the linux programming interface

Это связано с тем, что пространство стека, выделенное alloca(), будет отображаться в середине пространства для аргументов функции (которые размещаются в фиксированных местах во фрейме стека). Вместо этого мы должны использовать код, подобный этому:

   void *y; 
  y = alloca(size); 
  func(x, y, z); 
  

хотя это неправильно

 func(x, alloca(size), z);  /* WRONG! */
  

разве эти 2 части не должны быть эквивалентными.Сначала alloca вызывается первый, а затем func вызывается с его возвращаемым значением, поэтому, если кто-нибудь может объяснить, как alloca выделить память в стеке, что делает оба подхода разными.

alloca Страница руководства упоминает об этом в разделе ОШИБОК:

Во многих системах alloca() нельзя использовать внутри списка аргументов вызова функции, потому что пространство стека, зарезервированное alloca(), появится в стеке в середине пространства для аргументов функции.

Например, в func(x, alloca(1000), z); вы могли бы закончить с макетом стека, как

  sp 100c:    x
 sp 1008:    .... space reserved by alloca
 sp    8:
 sp    4:    sp 8 (return value of alloca())
 sp    0:    z
  

Общие ABI требуют, чтобы параметры func(void *, void *, void *) находились в расположениях [sp 0] , [sp 4] и [sp 8] . Ожидается макет, аналогичный

  sp 100c:    .... end of space reserved by alloca
 sp    c:    .... space reserved by alloca
 sp    8:    x
 sp    4:    sp 0x0c (return value of alloc())
 sp    0:    z