为什么我不能使用 let _: Arc = value.into() 创建特征对象？

use std::sync::Arc;

trait Trait {}
struct TraitImpl {}
impl Trait for TraitImpl {}

fn main() {
    let value = TraitImpl {};
    let _: Arc<dyn Trait> = Arc::new(value);    // compiles
    let _: Arc<dyn Trait> = value.into();       // doesn't compile
}

Result

error[E0277]: the trait bound `std::sync::Arc<dyn Trait>: std::convert::From<TraitImpl>` is not satisfied
  --> src/main.rs:10:35
   |
10 |     let _: Arc<dyn Trait> = value.into();       // doesn't compile
   |                                   ^^^^ the trait `std::convert::From<TraitImpl>` is not implemented for `std::sync::Arc<dyn Trait>`
   |
   = help: the following implementations were found:
             <std::sync::Arc<T> as std::convert::From<T>>
             <std::sync::Arc<T> as std::convert::From<std::boxed::Box<T>>>
             <std::sync::Arc<[T]> as std::convert::From<&[T]>>
             <std::sync::Arc<[T]> as std::convert::From<std::vec::Vec<T>>>
           and 8 others
   = note: required because of the requirements on the impl of `std::convert::Into<std::sync::Arc<dyn Trait>>` for `TraitImpl`

(操场)

为什么Arc::new(value)编译但不编译value.into()？我不明白为什么Arc<T>::new()很满意，同时From<T>::from isn't.

impl<T> Arc<T> {
    pub fn new(data: T) -> Arc<T>
}

impl<T> From<T> for Arc<T> {
    fn from(t: T) -> Arc<T>
}

你的两条线有根本的区别。第一个：

let _: Arc<dyn Trait> = Arc::new(value);

模式对于分辨率并不重要Arc::new()，因为它的定义如您所指出的：

impl<T> Arc<T> {
    pub fn new(data: T) -> Arc<T>
}

所以类型T是从类型推导出来的value那是TraitImpl， 和Arc<TraitImpl>被建造。 那么这个类型是隐式的未调整大小的强制对此Arc<dyn Trait>一切都编译得很好。

但第二行是骗人的：

let _: Arc<dyn Trait> = value.into();

由于没有into函数于TraitImpl编译器搜索范围内的任何特征并找到Into<T>::into()，定义为：

pub trait Into<T> {
    fn into(self) -> T;
}

现在编译器想知道那是什么类型T是。由于它是函数的返回，因此它猜测T is Arc<dyn Trait>。现在唯一有趣的实现Into是在From:

impl<X, T> Into<T> for X where
    T: From<X>

Here X is TraitImpl and T is Arc<dyn Trait>。如果你看一下的含义Arc for From，其中包括很多，但没有一个适用。这是最相似的：

impl<T> From<T> for Arc<T>

然后，编译器会显示一些失败的候选者并发出错误。

The TL;DR;是你实际上想要进行两次转换：TraitImpl to Arc<TraitImpl>然后从Arc<TraitImpl> to Arc<dyn Trait>。但是您不能在一次强制转换中同时执行这两项操作，编译器必须以某种方式拼写出中间类型。