Возможно ли с помощью enum реализовать следующее поведение.
Предположим, что у нас есть некоторое множество значений - результаты прогноза (1, X, 2 - победа, ничья, поражение).
И есть более широкое множество - Результаты реального матча (1, Х, 2, перенесен, отменен, отложен, результат не учитывается...)
Желание связано с тем, что поля, содержащие прогноз, должны быть ограничены в значениях (нельзя прогнозировать перенесение или отмену матча), но с другой стороны хотелось бы иметь возможность сравнивать поле прогноза и поле реального результата без дополнительных усилий (т.е. специально написанных для этого методов).
enum наследовать нельзя. Перекрыть метод equals тоже - он final.
Отсюда и вопрос - как?
1. писать myEquals - немного не красиво как-то
2. забить на enum и писать собственный класс для реализации перечислимого типа - не логично - из-за некрасивости первого пункта писать полностью свой класс.
Как правильно?

Извиняюсь за назойливость. Можно пояснения?
Не совсем понял, как это применить.
Сам класс TestSubEnum является полным набором. Я могу сделать в каком-нибудь классе поле этого типа.
А вот что делать с subEnum? Он возвращает разрешенный набор для подмножества, но что с ним делать?

BlazkowiczА что ты хочешь с ним делать? Он же тебе для чего-то понадобился? Константы ты можешь использовать из исходного энума, а итернацию по массиву подмножеству, какая тебе ещё функциональность нужна?
Я хочу иметь поле такого типа, который не позволит мне присвоить ему "невозможное" значение. Ну чисто для красоты. Так-то я и int мог бы использовать, но вот захотелось красивого.
Есть у меня одна мысль (вычитал про один паттерн), я ее попробую, если получится - здесь выложу. Там без enum.

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

Фактически, как я уже писал в первом сообщении - есть множество А, которая является подмножеством Б. Вот я и хочу получить класс А и класс Б, чтобы можно было делать поля таких типов.
Наверное, это больше теоретическая заморочка, чем практическая.

Вот вариант - подчерпнул из главы Замена перечислений классами



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

Все верно или где-то я что-то не заметил?

Эээ... А зачем мне по ним итерироваться? И как итерироваться по обычному enum? Не нашел у него никаких методов для этого.

pamirВсе верно или где-то я что-то не заметил?
И тут до меня дошло, что я ничего этим не добился. Поле типа PrognozResult может содержать в себе значения и дочернего класса PrognozResult, что вполне логично.
Так что задача не решена.

"дочернего класса PrognozResult" читать как "дочернего класса MatchResult"

LINUXER pamirИ тут до меня дошло, что я ничего этим не добился. Поле типа PrognozResult может содержать в себе значения и дочернего класса PrognozResult, что вполне логично.
Так что задача не решена.
Не понял - в каком случае может содержать?
По-моему хороший вариант, для описанной желаемой функциональности
Идея была в следующем (на примере)
Класс MyPrognozHolder - содержит прогнозы матчей. Его поля должны быть такого типа, которые не позволят присвоить им ничего кроме Победа, ничья, Поражение (т.е. типа PrognozResult).
Класс MyRealResultsHolder - содержит реальные результаты матчей - его поля должны быть такого типа, который позволяет присваивать не только Победа, ничья, Поражение, но и Отменен, Перенесен, Не Учитывать (т.е. типа MatchResult).
При этом хотелось бы, чтобы их можно было сравнивать без спец. преобразований.
Приведенное мной решение состоит из класса PrognozResult и унаследованного от него MatchResult. Такое положение позволяет присвоить полям с типом PrognozResult все! значения, которые возможны в MatchResult:

Следовательно, задача ограничения не решена - поля типа PrognozResult могут получать значения MatchResult.NOT_CONSIDERED и MatchResult.MATCH_POSTP, более того, полю типа MatchResult невозможно присвоить значения MatchResult.HOME_WIN, MatchResult.DRAW, MatchResult.HOME_LOSE не проведя преобразование к типу MatchResult, т.к. они пришли еще от родителя.
В итоге я решил делать проверку в самом классе (в примере это MyPrognozHolder) в методе set для соответствующего поля.

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

Кстати, подумалось - так как у enum нельзя перекрыть метод equals, то если очень хотеть все-таки решить задачу, можно сделать классы PrognozResult и MatchResult независимыми, и в каждом реализовать метод equals.
И почему я сразу об этом не подумал? :о)

pamirКстати, подумалось - так как у enum нельзя перекрыть метод equals, то если очень хотеть все-таки решить задачу, можно сделать классы PrognozResult и MatchResult независимыми, и в каждом реализовать метод equals.
И почему я сразу об этом не подумал? :о)
Тихо сам с собою... я же никому не мешаю :))

Такой вариант возможен, но для частного случая. Он работает, но если вдруг появится еще какой-то набор значений (трудно привести пример для прогнозов, но если это другая область применения, то можно), то эти классы не сумеют с ним сравниваться.... Так что решение половинчатое.