Век живи, век учись..., функции в CodeVision не позволяют возвращать структуры Опции

[zhevak]

ну, или скорее это удар в поддых...

Ситуация такая. Пишу крупный прокт на CodeWizardAVR V1.25.3 Standard для mega2561.

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

Код

typedef BYTE MSG;

, а как в виде структур

Код

typedef struct
{
  BYTE code;
  WORD param;
} MSG;

Предвижу Ваши соображения по поводу неизвестных BYTE и WORD. Где-то в хэдерных файлах у меня есть определение

Код

typedef unsigned char BYTE;
typedef unsigned int WORD;

так что все здесь срастается и работает.

Переделываю исходники на новый лад и ... получаю удар граблями со стороны CodeVision.
Угадайте с трех раз, откуда?

Подсказка

Error: ... function must return a pointer to structure

раньше было красиво

msg = GetMessage();

Сейчас это уже не канает. Даже передать указатель на структуру, как это просит уважаемый CV, нельзя. Ну, не в том смысле что компилятор не пропустит, а в том, что на _какую_именно_структуру? -- Т.е. на ту, которая определяется в функции, -- нельзя. Ибо структура прекратит свое существоание в момент выхода из функции. Указатель невалиден. Значит остается, единственное решение -- наоборот, передавать указатель в функцию. Как-то это все не по-людски...

Я уже было усомнился в своих знаниях языка (1) по передаче структур из функций, а потом в самих компиляторах для микроконтроллеров. Но нет! Ни старый добрый Borland Turbo-C 2.0, ни IAR таких ограничений не налагают.

Знаит, это есть причуда CV. Читаем в хэлпах КоудВижина

The old Kernighan & Ritchie style of writing function definitions is not supported.

и еще тут

Because some AVR devices have a small amount of SRAM, in order to keep the size of the Data Stack small, it is recommended not to pass structures as function parameters and use pointers for this purpose.

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

Народ, не наступайте на мои грабли Больна-а...

[WHALE]

ну и при чем здесь CV?Если вам надо ООП,пространства имен и прочие прелести-это другое дело и С компилятор тут ни в чем не виновват.Тогда да,адназначна или IAR или WINAVR.

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

[Сергей Борщ]

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

В маленькой тиньке мало памяти. В м128 ее уже 4К, и можно навешать внешней по самое нехочу. Это "мало"?

А вот когда все рушится, потому что горе-программист положил огромную структуру в стек - тут уж точно компилятор виноватым быть не может. Для начала - если использовать метод передачи указателя на структуру, то структуру, на которую передается уазатель тоже надо где-то размещать. Где? Создавать локально в вызывающей функции. На стеке. Ровно в том же самом месте стека, где она бы разместилась если бы возвращалась из функции. При возврате структуры из функции указатель на нее передается неявно через указатель стека - а мы вынуждены передавать его явно в одном из параметров. Очень "мудрое" решение.

Программист может точно также завести внутри функции локальный массив из 1000 элементов - и все навернется аналогично. И что, компилятор сразу станет плохим, что позволил массивы? Хорошо, запретитм массивы. Насоздаем локальных переменных - структур или просто много-много переменных встроенных типов. Сдуру можно и х.. сломать.

и заказчик хотел бы видеть CV.

Сочувствую. Возможно пора начинать убеждать его, что WinAVR не сложнее, стоит дешевле (ноль), и не имеет тупиков. Тем более что реальный аргумент у вас есть.