从常量泛型类型创建别名类型

Question

警告:这是“夜锈”。您需要执行以下命令行操作：rustup default nightly (并使用rustup default stable返回到之前的配置)

我想从另一个类型定义一个类型。如果我从一个常量泛型类型创建一个类型(见1)，它就能工作。但是如果我从另一个常量泛型类型创建一个常量泛型类型，它就不能工作(见2)

我该怎么办？

#![feature(const_generics)]

struct Board<T, const WIDTH: usize, const HEIGHT: usize> {
    array: [[T; WIDTH]; HEIGHT],
}

type a = Board<i32,3,3>; // works (1)

type SquareBoard<T, const Dim: usize> = Board<T,WIDTH=Dim,HEIGHT=Dim>;  // doesn't work (2)

Answer 1

我认为您不必拼写const参数名称(就像您不拼写类型参数名称一样)：

#![feature(const_generics)]

struct Board<T, const WIDTH: usize, const HEIGHT: usize> {
    array: [[T; WIDTH]; HEIGHT],
}

type a = Board<i32,3,3>; // works (1)

type SquareBoard<T, const Dim: usize> = Board<T, Dim, Dim>;  // works (2)