По определению, в stdarg.h typedef char* va_list.так что размер va_list должен быть 8, а не 24 в Ubuntu 20.04 64bit gcc 9.4.0, я не знаю, почему я получаю размер va_list равный 24?
Я запустил следующие коды:
#include <stdio.h>
#include <stdarg.h>
#include <stddef.h>
void print_num( int count, ...){
va_list args;
printf("sizeof(args):%d\n",sizeof(va_list));
va_start(args,count);
for( int i = 0; i < count; i++ ){
// printf("*args = %d\n",va_arg(args,int));
printf("*args = %d\n",*(int*)args);
args += 4;
}
va_end(args);
}
int main(){
print_num(5,1,2,3,4,5);
return 0;
}
я ожидал printf 1 2 3 4 5, но получаю ошибку:change_function.c:13:8: error: assignment to expression with array type 13 | args += 4;
поэтому я использовал следующий метод для печати, но я не знаю, почему приведенный выше код может вызвать ошибку?
я думаю, источником вопроса является тип va_list. Я был бы признателен, если бы вы могли мне помочь.
#include <stdio.h>
#include <stdarg.h>
#include <stddef.h>
void print_num( int count, ...){
va_list args;
printf("sizeof(args):%d\n",sizeof(va_list));
va_start(args,count);
for( int i = 0; i < count; i++ ){
printf("*args = %d\n",va_arg(args,int));
// printf("*args = %d\n",*(int*)args);
// args += 4;
}
va_end(args);
}
int main(){
print_num(5,1,2,3,4,5);
return 0;
}
Спасибо!!!
Несвязано: %d не является правильным спецификатором преобразования для sizeof(va_list), поэтому обе программы имеют неопределенное поведение.
Результат, который вы получаете, противоречит вашему предположению. Это означает, что ваши предположения просто неверны. Нет, список va не является указателем на char. Нет, вы не можете просто «args +=4». Я не понимаю, чего вы ожидаете. why i get the size of va_list is 24? почему бы и нет? Удивительная цифра?
Я не знаю, где вы нашли это определение для va_list, но сообщение об ошибке ясно указывает на то, что этот фрагмент кода не скомпилирован, вероятно, из-за какой-то условной компиляции. Если вы используете обычную систему Linux, вы можете посмотреть man va_begin.
спасибо, я нашел определение va_list в stdarg.h и получил следующий код typedef __builtin_va_list __gnuc_va_list; ` typedef __gnuc_va_list va_list;` это зависит от компилятора gcc __builtin_va_list
Тогда ваш исходный файл stdarg.h может оказаться недействительным или не использоваться для фактической компиляции.





почему я получаю, что размер va_list равен 24?
Скорее всего, вы используете архитектуру x86_64 и используете стандартный abi. Из https://refspecs.linuxbase.org/elf/x86_64-abi-0.99.pdf на странице 53 валист задается как:
typedef struct {
unsigned int gp_offset;
unsigned int fp_offset;
void *overflow_arg_area;
void *reg_save_area;
} va_list[1]
На странице 12 тип unsigned int имеет 4 байта, а указатель на 64-битной архитектуре имеет 64 бита, то есть 8 байт. Таким образом, размер va_list в вашей архитектуре с этим компилятором и опциями компилятора, использующими двоичный интерфейс этого приложения, равен 4+4+8+8 = 24.
Кроме того, в этом документе на страницах 51–53 объясняется, как передаются аргументы с переменным числом аргументов. Для значений с плавающей запятой используются специальные регистры с плавающей запятой, что делает невозможным работу метода «args += 4» с этим abi.
Это довольно круто. Думаю, я понял проблему по вашему ответу. Спасибо !
Почему
va_listдолжен быть псевдонимомchar *? Где ты это прочитал? Это может быть все, что нужно или хочет компилятор. И аргументы могут быть переданы не так, как вы думаете, не делайте предположений и не пытайтесь обрабатывать аргументы функции varargs, если вы не знаете точную реализацию компилятора.