主页 / coding / 问题 / 78082942
Accepted
Mad Physicist
Asked: 2024-03-01 00:30:08 +0800 CST

访问通用结构的字段声明中的关联内容

  • 772

我有一个具有关联常量的标签特征：

trait Trait {
    const N: usize;
}

我有一个通用的类型，受特征限制。我希望能够N在声明中使用：

struct S<T: Trait> {
    field: [f64; T::N],
}

我的期望是，对于Trait指定的任何实现N，我都可以有一个S包含那么多浮点数的数组。相反，我收到以下编译器错误：

error: generic parameters may not be used in const operations
 --> src/main.rs:8:18
  |
8 |     field: [f64; T::N],
  |                  ^^^^ cannot perform const operation using `T`
  |
  = note: type parameters may not be used in const expressions

error[E0392]: parameter `T` is never used
 --> src/main.rs:7:10
  |
7 | struct S<T: Trait> {
  |          ^ unused parameter
  |
  = help: consider removing `T`, referring to it in a field, or using a marker such as `PhantomData`

For more information about this error, try `rustc --explain E0392`.

虽然我理解错误本身，但我不明白其原因或如何解决它。

generics

3 个回答

  1. Best Answer

    使用关联类型的另一种解决方案是使用typenum整数：

    use nalgebra::base::dimension::{ToConst, U1};
use nalgebra::base::storage::{IsContiguous, RawStorageMut, Storage};
use nalgebra::base::{Matrix, Scalar};

trait ToVectorArrayStorage: ToConst {
    type ArrayStorage<T: Scalar>: RawStorageMut<T, <Self as ToConst>::Const>
        + Storage<T, <Self as ToConst>::Const>
        + IsContiguous;
}

macro_rules! impl_to_vector_array_storage {
    ( $( $num:literal => $typenum:ident, )* ) => {
        $(
            impl ToVectorArrayStorage for typenum::$typenum {
                type ArrayStorage<T: Scalar> = nalgebra::base::ArrayStorage<T, $num, 1>;
            }
        )*
    }
}
impl_to_vector_array_storage! {
    0=>U0, 1=>U1, 2=>U2, 3=>U3, 4=>U4, 5=>U5, 6=>U6, 7=>U7, 8=>U8, 9=>U9, 10=>U10,
    11=>U11, 12=>U12, 13=>U13, 14=>U14, 15=>U15, 16=>U16, 17=>U17, 18=>U18,
    19=>U19, 20=>U20,
}

trait Trait {
    type N: ToVectorArrayStorage;
}

type TypenumVector<T, N> =
    Matrix<T, <N as ToConst>::Const, U1, <N as ToVectorArrayStorage>::ArrayStorage<f64>>;

struct S<T: Trait> {
    field: TypenumVector<f64, T::N>,
}

    游乐场。

    • 1

  2. 虽然并不理想，但我已将 Chayim Friedman 的评论作为可能的解决方案。它可以是存储类型本身，而不是使关联类型成为指示元素数量的常量：

    trait Trait {
    type Buffer;
}

struct S<T: Trait> {
    field: T::Buffer,
}
    • 0

  3. 需要traitanimpl来定义它const N。

    尝试这个：

    trait MyTrait {
    const NN: usize;
}

struct MyStruct {
    abc: [f64; <MyStruct as MyTrait>::NN],
}

impl MyTrait for MyStruct {
    const NN: usize = 4;
}

fn use_nn<T: MyTrait>(_t: &T) -> usize {
    T::NN
}

fn main() {
    let a = MyStruct { abc: [1. ,2., 3., 4.] };
    let v = use_nn(&a);
    
    assert_eq!(v, 4); // passes
    assert_eq!(a.abc[0], 1.0); // passes
    
    let a = MyStruct { abc: [1. ,2., 3., 4., 5.] };
    /// error: ^^^^^^^^^^^^^^^^^^^^ expected an array with a fixed size of 4 elements, found one with 5 elements

}
    • 0

相关问题