OberonCore

Товарищи, подскажите как в CP описать такую сишную функцию:

Может быть, в недрах ББ есть некие механизмы ?

Я так понял что "format" - это форматная строка как в printf.
А вот что такое "..."? Указатель на массив?

Нет. Это именно языковая конструкция, которая задает ПРОИЗВОЛЬНЫЙ список дальнейших параметров.
Естественно, в языке определены средства для перемещения по этому списку: va-start, va-end, va-arg и т.п.

Variadic functions like printf() are almost impossible to get right with __stdcall, because only the caller really knows how many arguments were passed in order to clean them up. The callee can make some good guesses (say, by looking at a format string), but the stack cleanup would have to be determined by the actual logic of the function, not the calling-convention mechanism itself. Hence only __cdecl supports variadic functions so that the caller can do the cleanup.

Я могу ошибаться, но количество параметров автоматом вроде не передается. Все полностью зависит от форматной строки.

Общая процедура создания функции, которая может принимать переменное количество аргументов, такова:

Функция должна иметь по крайней мере один известный параметр (может и больше), указываемый до переменного списка параметров. (Такие параметры называются также обязательными, а параметры, следующие за ними — необязательными.) Крайний правый известный параметр называется last_parm. (Он предшествует первому необязательному параметру.) Его имя используется в качестве второго параметра в обращении к макросу va_start(). Чтобы получить доступ к любому дополнительному параметру, сначала необходимо инициализировать указатель-аргумент argptr[1], обратившись к макросу va_start(). (Иными словами, необходимо выполнить вызов va_start(argptr, <имя last_parm>).) После этого значения параметров возвращаются в результате вызова макроса va_arg(). В качестве второго аргумента этого макроса (соответствующего параметру type), нужно указать тип следующего параметра[2]. Наконец, после прочтения всех параметров до возвращения из функции необходимо вызвать макрос va_end(), чтобы гарантировать корректное восстановление стека. Если макрос va_end() вызван не будет, высока вероятность аварийного отказа программы.

Похоже оно пляшет от адреса в стеке после последнего обязательного параметра. Видимо указатель на массив не прокатит