为什么不需要限定 Option 的 Some 和 None 变体？

Question

根据docs for Option，Option 是一个具有变体Some<T> 和None 的枚举。

为什么可以在没有限定条件的情况下引用Some 和None？

例如，这很好用：

let x = Option::Some(5);
match x {
    Some(a) => println!("Got {}", a),
    None => println!("Got None"),
}

但是编译失败：

enum Foo<T> {
    Bar(T),
    Baz,
}
let x = Foo::Bar(5);
match x {
    Bar(a) => println!("Got {}", a),
    Baz => println!("Got Baz"),
}

编译器的错误是unresolved enum variant, struct or const `Bar`

Answer 1

Rust prelude 会自动插入到每个源文件中，它包含这一行：

pub use option::Option::{self, Some, None};

这带来了Option 及其两个变体的范围。