caxapa.ru :: Здравствуйте. Увидел в чужом коде такую конструкцию uint8_t buf[const static 31] - это один из параметров, передаваемых в функцию. Как это понимать? По идее массив с данными, постоянно меняющимися.

kosig (30.05.2013 15:45, просмотров: 5773)

Здравствуйте. Увидел в чужом коде такую конструкцию uint8_t buf[const static 31] - это один из параметров, передаваемых в функцию. Как это понимать? По идее массив с данными, постоянно меняющимися.

- Круто, не знал про такую фишку: SciFi(660 знак., 30.05.2013 17:13 - 17:16)
  - а компилятор разве сможет просечь какое может вдруг возникнуть значение индексной переменной? - Argon(30.05.2013 19:41)
    - run time проверка? - Evgeny_CD(30.05.2013 19:51)
      - Кстати, компилер мог бы иметь такую опцию. Есть же проверки на переполнение стека. - SciFi(30.05.2013 20:00)
        
        Что за Apтём(104 знак., 31.05.2013 00:59)
        
        Джаба, как я понимаю, в каком-то варианте компилдяции а байткод может ставить море run time проверок, индексов массива в частности. - Evgeny_CD(30.05.2013 20:20)
        
        gcc -fmudflap... - fk0(30.05.2013 20:36)
        
        Спасибо!!! Крайне интересная штука!!! -> Evgeny_CD(30.05.2013 20:53, ссылка)
        
        И подумал я о Борланд Паскале 20-летней давности с рантаймовой проверкой индексов и прочей фигни. - Vladimir Ljaschko(31.05.2013 09:53)
        
        ЧТД. Паскаль -- лучше чем C. - fk0(31.05.2013 11:51)
        
        valgrind? - SciFi(30.05.2013 23:19)
        
        К ней еще вот это обязательно к вдумчивому и тщательному прочтению --> - MBedder(30.05.2013 20:58, ссылка)
    - Это я просто предположил. К тому же часто индекс может быть вычислен на этапе компиляции. - SciFi(30.05.2013 19:43)
  - Это ANSI? ИАР говорит Vladimir Ljaschko(186 знак., 30.05.2013 17:21)
    - Это C99. - SciFi(30.05.2013 17:23)
- Что, так и записано в исходнике? - Vladimir Ljaschko(30.05.2013 16:42)
- прямо в таком виде или все-таки передается указатель на массив? Argon(244 знак., 30.05.2013 16:33 - 16:39)
  - в объявлении и определении функции именно так и написано, хотя, да, передается указатель на массив. компилятор даже не припугнул. Попробовал в функции обратиться к элементу с большим индексом - компилятор тоже не стал ругаться. Может быть это kosig(63 знак., 31.05.2013 10:47)
    - Попробовал на gcc 4.7.2 "void test(char s[const static 7])" в режиме -std=c99: SciFi(306 знак., 31.05.2013 11:19)

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