rust - 单位类型实现了哪些特征？

Question

http://doc.rust-lang.org/std/与其他原始类型不同，没有给出明确的答案，并且 () 没有单独的页面。

看起来单元实现了与一般元组相同的特征:
克隆
部分均衡器
情商
偏序
订单
默认,
但与此同时，在文档中各处都将单元与元组分开处理。

Answer 1

我现在正在为 () 写一个页面:PR #15321 ... 现在显示为 std::unit::unit .

在此期间，Rust 非常适合 greppable，对 impl.*for *() 的 grepping 会出现一堆 impl(然而，这并不是全部它们，因为有些是由宏生成的):

src/libcollections/hash/mod.rs:150:        impl<S: Writer> Hash<S> for () {
src/libcore/cmp.rs:211:    impl PartialEq for () {
src/libcore/cmp.rs:243:    impl PartialOrd for () {
src/libcore/cmp.rs:270:    impl Ord for () {
src/libcore/fmt/mod.rs:740:impl Show for () {
src/libdebug/repr.rs:39:impl Repr for () {
src/librand/rand_impls.rs:192:impl Rand for () {
src/librustc/util/ppaux.rs:509:impl Repr for () {
src/libserialize/json.rs:2209:impl ToJson for () {
src/libserialize/serialize.rs:361:impl<E, S:Encoder<E>> Encodable<S, E> for () {
src/libserialize/serialize.rs:367:impl<E, D:Decoder<E>> Decodable<D, E> for () {
src/libsyntax/ext/quote.rs:150:    impl ToSource for () {

(以及一堆测试。)

总而言之，感兴趣的特征有:Hash、PartialEq、PartialOrd、Ord、Show、Rand、ToJson、Encodable、Decodable。至少还有 Default、TotalEq、Clone 通过宏。