caxapa.ru :: switch vs if - почему первый не работает ?

zeleny (20.10.2013 01:14, просмотров: 10360)

switch vs if - почему первый не работает ? код: u32 *val = &cmd_vals.a[cmd_last-1]; if (val == &cmd_vals.en) { } switch ((u32)val) { case ((u32)&cmd_vals.en): break; } if - без ошибок, а в case - ошибка case label does not reduce to an integer constant, хотя по смыслу - одно и то же.

Ответить

- Уже было сказано, что после case должно стоять константное выражение. Но от себя добавлю, что компилируется switch в виде двух массивов (обычно помещаемых по flash!): в одном из них перечислены case-константы, а во-втором соответствующий им список Ксения(388 знак., 20.10.2013 02:21)
- Ошибка выдается, потому, что по стандарту языка после "case" должно следовать константное выражение. Да, и по смыслу: обратите внимание , что после "case constant-expression" ставится двоеточие, поскольку это - метка, а метки в ЯВУ - определяются Палыч(172 знак., 20.10.2013 02:03)
  - выражение как раз константное - указатели на константы. Возможно, линкер не видит ? - zeleny(20.10.2013 02:36)
    - действительно странно. У меня аналогичная по смыслу конструкция работает нормально koyodza(563 знак., 20.10.2013 10:39)
      - А что тут странного? Что такое, например, ADC2 как не константа. Или нет? - Bill(20.10.2013 13:11)
        
        здесь это адрес регистра. У топикстартера адрес переменной, это тоже константа, если переменная статическая. Если же она не статическая, то он сам себе злобный буратино - koyodza(20.10.2013 13:16)
        
        Еще раз: для компилятора адрес не является константой! Чему этот адрес равен: 1, 100, 1000? - Bill(20.10.2013 13:18)
        
        адрес статической переменной элементарно может выступать в роли константы. Может не во всех случаях, но по крайней мере для switch подходит, если выполнить приведение типов - koyodza(20.10.2013 13:20)
        
        Чему конкретно равен этот адрес: 1, 10, 20? - Bill(20.10.2013 13:24)
        
        вычисляется на этапе линковки - koyodza(20.10.2013 13:28)
        
        Вот именно!!! На этапе компиляции это значение неизвестно и, стало быть, не является константой! - Bill(20.10.2013 13:31)
        
        ну компилятор может вычислить что адреса ссылаются на разные объекты, а линкер заполнит их при линковке - zeleny(21.10.2013 00:20)
        
        ну и что? - koyodza(20.10.2013 14:30)
        
        а как поведёт себя программа, если два выражения в case окажутся одинаковыми после линковки? - инженегр(20.10.2013 14:39, )
        
        Да дело даже не в этом. Компилятор просто не сможет отсортировать значения case. - Bill(20.10.2013 14:45)
        
        Теоретически компилятор может заниматься "тупым перебором" при невозможности отсортировать на этапе компиляции, но вот предсказуемости от такой программы ждать не следует. - инженегр(20.10.2013 15:58, )
        
        В том-то и дело, что в соответствии со стандартом все значения case должны быть константами или константными выражениями, вычисляемыми на этапе компиляции. - Bill(20.10.2013 16:09)
        
        признаю, был неправ: работает только с теми объектами, адрес которых известен ещё на этапе компиляции, но не линковки - koyodza(20.10.2013 21:58)
        
        Считать адрес получаемый в линкере константой -- странно. В некоторых случаях адрес неизвестен до загрузки программы в память компьютера (её запуска). - fk0(21.10.2013 06:22)
        
        Ну а значение case должно быть константой. Поэтому программа и не компилируется. - Bill(20.10.2013 14:34)
    - А что толку сравнивать адреса/указатели между собой, если они таковы, как их в памяти расположил компилятор? Т.е. от хранящихся по этим адресам величин независимых. - Ксения(20.10.2013 02:39)
      - эти указатели известны на этапе компиляции (по кр.мере линкеру). Не пойму чем switch отличается от if. - zeleny(20.10.2013 02:43)
        
        На этапе компиляции как раз значение указателя неизвестно. А линкер - это уже совсем другая история. Или нет7 - Bill(20.10.2013 10:25)
        
        if сравнивает не указатели, а числовые значения, в том числе и вычисляемые с обеих сторон от знака двойного равенства. Тогда как switch может вычислять и сравнивать switch-выражение только с набором case-констант. Сравнивать между собой адреса Ксения(87 знак., 20.10.2013 02:53 - 02:57)

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