Rust结构体是否支持以值而非类型作为参数实现类C++模板效果

Rust 可以实现与你给出的C++示例完全等价的结构体，核心依靠const泛型特性，该特性从Rust 1.51版本开始正式稳定，原生支持在类型参数之外，使用编译期常量值作为参数对结构体做参数化。

等价实现代码 #

你给出的C++模板结构体：

template <int dim, class T>
struct Data
{
  std::array<T, dim> data_;
};

对应的Rust实现如下：

// 可根据需要添加所需的trait派生，和C++结构体行为完全对齐
struct Data<T, const DIM: usize> {
    data_: [T; DIM],
}

对应关系说明 #

• C++模板中的类型参数class T，直接对应Rust的泛型类型参数T
• C模板中的非类型值参数int dim，对应Rust的const泛型参数const DIM: usize。这里使用usize而非i32是因为Rust固定长度数组的长度要求为usize类型，不影响实际行为：DIM必须是编译期可确定的常量值，无法传入运行期可变的变量，和C非类型模板参数的约束完全一致
• C++的std::array<T, dim>对应Rust内置固定长度数组[T; DIM]，二者都是栈上存储、长度编译期固定、内存连续布局，行为完全等价

版本兼容说明 #

• 若使用1.51及以上的稳定版Rust，上述代码可以直接编译运行，不需要任何额外依赖，完全满足你需要的参数化能力
• 若使用1.51之前的旧版本Rust，const泛型尚未稳定，只能借助第三方库做类型级数值编码模拟实现，目前主流Rust工具链均已支持原生const泛型，推荐直接使用原生写法
• 当前稳定版Rust的const泛型仅支持整数、bool、char等基础const类型作为值参数，你示例中需要的数组长度场景完全在支持范围内；更复杂的自定义类型作为const参数的能力目前在开发中，尚未进入稳定版。

内容的提问来源于stack exchange，提问作者Massimiliano Martinelli