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

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