主页 / coding / 问题 / 79203715
Accepted
C. Dow
Asked: 2024-11-19 21:59:37 +0800 CST

为什么这个 MyStruct<T> 不能正确强制转换为 MyStruct<dyn T>？

  • 772
use std::marker::PhantomData;

trait SceneType {}

struct Scene<SceneType: ?Sized> {
    _phantom: PhantomData<SceneType>
}

pub enum SceneOne {}
impl SceneType for SceneOne {}

impl<SceneOne> Scene<SceneOne> {
    pub fn new() -> Self {
        Self {
            _phantom: Default::default()
        }
    }
}

fn main() {
    let scene = Scene::<SceneOne>::new();
    //works fine
    
    //1 let boxed_scene: Box<Scene<dyn SceneType>> = Box::new(Scene::<SceneOne>::new()); 
    // expected `Scene<dyn SceneType>`, found `Scene<SceneOne>` ... you could box the found value and coerce it to the trait object `Box<dyn SceneType>
    
    //2 let boxed_scene: Box<Scene<dyn SceneType>> = Box::new(scene) as Box<Scene<dyn SceneType>>; 
    // as` expression can only be used to convert between primitive types or to coerce to a specific trait object
}

游乐场链接

所以我最终来到这里的原因是我想要一个通用的新功能SceneType，并且具有可以在任何场景上运行的通用功能

impl<T: SceneType> Scene<T> {
    ...

我的问题是，由于列出的错误消息，我无法将这些类型装箱以将它们存储在向量中。2 的错误是有道理的，但据我所知，我试图将其强制转换为特定的特征类型。

rust

1 个回答

  1. Best Answer

    您违反了非常有限的非大小强制规则。

    从 sized 到 unsized 的强制转换，比如这里从 struct 到 trait，只在少数有限的情况下有效，这里值得关注：

    • 类型到特征，从而SceneOne到dyn SceneType。
    • Foo<Type>如果Foo<Trait>：
      1. 该类型实现了该特征。
      2. 类型参数仅在最后一个字段中出现一次。Foo
      3. 的最后一个字段Foo本身可以被强制转换为适当的未调整大小的值。

    例如，如果我定义：

    struct Scene<ST: ?Sized>(ST);

//  OR

struct Scene<ST: ?Sized>(Box<ST>);

    然后，由于所有点均已被勾选，因此无大小强制将会起作用。

    另一方面，根据您的定义：

    struct Scene<ST: ?Sized>(PhantomData<ST>);

    Scene<T>那么从到 的无大小强制转换Scene<U>只有在（第 3 点）时才有可能PhantomData<T>: Unsize<PhantomData<U>>，而事实并非如此。您可以看到它未在已实现的特征中列出。

    • 5

相关问题