6.6 Создание вызовов функций

Используя встроенные функции, описанные ниже, вы можете записать аргументы, полученные функцией, и вызвать другую функцию с теми же аргументами, не зная их количество или типы.

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

Однако, эти встроенные функции могут плохо взаимодействовать с некоторыми сложными функциями или другими расширениями языка. Поэтому не рекомендуется использовать их за пределами очень простых функций, работающих только как посредники для своих аргументов.

Встроенная функция: void * __builtin_apply_args ()

Эта встроенная функция возвращает указатель на данные, описывающие, как выполнить вызов с теми же аргументами, что и передаются в текущую функцию.

Функция сохраняет регистр указателя на аргументы, адрес структуры со значениями и все регистры, которые могут использоваться для передачи аргументов в функцию, в блок памяти, выделенный в стеке. Затем она возвращает адрес этого блока.

Встроенная функция: void * __builtin_apply (void (*function)(), void *arguments, size_t size)

Эта встроенная функция вызывает function с копией параметров, описанных arguments и size.

Значение arguments должно быть значением, возвращенным __builtin_apply_args. Аргумент size указывает размер данных аргументов стека в байтах.

Эта функция возвращает указатель на данные, описывающие, как вернуть любое значение, возвращенное function. Данные сохраняются в блоке памяти, выделенном в стеке.

Вычисление правильного значения для size не всегда просто. Это значение используется __builtin_apply для вычисления количества данных, которое должно быть помещено в стек и скопировано из области входных аргументов.

Встроенная функция: void __builtin_return (void *result)

Эта встроенная функция возвращает значение, описанное result, из содержащей функции. Вы должны указать для result значение, возвращенное __builtin_apply.

Встроенная функция: __builtin_va_arg_pack ()

Эта встроенная функция представляет все анонимные аргументы инлайновой функции. Она может использоваться только в инлайновых функциях, которые всегда инлайнятся, никогда не компилируются как отдельная функция, например, те, которые используют __attribute__ ((__always_inline__)) или __attribute__ ((__gnu_inline__)) внешние инлайновые функции. Она должна передаваться только как последний аргумент какой-либо другой функции с переменным количеством аргументов. Это полезно для написания небольших инлайновых обёртки для функций с переменным количеством аргументов, когда использование макросов препроцессора нежелательно. Например:

extern int myprintf (FILE *f, const char *format, ...);
extern inline __attribute__ ((__gnu_inline__)) int
myprintf (FILE *f, const char *format, ...)
{
  int r = fprintf (f, "myprintf: ");
  if (r < 0)
    return r;
  int s = fprintf (f, format, __builtin_va_arg_pack ());
  if (s < 0)
    return s;
  return r + s;
}

Встроенная функция: size_t __builtin_va_arg_pack_len ()

Эта встроенная функция возвращает количество анонимных аргументов инлайновой функции. Она может использоваться только в инлайновых функциях, которые всегда инлайнятся, никогда не компилируются как отдельная функция, например, те, которые используют __attribute__ ((__always_inline__)) или __attribute__ ((__gnu_inline__)) внешние инлайновые функции. Например, ниже приведено выполнение проверки открытых аргументов для оптимизированного кода во время компиляции или выполнения:

#ifdef __OPTIMIZE__
extern inline __attribute__((__gnu_inline__)) int
myopen (const char *path, int oflag, ...)
{
  if (__builtin_va_arg_pack_len () > 1)
    warn_open_too_many_arguments ();

  if (__builtin_constant_p (oflag))
    {
      if ((oflag & O_CREAT) != 0 && __builtin_va_arg_pack_len () < 1)
        {
          warn_open_missing_mode ();
          return __open_2 (path, oflag);
        }
      return open (path, oflag, __builtin_va_arg_pack ());
    }

  if (__builtin_va_arg_pack_len () < 1)
    return __open_2 (path, oflag);

  return open (path, oflag, __builtin_va_arg_pack ());
}
#endif

Далее: Тип данных, Предыдущая: Нелокальные переходы, Наверх: Расширения C [Оглавление][Индекс]