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 inline функции. Она должна передаваться только как последний аргумент какой-либо другой функции с переменным числом аргументов. Это полезно для написания небольших оберток 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;
}

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

Эта встроенная функция возвращает количество анонимных аргументов встроенной функции. Она может использоваться только во встроенных функциях, которые всегда встраиваются, никогда не компилируются как отдельная функция, такие как те, которые используют __attribute__ ((__always_inline__)) или __attribute__ ((__gnu_inline__)) extern 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