реклама на сайте
подробности

 
 
2 страниц V   1 2 >  
Reply to this topicStart new topic
> функция с переменным числом аргументов, экономная реализация в IAR
andrvisht
сообщение May 23 2006, 06:09
Сообщение #1


Местный
***

Группа: Свой
Сообщений: 298
Регистрация: 29-08-05
Пользователь №: 8 064



написал функцию для передачи переменного числа аргументов
Код
#include <stdarg.h>
void foo(unsigned char a, ...);
unsigned char A[5];
void foo(unsigned char a, ...)
{
char i;
  va_list arg_ptr;
  va_start(arg_ptr, a);
  for(i = 0; i < a; ++i)
    A[i]=va_arg(arg_ptr, unsigned char);
  va_end(arg_ptr);
}

void main(void)
{
  unsigned char b = '4', c = 'A';
  foo (5,23,b,32,c);
}

т.е. заполнение массива указанным числом аргументов, результат её работы получил следующий
A[] = {0x17, 0x00, 0x34, 0x00, 0x20}
как видно компилятор приводит мои аргументы к int. Для передачи числа 23 или 32 это еще можно понять, но как быть с явно указанными b и c ?

Попробовал данный код в Image Craft - результат тот-же, а вот Code Vision поступил честно (?)
и передал все параметры b и c как char.

Далее читаю help от IAR и узнаю что аргументом не может быть any integer type that changes when promoted естественно возник интерес к слову promoted и поиск по help дал следующее

Argument promotion occurs when the type of the function fails to provide any information about an argument. Promotion occurs if the function declaration is not a function prototype or if the argument is one of the unnamed arguments in a varying number of arguments. In this instance, the argument must be an rvalue expression.

на основании перевода (возможно неправильного) стало понятно что должна существовать возможность указания типа аргумента для неименованых аргументов в функции с переменным их числом, но как это сделать ... ?
PS: в книгах по С все приводимые примеры относятся к типу int sad.gif
Go to the top of the page
 
+Quote Post
zltigo
сообщение May 23 2006, 07:31
Сообщение #2


Гуру
******

Группа: Свой
Сообщений: 13 372
Регистрация: 27-11-04
Из: Riga, Latvia
Пользователь №: 1 244



Цитата(&-rey @ May 23 2006, 09:09) *
т.е. заполнение массива указанным числом аргументов, результат её работы получил следующий
A[] = {0x17, 0x00, 0x34, 0x00, 0x20}

Точно уверены??? Cамое разумное объяснение, что-то Вы распечатали неправильно!
Ибо все абсолютно прозрачно...

Цитата
как видно компилятор приводит мои аргументы к int. Для передачи числа 23 или 32 это еще можно понять, но как быть с явно указанными b и c ?

Он их 'приводит' к размеру элемента в стеке и по другому быть НЕ МОЖЕТ и запихивает к стек.
По любому - передается _обезличенная_ информация.
За то, чем считать извлеченное из стека отвечает va_arg, которому Вы уже _указываете_ чем
считать извлеченное из стека. Следующий элемент извлекается из стека.
Абсолютно невороятный эффект, либо какая-то заморочка на AVR архитектуре мне не ведомая....

P.S.
А размер первым аргументом совсем незачем передавать - лишнее!


--------------------
Feci, quod potui, faciant meliora potentes
Go to the top of the page
 
+Quote Post
andrvisht
сообщение May 23 2006, 07:49
Сообщение #3


Местный
***

Группа: Свой
Сообщений: 298
Регистрация: 29-08-05
Пользователь №: 8 064



Цитата(zltigo @ May 23 2006, 10:31) *
Точно уверены??? Cамое разумное объяснение, что-то Вы распечатали неправильно!
Ибо все абсолютно прозрачно...

абсолютно точно.
число 23 в hex соответственно 0x17 если его хранить как int то младшие идут первыми, т.е.
0x17, 0x00
Цитата
Он их 'приводит' к размеру элемента в стеке и по другому быть НЕ МОЖЕТ и запихивает к стек.
По любому - передается _обезличенная_ информация.
За то, чем считать извлеченное из стека отвечает va_arg, которому Вы уже _указываете_ чем
считать извлеченное из стека. Следующий элемент извлекается из стека.

Это я понимаю, но ведь размер стека 8 бит а это char, кроме того я это смотрел в asm листинге, и IAR действительно заталкивает в стек int т.е. в макросах va_xxx ошибок нет, сам компилятор делает гадость sad.gif
Цитата
Абсолютно невороятный эффект, либо какая-то заморочка на AVR архитектуре мне не ведомая....
P.S.
А размер первым аргументом совсем незачем передавать - лишнее!


код приведен только для простоты обьяснения проблемы. А может это заморочка самого С ?
Go to the top of the page
 
+Quote Post
zltigo
сообщение May 23 2006, 08:02
Сообщение #4


Гуру
******

Группа: Свой
Сообщений: 13 372
Регистрация: 27-11-04
Из: Riga, Latvia
Пользователь №: 1 244



Хорошо, а если вызвать foo() по прототипу foo( uchar, uchar, uchar, uchar, uchar ),
то все отрабатывает?


--------------------
Feci, quod potui, faciant meliora potentes
Go to the top of the page
 
+Quote Post
andrvisht
сообщение May 23 2006, 08:31
Сообщение #5


Местный
***

Группа: Свой
Сообщений: 298
Регистрация: 29-08-05
Пользователь №: 8 064



Цитата(zltigo @ May 23 2006, 11:02) *
Хорошо, а если вызвать foo() по прототипу foo( uchar, uchar, uchar, uchar, uchar ),
то все отрабатывает?

да, так все нормально, что собственно и описано в приведенной в первом посте выдержки из Help,
он приводит к int только те параметры тип которых не указан, как в случае передачи неименованных параметров.

PS: конечно можно обойтись и другими методами, но интересен сам факт, чтобы знать стоит ли применять такие подходы в дальнейшем, или забыть о существовании оной.
Go to the top of the page
 
+Quote Post
zltigo
сообщение May 23 2006, 08:53
Сообщение #6


Гуру
******

Группа: Свой
Сообщений: 13 372
Регистрация: 27-11-04
Из: Riga, Latvia
Пользователь №: 1 244



Цитата(&-rey @ May 23 2006, 11:31) *
да, так все нормально,
...
PS: конечно можно обойтись и другими методами, но интересен сам факт, чтобы знать стоит ли применять такие подходы в дальнейшем, или забыть о существовании оной.

Тогда конкретная ошибка компилятора?/макроса?. В принципе можете
- не использовать макросы
- написать альтернативные с учетом фокуса
- и самая простая заплатка - извлекать из стека int вместо char

Это стоит применять - удобно, кроме того, это фирменная 'C' фишка для обеспечения которой
делася обратный порядок аргументов в стеке. А Вы 'не применять' :-)


--------------------
Feci, quod potui, faciant meliora potentes
Go to the top of the page
 
+Quote Post
andrvisht
сообщение May 23 2006, 09:27
Сообщение #7


Местный
***

Группа: Свой
Сообщений: 298
Регистрация: 29-08-05
Пользователь №: 8 064



Цитата(zltigo @ May 23 2006, 11:53) *
Тогда конкретная ошибка компилятора?/макроса?. В принципе можете
- не использовать макросы
- написать альтернативные с учетом фокуса
- и самая простая заплатка - извлекать из стека int вместо char

ну да, если int извлекать тогда все впорядке конечно. Компилятор ведь int туда и ложит.
но хочется же экономии smile.gif а переписка макросов не даст экономии ввиду возникновения проблемы на этапе компилятора, да еще и своих ошибок добавлю ...
Цитата
Это стоит применять - удобно, кроме того, это фирменная 'C' фишка для обеспечения которой
делася обратный порядок аргументов в стеке. А Вы 'не применять' :-)

Да наверное я погорячился, на С перешел где-то с пол-года назад поэтому пока нет четкого представления что для чего удобно пользовать, вот и прорабатываю варианты испоьзования по мере необходимости.
И все таки есть сомнение что это глюк, или на других компиляторах IAR (под другие процы) все нормально ?
Go to the top of the page
 
+Quote Post
zltigo
сообщение May 23 2006, 09:38
Сообщение #8


Гуру
******

Группа: Свой
Сообщений: 13 372
Регистрация: 27-11-04
Из: Riga, Latvia
Пользователь №: 1 244



Цитата(&-rey @ May 23 2006, 12:27) *
И все таки есть сомнение что это глюк, или на других компиляторах IAR (под другие процы) все нормально ?

Я даже проверять у себя на ARM не буду :-) ибо не предстваляю, как нужно извратиться, дабы сие
неправильно работало на процессоре с размерностью стека равной int - сразу отвечаю - работает.
А дабы не быть совсем уж голословным - использую переменное число аргументов лет двадцать, часто, платформы разные (но не менее 16bit), компиляторы еще более разные. Непониманий не возникало.

А в случае 8bit стека и 16bit int открываются просторы для невзаимоувязки :-( что и имеет место быть во всей красе.....

Цитата
а вот Code Vision поступил честно (?)
и передал все параметры b и c как char.

Т.е. Именно в стек поместил 8bit, или извлекал 16bit вместо 8??


--------------------
Feci, quod potui, faciant meliora potentes
Go to the top of the page
 
+Quote Post
andrvisht
сообщение May 23 2006, 09:54
Сообщение #9


Местный
***

Группа: Свой
Сообщений: 298
Регистрация: 29-08-05
Пользователь №: 8 064



Цитата(zltigo @ May 23 2006, 12:38) *
А в случае 8bit стека и 16bit int открываются просторы для невзаимоувязки :-( что и имеет место быть во всей красе.....

Да наверное вот тут он и приводит к int чтоб не нарушать общих правил, вот в книге Страуструпа тоже есть упоминание о приведении char к int а float к duble.
Вероятно Code Vision всего лишь исключение из правил, а жаль. Спасибо за поддержку.

Code Vision помещал в стек 8 бит, и извлекал соответственно char. т.е. оказался экономнее.
Go to the top of the page
 
+Quote Post
_Bill
сообщение May 23 2006, 11:38
Сообщение #10


Местный
***

Группа: Участник
Сообщений: 416
Регистрация: 18-04-06
Из: Челябинск
Пользователь №: 16 219



Цитата(&-rey @ May 23 2006, 09:09) *
написал функцию для передачи переменного числа аргументов
Код
#include <stdarg.h>
void foo(unsigned char a, ...);
unsigned char A[5];
void foo(unsigned char a, ...)
{
char i;
  va_list arg_ptr;
  va_start(arg_ptr, a);
  for(i = 0; i < a; ++i)
    A[i]=va_arg(arg_ptr, unsigned char);
  va_end(arg_ptr);
}

void main(void)
{
  unsigned char b = '4', c = 'A';
  foo (5,23,b,32,c);
}

т.е. заполнение массива указанным числом аргументов, результат её работы получил следующий
A[] = {0x17, 0x00, 0x34, 0x00, 0x20}
как видно компилятор приводит мои аргументы к int. Для передачи числа 23 или 32 это еще можно понять, но как быть с явно указанными b и c ?

Видимо, тут вся проблема в оптимизации. Компилятор подставляет в аргументы функции не значения переменных b и c, а константы, которыми эти переменные проинициализированы. А поскольку константы всегда имеют тип int, то и получается то, что получилось. В общем, надо посмотреть сгенерированный код.
Go to the top of the page
 
+Quote Post
andrvisht
сообщение May 23 2006, 12:04
Сообщение #11


Местный
***

Группа: Свой
Сообщений: 298
Регистрация: 29-08-05
Пользователь №: 8 064



Цитата(_Bill @ May 23 2006, 14:38) *
Видимо, тут вся проблема в оптимизации. Компилятор подставляет в аргументы функции не значения переменных b и c, а константы, которыми эти переменные проинициализированы. А поскольку константы всегда имеют тип int, то и получается то, что получилось. В общем, надо посмотреть сгенерированный код.

от оптимизации это не зависит, и даже обьявление b и c как глобальных переменных со спецификатором volatile которое могло бы устранить такое недоразумение (имеется ввиду подставление константы вместо переменной) не помогло sad.gif
а код собственно сгенерить не сложно, вот он:
Код
main:
    00004C   9100 00D3        LDS     R16,c
    000050   E010             LDI     R17,0x00
    000052   931A             ST      -Y,R17
    000054   930A             ST      -Y,R16
    000056   E200             LDI     R16,0x20
    000058   E010             LDI     R17,0x00
    00005A   931A             ST      -Y,R17
    00005C   930A             ST      -Y,R16
    00005E   9100 00D2        LDS     R16,b
    000062   E010             LDI     R17,0x00
    000064   931A             ST      -Y,R17
    000066   930A             ST      -Y,R16
    000068   E107             LDI     R16,0x17
    00006A   E010             LDI     R17,0x00
    00006C   931A             ST      -Y,R17
    00006E   930A             ST      -Y,R16
    000070   E005             LDI     R16,0x05
    000072   DFD9             RCALL   foo
    000074   9628             ADIW    R28,8

явно видно что компилятор приводит все к int
вопрос в том как указать IAR что данные параметры будут char хотя не исключено, что это стандарт, и изменение его IAR не делает, что вообщем то правильно. Но так ли это ? хочется ясности.
Go to the top of the page
 
+Quote Post
zltigo
сообщение May 23 2006, 12:35
Сообщение #12


Гуру
******

Группа: Свой
Сообщений: 13 372
Регистрация: 27-11-04
Из: Riga, Latvia
Пользователь №: 1 244



Цитата(_Bill @ May 23 2006, 14:38) *
Видимо, тут вся проблема в оптимизации.

Вы бы хоть дали себе труд прочитать все предыдущее, прежде, чем чего-то про "оптимизацию".....


--------------------
Feci, quod potui, faciant meliora potentes
Go to the top of the page
 
+Quote Post
_Bill
сообщение May 23 2006, 12:38
Сообщение #13


Местный
***

Группа: Участник
Сообщений: 416
Регистрация: 18-04-06
Из: Челябинск
Пользователь №: 16 219



Цитата(&-rey @ May 23 2006, 15:04) *
явно видно что компилятор приводит все к int
вопрос в том как указать IAR что данные параметры будут char хотя не исключено, что это стандарт, и изменение его IAR не делает, что вообщем то правильно. Но так ли это ? хочется ясности.

Теперь все понятно. Специально прочитал в Help от Borland по этим функциям. Там сказано, что проверка типов аргументов в списке не производится. Видимо, нужно принять за аксиому, что тип аргументов int и писать функцию в соответсвием с этим.
Go to the top of the page
 
+Quote Post
andrvisht
сообщение May 23 2006, 12:49
Сообщение #14


Местный
***

Группа: Свой
Сообщений: 298
Регистрация: 29-08-05
Пользователь №: 8 064



Цитата(_Bill @ May 23 2006, 15:38) *
Видимо, нужно принять за аксиому, что тип аргументов int и писать функцию в соответсвием с этим.

вот и у меня сложилось такое же мнение.
Go to the top of the page
 
+Quote Post
GetSmart
сообщение Jul 31 2006, 22:41
Сообщение #15


.
******

Группа: Участник
Сообщений: 4 005
Регистрация: 3-05-06
Из: Россия
Пользователь №: 16 753



Скажите, господа. Сам-то я знаю не весь синтаксис языка си. Так вот, если мне требуется процедура с переменным кол-вом параметров, в частности первый int, а остальные могут быть и int, и float, ну и long. В количестве всего от 2 до 5 параметров. То как мне объявить эту процедуру (пример) и как внутри читать параметры?
И желательно без этого: {va_list, va_start, va_arg,va_end}.


--------------------
Заблуждаться - Ваше законное право :-)
Go to the top of the page
 
+Quote Post

2 страниц V   1 2 >
Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 18th July 2025 - 20:02
Рейтинг@Mail.ru


Страница сгенерированна за 0.01481 секунд с 7
ELECTRONIX ©2004-2016