caxapa.ru :: Интересно все-таки адресная арифметика работает.

Алехин Александр (18.11.2009 08:42, просмотров: 125) ответил Гудвин на А ничего не будет - запишется байт. По крайней мере у меня в загрузчике это работает:

Интересно все-таки адресная арифметика работает. Сечас "вылизываю" запись во флеш. На входе имею указатели на BYTE. Если адрес нечетный (см.пост ниже - узнать четность адреса без его приведения к целому нельзя!) или осталось записать 1 байт - пишу как байт, т.е. *(pFlash++) = *(pData++). Тут вопросов нет. Иначе (адрес четный и больше 1 байта надо записать) - пишу словами. Тут работает только такая конструкция: *((WORD *)pFlash) = *((WORD *)pData), pFlash += 2, pData += 2; в листинге выходит очень красиво: 00002E BC4D0000 MOV.W @R13+, 0(R12) 000032 2C53 ADD.W #0x2, R12 Теперь пытаемся совместить копирование и инкремент адреса: *((WORD *)pFlash++) = *((WORD *)pData++); 00002E AC4D0000 MOV.W @R13, 0(R12) 000032 1D53 ADD.W #0x1, R13 000034 1C53 ADD.W #0x1, R12 Вот тебе раз - на приведение указателя к указателю на WORD компилятор "положил"! Попытаемся добавить скобочек (вдруг компилятор сначала сделал инкремент, потомы типы привел: *(((WORD *)pFlash)++) = *(((WORD *)pData)++); Фиг вам - не дает так сделать.

Ответить

- Ндык определить сразу pData, как указатель на слово и все пучком будет... - Гудвин(18.11.2009 08:46)
  - да нет, просто случайно листинг посомотрел, и увидел, что указатели не правильно инкрементируются. Сразу вопрос возник - что я делаю не так? - Алехин Александр(18.11.2009 08:53)
    - Указатель инкрементируется на размер объекта на который он указывает. - rezident(18.11.2009 09:01)
      - конечно, именно этого я и ожидал! т.е. по моим представлениям "(WORD *)ptr++" должен увеличивать ptr на 2 - Алехин Александр(18.11.2009 09:03)
        
        Память то побайтно адресуемая? Значит на 2 байта указатель на WORD должен увеличиваться, или в этом случае преобразование типов не должно работать? - Алехин Александр(18.11.2009 09:05)
        
        ИМХО *((WORD *)pFlash++) указатель приводится к типу WORD только при извлечении данных. При операции инкремента значения указателя его тип не меняется. Это косвенно и подтверждается вторым вашим опытом с доп. количеством скобок *(((WORD *)pFlash)++) на rezident(264 знак., 18.11.2009 09:25)
        
        надо попробовать изначально указатель как void * объявить. Может из void, где типы в любом случае надо приводить, он будет обращать внимание на размер объекта. Алехин Александр(371 знак., 18.11.2009 09:36)
        
        Ёлки, да что тут непонятного? Выражение разбирается сначала вправо, затем влево (учитывая скобки ессно). СНАЧАЛА компилятор видит что указатель инкрементируется, а ЗАТЕМ приведение типов. То, что инкремент работает ПОСЛЕ - уже не важно. Точно =AlexD=(62 знак., 18.11.2009 09:58)
        
        какого тогда не работает с доп.скобками ((WORD *)ptr)++? Здесь скобки однозначно определяют последовательность? - Алехин Александр(18.11.2009 10:01)
        
        Или косяк компилятора, или где-то не то смотришь. - =AlexD=(18.11.2009 10:03)
        
        expression must be a modifiable lvalue - Алехин Александр(18.11.2009 10:06)
        
        Ах, чёрт, точно, он же не может динамически поменять тип указатели, с каким типом он создаётся, с таким и умирает. А виртуальная копия другого типа не может быть l-value. Не мудри, создавай указатели других типов. =AlexD=(160 знак., 18.11.2009 11:01)
        
        И вообще, я когда-то тоже сталкивался с проблемами подобными вашим, но "забил" на них и просто пишу во Flash байтами. - rezident(18.11.2009 09:28)
        
        У меня тоже и так все работало, писал побайтно и не заморачивался. Алехин Александр(614 знак., 18.11.2009 09:54)
        
        Дык так всегда и делал - дописывал лог. И быстрее, и ресурс флэш экономит. - Гудвин(18.11.2009 10:11)
    - В MSP надо следить за выравниванием данных (в структурах, например). Компилятор выравнивает на границу одного 16 бит. слова, если байтовое данное "не так" лежит... - Гудвин(18.11.2009 09:00)

Микроконтроллеры