нифига. сама программа в конкретном железе должна уметь работать с адресной арифметикой применительно к конкретным типам.... («Телесистемы»: Конференция «Микроконтроллеры и их применение»)

Разработка, производство и продажа радиоэлектронной аппаратуры

| Карта сайта | Пишите нам | В избранное

Требуется программист в Зеленограде
- обработка данных с датчиков; ColdFire; 40 тыс.
e-mail:jobsmp@pochta.ru

Телесистемы | Электроника | Конференция «Микроконтроллеры и их применение»

нифига. сама программа в конкретном железе должна уметь работать с адресной арифметикой применительно к конкретным типам,

Отправлено Двоешник (193.200.150.137) 08 мая 2010, г. 10:17
В ответ на: при компиляции по типу массива компилятор узнает, сколько надо прибавлять к указателю для "попадания" на нужный элемент и сразу генерирует ассемблерный код, делающий это правильно. никаких вычислений размера не делается run-time. отправлено A_R_V 08 мая 2010, г. 10:10

иначе невозможно было бы работать с алгоритмами зависящими от внешних событий например. Ну как Вы представляете себе расчеты адресов массива компилятором, если он (массив) будет заполнятся при каждом нажатии кнопки прицепленной на выводе порта? Сама программа должна правильно положить элемент в память и правильно его оттуда достать.

Составить ответ | Вернуться на конференцию

Ответы

Размер типа в runtime в Си не вычисляется. Только при компиляции - Vit (08.05.2010, 10:41:2 77.123.106.1, пустое)
- Вы писали: "Для обращения по указателю компилятор опять же либо выполняет вычисление смещения на этапе компиляции(подставляет вычисленную константу), либо организовывает вычисление смещения при выполнении программы (в runtime)" Так все же имеет место расчет длины в runtime? Это не принципиально и не особо важно, скорее просто любопытно:) - Двоешник (08.05.2010, 11:21:21 193.200.150.137, пустое)
  - Ответ: - Vit (08.05.2010, 11:31:0 77.123.106.1, 196 байт)
  - Смещение может рассчитываться в рантайме, но размеры типов рассчитываются только на этапе копиляции. - Vit (08.05.2010, 11:23:32 77.123.106.1, пустое)
    - Вот еще насчет смещений. Компилятору, чтобы положить Х.., тьфу, "величину Х", в Мassiv[10] - не надо вычислять смещение (Massiv+10), т.к. начальный адрес &Massiv[0] постоянный и никуда не убежит. Компилятор "в уме" посчитает сумму начального адреса и смещение до 5-го элемента (в единицах хранения массива), и сразу типа MOV ADDR, X. А для доступа по Указателю компилятор бессилен предположить что сейчас содержит указатель, поэтому сгенерирует в асм-коде "честное" вычисление адреса [10], и МК будет корячиться тратить время и код под вычисления. - VasilyS (08.05.2010, 12:57:31 80.92.96.25, пустое)
      - Всё проще. Компилятор если имеет возможность посчитать использовать константу, то использует (не только для смещений). В других случаях перенесёт расчёт в рантайм. - Vit   (08.05.2010, 13:11:58 77.123.100.54, 117 байт)
        
        Кстати, вот забыл спросить об указателе на функции. Есть ведь некоторая разница между последовательно расположенным массивом данных и программой ,которая что угодно моет делать. Как с указателями на функции ,то же несколько байт в которых адрес начала? - Двоешник   (08.05.2010, 18:38:14 193.200.150.125, пустое)
        
        Да, просто адреса начала функций. Все возвращаемые значения и входные аргументы - это только для компилятора, чтобы он распихал их перед вызовом функции в нужные регистры, и знал что делать с возвращаемыми данными. А сами указатели на функции (например, это хорошо видно когда они оформлены в виде массива) - они просто адреса, и в них нет доп. информации о вызываемой функции. - VasilyS   (08.05.2010, 19:10:45 80.92.96.25, пустое)