Ефективні Enums у Котліні із зворотним пошуком?

Я намагаюся знайти найкращий спосіб зробити "зворотний пошук" на перерахунок у Котліні. Одним із моїх виходів з Ефективної Java було те, що ви вводите статичну карту всередині enum для обробки зворотного пошуку. Перенесення цього котліна з простим перерахуванням призводить мене до коду, який виглядає приблизно так:

enum class Type(val value: Int) {
    A(1),
    B(2),
    C(3);

    companion object {
        val map: MutableMap<Int, Type> = HashMap()

        init {
            for (i in Type.values()) {
                map[i.value] = i
            } 
        }

        fun fromInt(type: Int?): Type? {
            return map[type]
        }
    }
}

Моє запитання: це найкращий спосіб зробити це чи є кращий спосіб? Що робити, якщо у мене є кілька перерахунків, які відповідають подібній схемі? Чи є спосіб у Котліні зробити цей код більш повторним для використання через переліки?

Перш за все, аргументом fromInt()слід бути an Int, а не an Int?. Спроба отримати Typeнульовий параметр очевидно призведе до нуля, і абонент навіть не повинен намагатися це робити. Це Mapтакож не має підстав бути зміненим. Код можна зменшити до:

companion object {
    private val map = Type.values().associateBy(Type::value)
    fun fromInt(type: Int) = map[type]
}

Цей код настільки короткий, що, чесно кажучи, я не впевнений, що варто спробувати знайти рішення для багаторазового використання.

ми можемо використовувати findякий повертає перший елемент, що відповідає заданому предикату, або null, якщо такого елемента не було знайдено.

companion object {
   fun valueOf(value: Int): Type? = Type.values().find { it.value == value }
}

У цьому випадку це не має великого сенсу, але ось "вилучення логіки" для рішення @ JBNized:

open class EnumCompanion<T, V>(private val valueMap: Map<T, V>) {
    fun fromInt(type: T) = valueMap[type]
}

enum class TT(val x: Int) {
    A(10),
    B(20),
    C(30);

    companion object : EnumCompanion<Int, TT>(TT.values().associateBy(TT::x))
}

//sorry I had to rename things for sanity

Взагалі в тому, що супутні об’єкти - це те, що вони можуть бути повторно використані (на відміну від статичних членів у класі Java)

Ще одним варіантом, який можна вважати "ідіоматичним", буде такий:

companion object {
    private val map = Type.values().associateBy(Type::value)
    operator fun get(value: Int) = map[value]
}

Які потім можна використовувати Type[type].

Я виявив, що роблю зворотний пошук за спеціальністю, кодованим вручну, ціною пару разів і придумав наступний підхід.

Зробіть enumреалізацію спільного інтерфейсу:

interface Codified<out T : Serializable> {
    val code: T
}

enum class Alphabet(val value: Int) : Codified<Int> {
    A(1),
    B(2),
    C(3);

    override val code = value
}

Цей інтерфейс (як би дивно це ім’я не було :)) позначає певне значення як явний код. Мета - вміти писати:

val a = Alphabet::class.decode(1) //Alphabet.A
val d = Alphabet::class.tryDecode(4) //null

Що легко досягти за допомогою наступного коду:

interface Codified<out T : Serializable> {
    val code: T

    object Enums {
        private val enumCodesByClass = ConcurrentHashMap<Class<*>, Map<Serializable, Enum<*>>>()

        inline fun <reified T, TCode : Serializable> decode(code: TCode): T where T : Codified<TCode>, T : Enum<*> {
            return decode(T::class.java, code)
        }

        fun <T, TCode : Serializable> decode(enumClass: Class<T>, code: TCode): T where T : Codified<TCode> {
            return tryDecode(enumClass, code) ?: throw IllegalArgumentException("No $enumClass value with code == $code")
        }

        inline fun <reified T, TCode : Serializable> tryDecode(code: TCode): T? where T : Codified<TCode> {
            return tryDecode(T::class.java, code)
        }

        @Suppress("UNCHECKED_CAST")
        fun <T, TCode : Serializable> tryDecode(enumClass: Class<T>, code: TCode): T? where T : Codified<TCode> {
            val valuesForEnumClass = enumCodesByClass.getOrPut(enumClass as Class<Enum<*>>, {
                enumClass.enumConstants.associateBy { (it as T).code }
            })

            return valuesForEnumClass[code] as T?
        }
    }
}

fun <T, TCode> KClass<T>.decode(code: TCode): T
        where T : Codified<TCode>, T : Enum<T>, TCode : Serializable 
        = Codified.Enums.decode(java, code)

fun <T, TCode> KClass<T>.tryDecode(code: TCode): T?
        where T : Codified<TCode>, T : Enum<T>, TCode : Serializable
        = Codified.Enums.tryDecode(java, code)

Варіантом попередніх пропозицій може бути наступний, використовуючи порядкове поле та getValue:

enum class Type {
A, B, C;

companion object {
    private val map = values().associateBy(Type::ordinal)

    fun fromInt(number: Int): Type {
        require(number in 0 until map.size) { "number out of bounds (must be positive or zero & inferior to map.size)." }
        return map.getValue(number)
    }
}

}

Ще один приклад реалізації. Це також встановлює значення за замовчуванням (тут для OPEN), якщо жодне введення не відповідає опції перерахування:

enum class Status(val status: Int) {
OPEN(1),
CLOSED(2);

companion object {
    @JvmStatic
    fun fromInt(status: Int): Status =
        values().find { value -> value.status == status } ?: OPEN
}

}

Придумали більш загальне рішення

inline fun <reified T : Enum<*>> findEnumConstantFromProperty(predicate: (T) -> Boolean): T? =
T::class.java.enumConstants?.find(predicate)

Приклад використання:

findEnumConstantFromProperty<Type> { it.value == 1 } // Equals Type.A

Справжній ідіоматичний шлях Котліна. Без роздутого коду відбиття:

interface Identifiable<T : Number> {

    val id: T
}

abstract class GettableById<T, R>(values: Array<R>) where T : Number, R : Enum<R>, R : Identifiable<T> {

    private val idToValue: Map<T, R> = values.associateBy { it.id }

    operator fun get(id: T): R = getById(id)

    fun getById(id: T): R = idToValue.getValue(id)
}

enum class DataType(override val id: Short): Identifiable<Short> {

    INT(1), FLOAT(2), STRING(3);

    companion object: GettableById<Short, DataType>(values())
}

fun main() {
    println(DataType.getById(1))
    // or
    println(DataType[2])
}

val t = Тип.значення () [порядковий]

:)