是否可以使用 Rust 的宏/语法扩展使用静态原语执行计算？

Question

我很好奇是否可以对返回其他静态基元的静态基元执行编译时计算。

例如，类似这样的东西：

static FOUR: uint = add!(2u, 2u);
static FORTY_TWO: f32 = div!(84f32, 2f32);
static CHANNELS: uint = 2;
static FRAMES: uint = 256;
static BUFFER_SIZE: uint = mul!(CHANNELS, FRAMES);

如果可能的话，我们将如何处理？

Answer 1

是的，它们在编译时进行评估，而无需编写宏或语法扩展。

作为证明，以下代码：

static FOUR: uint = 2u + 2u;
static FORTY_TWO: f32 = 84f32 / 2f32;
static CHANNELS: uint = 2;
static FRAMES: uint = 256;
static BUFFER_SIZE: uint = CHANNELS * FRAMES;

导致此LLVM IR:

@_ZN4FOUR20h8a0d12679f3ae402gaaE = internal constant i64 4
@_ZN9FORTY_TWO20h4316db579aa4eb4fmaaE = internal constant float 4.200000e+01
@_ZN8CHANNELS20h8a0d12679f3ae402saaE = internal constant i64 2
@_ZN6FRAMES20h8a0d12679f3ae402waaE = internal constant i64 256
@_ZN11BUFFER_SIZE20h8a0d12679f3ae402AaaE = internal constant i64 512

希望它能有所帮助。