Как привести перечисление к типу?

enum EN{q, w, e, r};
EN t;

Требуется привести t к bool. Но не

(((int)t)!=0)

, а по-своему.

enum EN{q, w, e, r};
operator bool (const EN &en)
{
 switch (en)
 {
  case q:
  case w:
  case e:
  case r: return true;
  break;
  default : return false;
  break;
 }
}
EN t;

не комплится, пишет, что оператор приведения должен быть чиьм-то не статическим членом. А если он член, то пишет, что он должен принимать воид.

EN::operator bool

и

enum class EN

не помогают. Ни по отдельности, ни вместе.

Оберни EN в класс или структуру, и перегружай что хочешь.
Будет тебе счастье.

Цитата JoeUser @ 09.07.19, 12:18

Оберни EN в класс или структуру, и перегружай что хочешь.
Будет тебе счастье.

Я с этого начал. Пишет, что оператор-член приведения должен принимать воид.

Сообщение отредактировано: Ирокез - 09.07.19, 12:49

Естественно. Он же метод, у него есть this. Его и должен кастовать. Зачем ему параметры?

Ирокез, странный у тебя свич. Любой каст приведет к true.

Добавлено 09.07.19, 13:48

Цитата Ирокез @ 09.07.19, 11:34

что оператор приведения должен быть чиьм-то не статическим членом

Правильно пишет - в перечислениях нет методов. Но можно реализовать класс/структуру/объединение со схожим функционалом, и там будет возможна перегрузка. Стандартное перечисление в лоб не расширить.

Цитата Qraizer @ 09.07.19, 13:26

Естественно. Он же метод, у него есть this. Его и должен кастовать. Зачем ему параметры?

Должен он привести перечисление.

Добавлено 09.07.19, 13:55

Цитата JoeUser @ 09.07.19, 13:47

странный у тебя свич. Любой каст приведет к true.

default к false.

Добавлено 09.07.19, 13:55

Цитата JoeUser @ 09.07.19, 13:47

Но можно реализовать класс/структуру/объединение со схожим функционалом, и там будет возможна перегрузка.

Как?

Цитата Ирокез @ 09.07.19, 13:54

default к false.

Так да default'а дело никогда не дойдет, ибо все возможные значения кастуются к true.

Цитата Ирокез @ 09.07.19, 13:54

Как?

Примерно вот так:

#include <iostream>
using namespace std;
 
enum class Enum { Q,W,E,R };
 
class EnumHolder {
  public:
   explicit EnumHolder(Enum e) : Value(e) {}
   EnumHolder() = delete;
   operator bool() const {
     return (Value == Enum::Q || Value == Enum::W);
   }
  private:
   Enum Value;
};
 
int main() {
  EnumHolder E(Enum::E);
  if (E) {
    std::cout << "Enum Q or W" << std::endl;
  } else {
    std::cout << "Enum E or R" << std::endl;
  }
  return 0;
}

Цитата JoeUser @ 09.07.19, 14:21

Так да default'а дело никогда не дойдет, ибо все возможные значения кастуются к true.

Ну как же все, когда defalut к false?

Цитата Ирокез @ 09.07.19, 14:52

когда defalut к false

А вот так.
Если все возможные значения приводят с true, то до default дело не дойдет никогда.
Вообще никогда. Совсем совсем, вообще вообще, никогда

А вот вопрос, кстати - имеет ли право оптимизатор в этом случае заменить эту функцию на return true?

Цитата OpenGL @ 09.07.19, 18:14

А вот вопрос, кстати - имеет ли право оптимизатор в этом случае заменить эту функцию на return true?

С какого перепугу? Скорей уж оптимизатор обязан заменить

p!=nullptr

на

true

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

Добавлено 10.07.19, 02:21

Цитата JoeUser @ 09.07.19, 14:56

А вот так.
Если все возможные значения приводят с true, то до default дело не дойдет никогда.
Вообще никогда.

Ну как же все, когда всего три, из более, чем как минимум четырёх миллиардов?

Сообщение отредактировано: Ирокез - 10.07.19, 02:21

Цитата Ирокез @ 10.07.19, 02:17

чем как минимум четырёх миллиардов?

Каких еще миллиардов? Указанное перечисление может принимать одно из четырех значений, которые и перечислены в switch. Иного быть не может, значит и до default дело не дойдет.

А по-твоему какова разрядность базового типа? 1 бит?

Добавлено 10.07.19, 05:11

Цитата JoeUser @ 10.07.19, 04:23

Указанное перечисление может принимать одно из четырех значений, которые и перечислены в switch. Иного быть не может, значит и до default дело не дойдет.

Бред. Ты б хоть потестил. Перечисление может принимать любые значения своего базового типа, независимо от того, назначены им имена или нет.

Добавлено 10.07.19, 05:12

Цитата JoeUser @ 10.07.19, 04:23

значит и до default дело не дойдет.

Гарантированно дойдёт. Дойдёт ли до остальных четырёх? Вот в чём вопрос. И я уже выбросил енам и полностью заменил его классом. Вместо членов перечисления статические константные экземпляры-члены, единственное поле (данное-член) – приватный указатель на экземпляр, конструктор по умолчанию копирует в него значение this, а присваивание и конструктор копий копируют туда удрес из копируемого объекта. Привидение к bool сравнивает адрес с адресами всех константных статических экземпляров-членов. Скормить свичу не получится, но пока это и не нужно.

Сообщение отредактировано: Ирокез - 10.07.19, 05:19

Цитата Ирокез @ 10.07.19, 05:10

Бред. Ты б хоть потестил.

В плюсах "работает" не является аргументом поскольку в нём есть UB

Цитата OpenGL @ 10.07.19, 05:15

В плюсах "работает" не является аргументом поскольку в нём есть UB

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

Добавлено 10.07.19, 05:34
К тому же это определено.

enum EN{q=0, w=1, e=2};
union
{
 int x;
 EN en;
};
t=44;
switch (en)
{
 case q:
 case e:
 case r: return true;
 default: return false;
}

должен вернуть фолз.

Сообщение отредактировано: Ирокез - 10.07.19, 05:51

Цитата Ирокез @ 10.07.19, 05:20

В вопросах защиты от невалидных значений

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

Цитата Ирокез @ 10.07.19, 05:10

А по-твоему какова разрядность базового типа? 1 бит?

А по-вашему какова? 8 бит? Или 16? А может 24? Или 64?

Цитата Dushevny @ 10.07.19, 05:37

Этой защитой в плюсах занимается программист.

А я прям не в курсе.

Добавлено 10.07.19, 05:54

Цитата Dushevny @ 10.07.19, 05:37

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

Лож. Ничего я ему не обещал. Я потребовал, чтоб количество осмысленных значений равнялось количеству перечисленных имён. О бессмысленных значениях не сказав ему ни слова.

Добавлено 10.07.19, 05:54

Цитата Dushevny @ 10.07.19, 05:37

А по-вашему какова? 8 бит? Или 16? А может 24? Или 64?

Минимум 32.

Добавлено 10.07.19, 05:55

Цитата Dushevny @ 10.07.19, 05:37

одно из четырех указанных значений - будьте добры это обеспечить.

А ничего, что это не возможно?

Добавлено 10.07.19, 06:00
Не путайте с паскалем, где перечисление обязано гарантировать не производительность кода и не его размер, а невозможность иных значений. На плюсах не только каждое обращение не приводится к вычислению остатка от деления на общее количество перечисленных имён, но и сами коды могут быть произвольными и между ними могут быть дыры.

Сообщение отредактировано: Ирокез - 10.07.19, 06:00

Цитата Ирокез @ 10.07.19, 05:52

Лож. Ничего я ему не обещал. Я потребовал, чтоб количество осмысленных значений равнялось количеству перечисленных имён. О бессмысленных значениях не сказав ему ни слова.

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

Цитата JoeUser @ 10.07.19, 06:12

В стандарте языка нет понятия бессмысленных значений в перечислениях.

Вот именно. Следовательно, стандарт их даже запретить не может.

Добавлено 10.07.19, 06:50

Цитата JoeUser @ 10.07.19, 06:12

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

И какое же преимущество мне даёт случайность значения неинициированной переменной?

Цитата JoeUser @ 10.07.19, 06:12

а не искать на свой отладчик приключений

Так я и прописал проверку валидности.

Цитата Ирокез @ 10.07.19, 06:47

И какое же преимущество мне даёт случайность значения неинициированной переменной?

При чем тут это? Использование переменной без предварительной инициализации - дурной тон. И ошибка в проектировании.

Добавлено 10.07.19, 07:07

Цитата Ирокез @ 10.07.19, 06:47

Следовательно, стандарт их даже запретить не может.

В стандартной библиотеке есть функция прямой записи в память по адресу.
Но это не означает, что правильно писать от балды куда, и от балды что.
Типизация языка - это помощь программисту, а не защита от дурака.

Эх, человека забанили. Злыдни
Вообще, всё зависит от того, чем является чтение невалидного enum-а. Если это unspecified behavior, то компилятор не должен эту функцию до return true редуцировать. Если же это undefined, то редуцирование будет более чем логичным.

Цитата Ирокез @ 10.07.19, 05:10

Ты б хоть потестил. Перечисление может принимать любые значения своего базового типа, независимо от того, назначены им имена или нет.

Ты б хоть Стандарт почитал. Это перечисление может хранить только 4 элемента.

Добавлено 10.07.19, 09:24

Цитата Ирокез @ 10.07.19, 05:20

К тому же это определено.
...

А это тоже 4 элемента. Для него default имеет смысл.

Добавлено 10.07.19, 09:24

Цитата Ирокез @ 10.07.19, 05:52

Минимум 32.

2 бита.

Добавлено 10.07.19, 09:29
OpenGL, unspecified.