Rust 中的自动特征是什么？

Question

试图解决Trait bound Sized is not satisfied for Sized trait中描述的问题，我发现以下代码给出了以下错误：

trait SizedTrait: Sized {
    fn me() -> Self;
}

trait AnotherTrait: Sized {
    fn another_me() -> Self;
}

impl AnotherTrait for SizedTrait + Sized {
    fn another_me() {
        Self::me()
    }
}

error[E0225]: only auto traits can be used as additional traits in a trait object
 --> src/main.rs:9:36
  |
9 | impl AnotherTrait for SizedTrait + Sized {
  |                                    ^^^^^ non-auto additional trait

但是Rust Book 根本没有提到auto trait。

什么是 Rust 中的自动 trait，它与非自动 trait 有何不同？

Answer 1

auto trait 是名为¹opt-in, built-in trait (OIBIT) 的新名称。 p>

这是一个不稳定的特性，每个类型都会自动实现特征，除非它们选择退出或包含不实现特征的值：

#![feature(optin_builtin_traits)]

auto trait IsCool {}

// Everyone knows that `String`s just aren't cool
impl !IsCool for String {}

struct MyStruct;
struct HasAString(String);

fn check_cool<C: IsCool>(_: C) {}

fn main() {
    check_cool(42);
    check_cool(false);
    check_cool(MyStruct);
    
    // the trait bound `std::string::String: IsCool` is not satisfied
    // check_cool(String::new());
    
    // the trait bound `std::string::String: IsCool` is not satisfied in `HasAString`
    // check_cool(HasAString(String::new()));
}

熟悉的例子包括Send和Sync：

pub unsafe auto trait Send { }
pub unsafe auto trait Sync { }

更多信息请访问Unstable Book。

---

¹ 这些特征既不是可选的（它们是可选的）也不一定是内置的（使用 nightly 的用户代码可以使用它们）。在他们名字中的 5 个词中，有 4 个是彻头彻尾的谎言。