caxapa.ru :: Ссылку на раздел C99, где говорится, что арифметика над void* нормальна? Вот тут утверждают обратное.

fk0, легенда (22.01.2013 19:33, просмотров: 233) ответил SciFi на Стандарт говорит, что sizeof(void) вычислять не положено. А для арифметики (void*) следует приводить к (char*), ессно: стандарт гарантирует, что в этом случае всё будет вменяемо. Если получилось невменяемо, то такой компилятор/проц следует

Ссылку на раздел C99, где говорится, что арифметика над void* нормальна? Вот тут утверждают обратное. http://stackoverflow.com/questions/3523145/pointer-arithmetic-for-void-pointer-in-c

[ZX]

Ответить

- §6.2.6.1 пункт 27 Codavr(1934 знак., 23.01.2013 02:33 - 03:25, ссылка)
  - Про арифметику здесь же не сказано. Что должно быть если два void* вычесть? Откуда компилятору знать sizeof в данном случае? - fk0(23.01.2013 11:56)
    - Не надо ему знать это. Сейчас некогда рыть стандарт, но там есть пункт, где прописано, что любой указатель обязан быть даблом. Соответственно все правила для арифметики указателей, те же самые что для даблов. - Codavr(23.01.2013 12:02 - 12:08)
    - Надоел уже. Нельзя делать арифметику с указателями на void: SciFi(288 знак., 23.01.2013 12:06)
      - Этих слов я и ждал. А если в функцию передаётся void* то внутри неё по ошибке арифметику могли сделать. Я вот о чём. - fk0(23.01.2013 12:12)
        
        ... и получить на выходе компилера трехэтажный мат-перемат. - Codavr(23.01.2013 12:18)
        
        Неа! В лучшем случае warning, а то и вовсе ничего. Я ж говорю, нарывался (особенно GCC хорош, он в таком случае (void*) как (char*) воспринимает и "маскирует" ошибки), когда в таком случае результат неадекватный. С тех пор ка всю жизнь запомнил. fk0(45 знак., 23.01.2013 14:31)
        
        И что он в варнинге говорит? "есть опасность неправильно узнать расстояние между двумя объектами расположеными в разных разделах памяти, один в EEPROM, другой в ОЗУ, выберите предпочтительные единицы измерения (дюймы, миллиметры)" - Codavr(23.01.2013 15:31 - 15:34)
        
        Оба в EEPROM или оба в ОЗУ. Не важно. Важно, что void *p, *q; size_t x=p-q -- здесь в x расстояние в условных sizeof(void), которое может не быть == sizeof(char) как у GCC. - fk0(23.01.2013 17:10)
        
        Ну не юли. Если одно там, а другое там? - Codavr(23.01.2013 17:18)
        
        Если одно там, а другое там, то очевидно, полнейший глюкодром. Намекаешь, что оба приводятся к void? А вот фиг, у hitech, например const void* и void* две разные вещи могут быть (24 бита адрес если). И (const void*)0 != NULL вообще из-за 20-го fk0(8 знак., 23.01.2013 17:35)
        
        Я намекаю, что такое компилер не может как варнинг обрабатывать, если это компилер, а не глюкодром. Это конкрентный еррор. Ну или "вовсе ничего" ушел в себя и не вернулся :) - Codavr(23.01.2013 19:26 - 19:35)
        
        GCC позволяет арифметику над (void*) без матов... и работает как будто там (char*) Это его "расширение языка C" такое. - fk0(23.01.2013 19:45)
        
        Ну и как оно интерпретирует мой пример? Какие адреса считает старше, EEPROM, флеш, ОЗУ? Там это как-то конфигурится? - Codavr(23.01.2013 23:53)
        
        Кстати, про NULL вспомнилась забавная история: SciFi(300 знак., 23.01.2013 17:58)
        
        Ха-ха три раза, а если вспомнить, что бывают разные модели памяти, и на процессорах с сегментной адресацией NULL короткого поинтера может указывать на реальный используемый адрес длинного поинтера, то вообще весело :-)) - =AlexD=(24.01.2013 07:40)
        
        Видимо, нельзя полагаться на сообщения компилятора в деле защиты от говнокода. Кстати, есть линты всякие и прочие static code analysis tools. - SciFi(23.01.2013 14:46)
        
        С ними тяжко. Его пока настроишь -- это практически как версия на очередную новую платформу, ну может чуть проще... Проще GCC с -Wall -Wundef -Wcast-qual -Wpointer-arith -Wcast-align -Wwrite-strings -Wsign-compare. Остальные варнинги как-то уже fk0(118 знак., 23.01.2013 17:21)
      - И то верно. - Codavr(23.01.2013 12:10)
- Лехко: SciFi(502 знак., 22.01.2013 19:49)
  - Это предположение. Мы не знаем, что там арифметика не делается с void. - fk0(22.01.2013 20:34)
    - Вообще-то знаем: void - это такой тип, с которым никакая арифметика не делается. Хватит курить траву :-) - SciFi(22.01.2013 22:11)
      - Я имею ввиду void* - fk0(22.01.2013 23:02)

ARM, RISC-V контроллеры