Day 59: std.vec模块：向量数学

1. 引言：几何与图形的基石

向量是在几何、物理和计算机图形学中无处不在的基本数学构造。它们用于表示位置、方向、速度和力等。Zig的std.vec模块提供了一套强大而直观的API，用于处理2D、3D和4D向量。

这个模块利用了Zig的@Vector类型和comptime能力，生成了高度优化的代码，在许多情况下可以利用CPU的SIMD（单指令多数据）指令集来并行执行计算。

2. 定义：Vec(N, T)

std.vec中的核心是泛型Vec(N, T)函数，它返回一个向量类型：

• N: 向量的分量数量（维度），通常是2、3或4。
• T: 每个分量的类型，通常是f32（用于图形和模拟）或i32（用于坐标）。

std.vec为常用组合提供了方便的别名：

• Vec2f = Vec(2, f32)
• Vec3f = Vec(3, f32)
• Vec4f = Vec(4, f32)

创建一个向量很简单：

const std = @import("std");
const vec = std.vec;

// 创建一个2D浮点向量
const pos: vec.Vec2f = .{ 10.0, 20.0 };

// 向量可以像数组一样访问
std.debug.print("X: {}, Y: \n", .{pos[0], pos[1]});

3. 核心操作

std.vec模块重载了标准算术运算符，使得向量运算非常自然。

• 加法 (+) 和减法 (-): 分量对分量进行运算。
• 标量乘法 (*) 和除法 (/): 将向量的每个分量与一个标量值进行运算。
• 点积 (dot): 返回两个向量的点积（一个标量）。
• 叉积 (cross): 对于3D向量，返回它们的叉积（一个新的3D向量）。
• 长度/模 (mag) 和归一化 (norm)

const v1: vec.Vec3f = .{ 1, 2, 3 };
const v2: vec.Vec3f = .{ 4, 5, 6 };

const sum = v1 + v2; // .{ 5, 7, 9 }
const scaled = v1 * 2.0; // .{ 2, 4, 6 }

const dot_product = vec.dot(v1, v2); // 1*4 + 2*5 + 3*6 = 32

const cross_product = vec.cross(v1, v2); // .{ -3, 6, -3 }

const length = vec.mag(v1); // sqrt(1^2 + 2^2 + 3^2)
const normalized_v1 = vec.norm(v1);

4. 示例：2D对象的简单移动

向量数学是模拟物体运动的基础。下面是一个简单的例子，演示如何更新一个2D对象的位置。

const std = @import("std");
const vec = std.vec;

var position: vec.Vec2f = .{ 100.0, 100.0 };
var velocity: vec.Vec2f = .{ 10.0, -5.0 }; // 移动速度和方向
const delta_time: f32 = 0.016; // 假设每帧的时间

// 更新位置
position += velocity * delta_time;

std.debug.print("New position: {any}\n", .{position});

5. 实践练习：简单的物理模拟

扩展上面的例子，模拟一个受重力影响的球。你需要：

1. 一个表示重力的Vec2f（例如{ 0.0, 9.8 }）。
2. 在每一帧中，用重力更新球的速度。
3. 用更新后的速度更新球的位置。

6. 常见问题

• 精度问题 当使用浮点数（如f32）时，要注意潜在的精度问题。长时间的模拟可能会累积微小的浮点误差。在需要高精度的场景（如金融计算），应避免使用浮点向量。

• SIMD是如何工作的？ SIMD（单指令多数据）是现代CPU的一项功能，允许对多个数据点（例如向量的4个f32分量）同时执行相同的操作（如加法或乘法）。Zig的@Vector类型直接映射到这些硬件特性。当你写v1 + v2时，编译器可以将其转换为一条单一的SIMD指令，从而获得显著的性能提升。

• 如何进行矩阵乘法？ std.vec模块本身只关注向量。对于矩阵运算，你需要查看std.math.mat模块，它建立在std.vec之上，提供了矩阵的定义和操作（如矩阵-向量乘法和矩阵-矩阵乘法），这对于3D变换至关重要。

7. 总结：Quat扩展

std.vec为Zig带来了符合人体工程学且高性能的向量数学。它是构建更复杂系统（如图形渲染器、物理引擎和游戏逻辑）的基础。除了向量，std.math还提供了处理旋转的Quat（四元数）类型，它与向量紧密配合，共同构成了现代3D数学的支柱。掌握std.vec是进入Zig中令人兴奋的图形和模拟世界的敲门砖。