Eigen是纯头文件C++线性代数库，需正确配置包含路径并注意模板实例化与内存对齐；常用类型如MatrixXd、Vector3d等维度与标量类型须编译期确定，混用需显式转换；矩阵向量乘法失败主因是标量类型不一致或维度不匹配，应统一类型并检查尺寸；LU/QR/SVD分解需缓存对象、检查info()，SVD需显式指定U/V计算模式；Release崩溃多因SSE/AVX未对齐，应启用对应编译选项或改用堆分配。
Eigen 是纯头文件的 C++ 线性代数库，无需编译安装，直接 #include 就能用 —— 但前提是正确配置包含路径，且不能忽略模板实例化和内存对齐等隐性约束。
如何正确引入并声明常见矩阵类型
Eigen 不提供运行时动态类型，所有矩阵维度和标量类型必须在编译期确定。最常用的是 Eigen::MatrixXf（动态行/列 float）、Eigen::MatrixXd（double）、Eigen::Vector3d（固定大小向量）。
注意：MatrixXf 中的 X 表示“动态尺寸”，而 3 或 4 表示固定尺寸；混用会导致编译失败，比如把 Vector3d 直接赋给 VectorXd 需显式转换。
常见声明方式：
立即学习“C++免费学习笔记（深入）”；
#include <Eigen/Dense> <p>Eigen::MatrixXd A(3, 3); // 动态矩阵，3x3 Eigen::Vector3d b; // 固定向量，长度为3 Eigen::Matrix2f R; // 2x2 float 旋转矩阵（栈上分配）</p>
为什么 matrix * vector 有时编译失败
典型错误是维度不匹配或标量类型不一致：比如 MatrixXd * Vector3f 会失败，因为 double 和 float 无法隐式混合；又或者 A * b 中 A.cols() != b.size()，Eigen 在编译期就报错，提示类似 "YOU_MIXED_DIFFERENT_NUMERIC_TYPES__YOU_NEED_TO_USE_THE_CAST_METHOD_OF_MATRIXBASE_TO_CAST_NUMERIC_TYPES_EXPLICITLY"。
解决方法：
- 统一标量类型：全部用
double或显式 cast，如A.cast<float>() * b.cast<float>() - 检查乘法顺序与维度：左矩阵列数必须等于右向量行数，
A * b要求A.cols() == b.size() - 避免裸指针传参：Eigen 对临时对象有表达式模板优化，但若函数参数是
const Eigen::VectorXd&，传入vec.head(n)这类 block 表达式可能触发断言失败，应改用Eigen::Ref<const Eigen::VectorXd>
如何安全调用 LU / QR / SVD 分解
Eigen 的分解对象不是“即用即弃”的工具，而是持有输入矩阵的引用或副本，且部分分解（如 FullPivLU）不支持非满秩矩阵的求逆，而 ColPivHouseholderQR 更鲁棒。
关键点：
-
matrix.lu().solve(rhs)是便捷写法，但内部每次调用都新建分解对象 —— 频繁求解同一矩阵应缓存分解实例 - SVD 默认是
ComputeThinU | ComputeThinV，若需要完整 U/V，必须显式指定Eigen::ComputeFullU | Eigen::ComputeFullV - 分解后务必检查
info() == Eigen::Success，尤其对病态矩阵，rank()和singularValues()只在成功后有效
示例：
Eigen::ColPivHouseholderQR<Eigen::MatrixXd> qr(A);
if (qr.info() == Eigen::Success) {
Eigen::VectorXd x = qr.solve(b);
} else {
// 处理秩亏或数值失败
}
为什么 Release 模式下程序崩溃而 Debug 正常
最常见原因是未启用 SSE/AVX 对齐，或在栈上创建了未对齐的动态矩阵（如 MatrixXf 在某些编译器+优化级别下要求 16 字节对齐）。Debug 模式往往禁用向量化，掩盖了问题。
解决方案：
- 编译时加
-march=native（GCC/Clang）或/arch:AVX2（MSVC），并定义EIGEN_DONT_VECTORIZE排查是否为向量化导致 - 对栈上大矩阵，改用堆分配：
std::unique_ptr<Eigen::MatrixXd> A = std::make_unique<Eigen::MatrixXd>(1000, 1000); - 全局启用对齐：在包含 Eigen 前定义
#define EIGEN_DONT_ALIGN（仅调试用），或确保所有自定义结构体满足对齐要求
真正麻烦的从来不是“怎么算”，而是“谁 owns 内存”“在哪对齐”“什么时候才真正计算”——这些在模板展开后才暴露，且调试信息极少。
