struct - 可以在 Rust 中对同构结构/元组的所有成员进行操作吗？

Question

我有一个带有 add 运算符的向量:

use std::ops::Add;

struct float2(f64, f64);

impl Add for float2 {
    type Output = float2;

    fn add(self, _rhs: float2) -> float2 {
        float2(self.0 + _rhs.0,
               self.1 + _rhs.1)
    }
}

是否可以将其写成对 3D 或 4D 矢量也适用的方式？

例如:struct float2(f64, f64, f64);

我设法添加了一个 Index 运算符，以及一个为每种类型返回静态值的 len 方法，但这感觉有点麻烦。我没有检查程序集，但它可能会检查所有索引访问，这对于如此低级别的操作来说似乎是不必要的。

我也可以打包结构并使用直接不安全的内存访问，但这似乎也不是最佳选择。

有没有更方便的方法来编写处理结构的所有元素的表达式？

Answer 1

不，这是不可能的。可能的是编写将编写所需代码的代码。这称为元编程。在 Rust 中，元编程有两个主要途径:构建脚本和宏。编译器插件也存在，但要复杂得多。

Rust 标准库使用宏来实现从 0 到 32 的数组和元组的特征，因此它当然是一种可以接受的模式。您应该首先写出一些案例，看看每次迭代有何不同，然后从中提取一个宏。

进一步阅读:

• Macros in The Rust Programming Language
• The Little Book of Rust Macros