rust中的类型“”没有实现“core:：gends:：Sized”的特性是什么？

Question

我希望这能奏效：

trait Task<R, E> {
  fn run(&self) -> Result<R, E>;
}

mod test {

  use super::Task;

  struct Foo;
  impl<uint, uint> Task<uint, uint> for Foo {
    fn run(&self) -> Result<uint, uint> {
      return Err(0);
    }
  }

  fn can_have_task_trait() {
    Foo;
  }
}

fn main() {
  test::can_have_task_trait();
}

...但它没有：

<anon>:10:3: 14:4 error: the trait `core::kinds::Sized` is not implemented for the type `<generic #0>`
<anon>:10   impl<uint, uint> Task<uint, uint> for Foo {
<anon>:11     fn run(&self) -> Result<uint, uint> {
<anon>:12       return Err(0);
<anon>:13     }
<anon>:14   }
<anon>:10:3: 14:4 note: the trait `core::kinds::Sized` must be implemented because it is required by `Task`
<anon>:10   impl<uint, uint> Task<uint, uint> for Foo {
<anon>:11     fn run(&self) -> Result<uint, uint> {
<anon>:12       return Err(0);
<anon>:13     }
<anon>:14   }
<anon>:10:3: 14:4 error: the trait `core::kinds::Sized` is not implemented for the type `<generic #1>`
<anon>:10   impl<uint, uint> Task<uint, uint> for Foo {
<anon>:11     fn run(&self) -> Result<uint, uint> {
<anon>:12       return Err(0);
<anon>:13     }
<anon>:14   }
<anon>:10:3: 14:4 note: the trait `core::kinds::Sized` must be implemented because it is required by `Task`
<anon>:10   impl<uint, uint> Task<uint, uint> for Foo {
<anon>:11     fn run(&self) -> Result<uint, uint> {
<anon>:12       return Err(0);
<anon>:13     }
<anon>:14   }
error: aborting due to 2 previous errors
playpen: application terminated with error code 101
Program ended.

游戏Geofence：http://is.gd/kxDt0P

那么，发生了什么事？

我不知道这个错误是什么意思。

是因为我使用的是Result，而这要求U，V不是大小的吗？在这种情况下，它们的尺寸为何？我没有写：

Task<Sized? R, Sized? E>

所有泛型现在都是动态调整大小还是什么？（在这种情况下，大小是什么？甚至是什么意思？）

怎么回事啊？

Answer 1

Rust不提供“泛型专门化”：您将您的特性定义为任务

仅使用特定类型（如您尝试使用

例如，如果你写了：

trait Foo<R> {}

struct Bar;

struct Baz;

impl<Baz> Foo<Baz> for Bar {}

您不应该期望实现区中的Baz与struct Baz相同：它被隐藏，就像函数的var参数将隐藏var全局变量一样。

然而，当您使用原始类型执行此操作时，却获得了这个神秘的错误消息，而不是简单的阴影，这可能是一个错误，您应该有阴影或更清晰的错误消息。

Answer 2

你只需要删除

impl Task<uint, uint> for Foo { ... }

我认为您所遇到的错误是编译器对未使用的类型参数感到困惑。此超级精简版本也会出现这种情况：

trait Tr {}
impl<X> Tr for () {}