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

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

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

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

Встроенная функция: 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;
}

Встроенная функция: size_t __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

Далее: Typeof, Предыдущее: Вложенные функции, Вверх: Расширения C [Оглавление][Индекс]