Разрешено ли компилятору оптимизировать ветку, зависящую от перечисления, имеющего необъявленное значение?

Question

Или другой способ выразить это: может ли компилятор предположить, что экземпляр enum может содержать только те значения, которые он объявляет удерживать и оптимизировать на основе этого предположения?

enum MyType { A = 1, B = 2 }; 

const MyType C = static_cast<MyType>(3); 

void fun(MyType m) { 
    switch (m) { 
     case A: 
      // ... 
      break; 
     case B: 
      // ... 
      break; 
     case C: 
      // can this be optimized away? 
    } 
} 

Answer 1

Компилятор не может оптимизировать необъявленные значения перечисления. В разделе, посвященном спецификациям языка, которые говорят о счетчиках, говорится:

Можно определить перечисление, значение которого не определено ни одним из его счетчиков.

поэтому перечисление допускается иметь значения, которые явно не указаны в объявлении перечисления.

Кроме того, раздел по типам битмасс дает примеры, в которых используются неопределенные значения перечисления, в частности упоминание 0 в качестве допустимого значения флага.

Поскольку он имеет значения enum, которые не объявлены, компилятор не может оптимизировать код, который их использовал.