C++无Clifford代数标准支持，需用第三方库（如clifford）或手动实现；二维刚体变换推荐CGA2D模型，注意motor归一化、基向量命名及几何积与外积区别，维度须编译期固定。
Clifford algebra 在 C++ 里没有标准库支持
别指望 std:: 里冒出个 clifford::multivector。C++ 标准库至今不提供几何代数原语，连基本的外积（wedge）或几何积（geometric_product）都没有。你得靠第三方库，或者自己手撸——但后者极容易在基向量排序、符号规则、维度扩展上翻车。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 优先考虑
ganja.js的 C++ 移植版（如clifford库，GitHub 上有轻量实现），而非从零写代数引擎 - 避免用
std::complex或std::valarray模拟 multivector：它们不表达基底关系，1^e1^e2和e2^e1^1会算成同一数组索引，但实际该差一个负号 - 若必须自制，用
std::array<double, 1<<N>存储各 grade 分量（N 是向量空间维数），再配一张预计算的signature_table[N][N]处理e_i * e_j符号
用 clifford 库做二维平面刚体变换
这是最常踩坑的使用场景：想用 GA 表达旋转+平移，结果写出的 motor 在复合时顺序错、归一化漏、对偶部分没屏蔽——最后坐标全飘了。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 二维欧氏空间用
CGA2D（conformal model），不是PGA2D：前者用 5D 向量表示点/线/圆，天然支持平移；后者虽更紧凑但平移需额外构造 -
motor必须用normalize()，否则motor * point * reverse(motor)会缩放坐标（几何积不保模） - 别直接用
e0和eo（注意大小写）：库中通常用e_0表示无穷远点，eo可能是未定义变量，编译报‘eo’ was not declared in this scope - 示例片段：
auto p = point(1.0, 2.0); // 映射到 CGA auto R = rotor(M_PI/4); // 绕原点转45° auto T = translator(3.0, 0.0); // 沿x平移3 auto M = T * R; // 注意顺序：先转后移 auto p_moved = M * p * reverse(M);
geometric_product 和 outer_product 别混用
看到 a ^ b 就以为是叉积？错。在 3D 向量空间里，e1 ^ e2 是二重向量（bivector），不是标量也不是 vec3；而 e1 * e2（几何积）还包含标量部分（若度规为正交则为0），但一旦空间含时间维（如时空代数 STA），e0 * e1 就真有非零标量项。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 明确你的代数签名（signature）：用
Cl(3,0,0)（纯空间）还是Cl(1,3,0)（时空）？签名不同，e_i * e_j的符号和是否含标量项都变 -
outer_product(a,b)严格返回 grade(a)+grade(b) 分量；geometric_product(a,b)返回所有 grade 分量混合——调试时用.grades()或打印.to_string()看分解 - 性能上，
outer_product可跳过标量/向量部分计算，比完整几何积快 20–40%，但仅当确定不需要低 grade 项时才换
编译期维度固定 vs 运行时动态维度
几乎所有 C++ GA 库（包括 versor、ganja-cpp）都要求维度在编译期确定，比如模板参数 <int N>。你想临时切到 4D 射影空间？得改模板实例、重新编译——没法像 Python 的 clifford 那样 Cl(4) 一行搞定。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 用
constexpr if+ 模板特化区分常用维度（Cl,Cl,Cl），避免运行时分支损耗 - 别试图用
std::vector<double>扛任意维 multivector：索引映射逻辑（如 bit mask → grade → basis index）在运行时算太慢，且无法做 constexpr 优化 - 如果真要动态维数，接受代价：用
std::map<uint64_t, double>存非零基分量（key 是 bitset 编码），但放弃所有 SIMD 和缓存友好性
真正难的不是写出 rotor * vector * reverse(rotor)，而是确保整个代数系统的 signature、基序约定、归一化策略，在头文件、矩阵转换、外部数据输入这三处完全一致。差一个符号，旋转就变镜像；少一次 normalize，连续十次变换后点就飞出银河系。
