对称矩阵必须是方阵且满足Ai == Aj，判断时需先验证非空和方阵条件，再遍历上三角比较对应元素；浮点数需用epsilon容差比较并处理NaN。
对称矩阵的定义和判断逻辑
对称矩阵要求 A[i][j] == A[j][i] 对所有合法下标成立，且必须是方阵（行数 == 列数）。这不是简单的“行列互换相等”，而是严格要求矩阵为 n × n，且所有上三角元素与对应下三角元素一一相等。
常见错误是忽略方阵前提——比如传入 3×4 数组却直接开始比较，结果越界或漏判。C++ 中二维数组若用原生数组（如 int arr[10][10]）传递，列数必须在类型中固定；若用 std::vector<:vector>></:vector>，则需先校验尺寸。
用 std::vector 实现安全检查
推荐用 std::vector，因为尺寸可运行时获取，避免模板参数硬编码或指针衰减问题。
- 先检查是否为空：若
matrix.empty()或任意matrix[i].empty()，直接返回false - 再确认是方阵：检查
matrix.size() == matrix[0].size()，且每个子向量长度都等于matrix.size() - 只遍历上三角（含对角线），比较
matrix[i][j]和matrix[j][i]；跳过i == j也可，但包含更清晰
bool isSymmetric(const std::vector<std::vector<int>>& matrix) {
if (matrix.empty()) return false;
size_t n = matrix.size();
for (size_t i = 0; i < n; ++i) {
if (matrix[i].size() != n) return false;
}
for (size_t i = 0; i < n; ++i) {
for (size_t j = 0; j <= i; ++j) { // j <= i 覆盖上三角+对角
if (matrix[i][j] != matrix[j][i]) return false;
}
}
return true;
}原生 C 风格二维数组的注意事项
若函数参数是 int arr[10][10] 这类，编译器不检查实际大小，sizeof(arr) 会返回整个内存块字节数，不能靠它算维度。必须显式传入 n。
立即学习“C++免费学习笔记（深入）”；
- 声明函数时列数必须是常量表达式：
bool check(int arr[][10], int n)，不能写int arr[][] - 调用时若数组是
int a[5][5]，传参用check(a, 5)，但函数内仍按[10]解析列——越界风险高 - 更安全的做法是只传一维指针 + 手动计算索引：
check(&a[0][0], n)，然后用arr[i * n + j]访问
浮点数对称性判断要加误差容忍
如果矩阵元素是 double 或 float，直接用 == 比较大概率失败。必须引入 epsilon。
把核心比较逻辑改成：std::abs(matrix[i][j] - matrix[j][i]) > eps，其中 eps 通常取 1e-9（视数值量级调整）。注意 std::abs 对 double 有效，别漏了 #include <cmath>。
另外，NaN 会让所有比较返回 false，若数据可能含 NaN，需前置检查 std::isnan(matrix[i][j]) || std::isnan(matrix[j][i])。
