Question

我有一个特征，它代表可以通过UDP套接字发送的实体：

pub trait ToNetEnt {
    const NET_SIZE: usize;

    fn from_net(data: &[u8]) -> Self;
    fn to_net(&self) -> &[u8];
}

尽管有一个关联的常量NET_SIZE，但我不能在方法中使用它：

pub fn req<T: ToNetEnt>(&self) -> T {
    let buf: [u8; T::NET_SIZE];
}

因为它会导致此错误：

error[E0599]: no associated item named `NET_SIZE` found for type `T` in the current scope
  --> src/main.rs:10:23
   |
10 |         let buf: [u8; T::NET_SIZE];
   |                       ^^^^^^^^^^^ associated item not found in `T`
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `NET_SIZE`, perhaps you need to implement it:
           candidate #1: `ToNetEnt`

我可以在这种情况下使用关联的常量吗？

Answer 1

在撰写本文时，这是不可能的。但是，让我们首先修复您的代码：

pub fn req<T: ToNetEnt>(&self) -> T {
    let buf: [u8; <T as ToNetEnt>::NET_SIZE];
    ...
}

playground

这应该是正确的语法，但目前无法编译：

error[E0277]: the trait bound `T: ToNetEnt` is not satisfied
 --> src/main.rs:6:19
  |
6 |     let buf: [u8; <T as ToNetEnt>::NET_SIZE];
  |                   ^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `ToNetEnt` is not implemented for `T`
  |
  = help: consider adding a `where T: ToNetEnt` bound

这只是对该问题的错误错误消息。参见this comment on GitHub：

[U]使用关联的const作为数组大小似乎不起作用：
pub trait Can {
    const SIZE: usize;
}

fn f<T: Can>(t: T) {
    // error[E0277]: the trait bound `T: Can` is not satisfied
    let x = [0u8; <T as Can>::SIZE];
}
错误消息显然是错误的，因此这是rustc中的错误，或者是未实现的功能，导致了错误的错误消息。

直接在结构中定义const NET_SIZE时，可以解决此问题。

您可以在GitHub问题上了解有关此特定错误的更多信息：Array lengths don't support generic type parameters (#43408)。

Answer 2

要访问关联的常量，您需要使用以下较为繁琐的语法明确声明它来自哪个特征：<T as ToNetEnt>::NET_SIZE。

如何使用关联的常量来定义数组的长度？

2 个答案: