caxapa.ru :: Круто, не знал про такую фишку:

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

Круто, не знал про такую фишку:

A declaration of a parameter as "array of type" shall be adjusted to "qualified pointer to type", where the type qualifiers (if any) are those specified within the [ and ] of the array type derivation. If the keyword static also appears within the [ and ] of the array type derivation, then for each call to the function, the value of the corresponding actual argument shall provide access to the first element of an array with at least as many elements as specified by the size expression.

Получается, что компилятор будет ругаться, если внутри функции попытаться записать в этот массив или прочитать элемент с индексом больше 31.

ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้

Ответить

- а компилятор разве сможет просечь какое может вдруг возникнуть значение индексной переменной? - 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)

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