design: enumの網羅性

[KisaragiEffective]

まず、enumは閉じているか閉じていないかの2択がある。

• Java, Kotlin, Scala 2, Scala 3, Rust, C++¹, Swift: 閉じている
• C, C#², SmileBASIC 4: 閉じていない

ここで、「閉じている」とは「基底となる表現の型のインスタンスがenumの有効な要素であるとは限らない」という意味である。

例えば、以下の例を考える。

#[repr(u8)]
enum X {
Y = 1
}

fn main() {
    let b = 2;
    // 2 is not valid discriminator; UB!
    let x: X = unsafe { core::mem::transmute(b) };
}

Footnotes

1. enum classやenum struct ↩

2. https://stackoverflow.com/a/63316213 ↩