Есть ли способ создать перечисление, которое не может быть нулевым?

Question

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

Answer 1

Нет. Перечисления всегда являются ссылочными типами, и null является допустимым значением для любого ссылочного типа. Вы можете всегда написать:

MyEnum x = null;

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

Answer 2

Вероятно, это можно сделать (очень, очень болезненно), выбрав систему Java Design By Contract и изменив каждую функцию, которая принимает перечисление, чтобы оно не было нулевым. Это, конечно, гигантский объем работы над существующим проектом.

С практической точки зрения, вы можете рассмотреть возможность интеграции инструмента статического анализа кода в ваш процесс сборки. Это также большой объем работы (он потенциально может найти гигантский набор «ошибок»), но, вероятно, выполнимо (все еще мучительно), если у вас есть время, чтобы в него инвестировать. Правильный инструмент статического анализа кода может обнаружить такой тип ошибки.