Можно ли включить константу в C++?

Question

Я только что узнал об ошибке, которую я представил, что меня удивило в том, что она скомпилирована, законно ли включать постоянную?

Visual Studio 8 и Comeau оба принимают его (без предупреждений).

switch(42) { // simplified version, this wasn't a literal in real life 
    case 1: 
     std::cout << "This is of course, imposible" << std::endl; 
} 

Answer 1

Не исключено, что включение константы имеет смысл. Рассмотрение:

void f(const int x) { 
    switch(x) { 
    ... 
    } 
} 

Включение постоянной константы редко имеет смысл. Но это законно.

Edit: Думая об этом, есть случай, когда переключение на буквальном делает совершенного смысл:

int main() { 
    switch(CONFIG) { 
      ... 
    } 
} 

, где программа была составлена ​​с:

g++ -DCONFIG=42 foo.cpp 

Answer 2

Да, это законно.

Answer 3

Да, вполне законно включать любое целочисленное выражение. Это то же самое, что и switch ing на целочисленное значение, возвращаемое функцией - это довольно часто используемая конструкция.

Answer 4

Не все, что имеет смысл для компилятора, имеет смысл!

Ниже также будет собирать, но не имеет никакого смысла:

if (false) 
{ 
    std::cout << "This is of course, imposible" << std::endl; 
} 

Это до нас, как разработчиков, чтобы обнаружить их.

Answer 5

Да, но почему вы хотите (если не отлаживать) другое дело.

Это похоже на if (0) или while (true).

Answer 6

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

E.g. Вы могли бы использовать что-то вроде этого для отладки материал:

int glyphIndex; 
... 
#if CHECK_INVALID_GLYPH 
glyphIndex = -1; 
#endif 

switch (glyphIndex) 
    ... 

компилятор знает наверняка, что glyphIndex -1 здесь, так что это так же хорошо, как константа. В качестве альтернативы, вы можете кодировать это следующим образом:

#if CHECK_INVALID_GLYPH 
const int glyphIndex = -1; 
#else 
int glyphIndex = GetGlyph(); 
#endif 

Вы не действительно хотите, чтобы изменить тело вашего переключателя заявление, только чтобы вы могли сделать небольшие изменения, как это, и компилятор вполне способен рационализировать код для устранения частей, которые никогда не будут выполнены в любом случае.