数组名默认退化为指针但类型仍是数组，sizeof和&下不退化；std::array/vector/string必须用data()获取首地址，空容器时&[0]未定义；c++17起推荐统一使用std::data()确保安全与泛型兼容。
数组名本身就是首地址指针，但类型容易出错
在 C++ 中，arr（假设 arr 是一个内置数组，如 int arr[5]）默认就是指向首元素的指针，但它的类型是“数组类型”，不是指针类型——这点常被忽略。直接赋值给 int* 通常能隐式转换，但用 decltype(arr) 查看会发现是 int[5]，而非 int*。
常见错误现象：auto p = arr; 得到的是 int*（因为自动推导做了退化），但 decltype(arr) 仍是数组类型；若传参时函数形参是 int*，传 arr 没问题，但若形参是 int(&)[5]，就不能传 &arr[0]。
-
&arr[0]明确取首元素地址，类型永远是int*（对int数组而言） -
arr在大多数表达式中会退化为int*，但 sizeof、& 运算符下不退化 - 用
std::addressof(arr[0])可规避重载&运算符的风险（极少数自定义类型场景）
std::array 的首地址必须用 data() 或 &a[0]
std::array 是类模板，不支持隐式退化为指针。a（std::array<int> a;</int>）本身不是指针，&a[0] 或 a.data() 才是获取首地址的正确方式。
使用场景：需要把 std::array 传给 C 风格 API（如 memcpy、OpenGL 的 glBufferData）时，必须显式取地址。
-
a.data()返回int*，空数组时返回合法但不可解引用的指针 -
&a[0]等价但更底层；若a为空，a[0]行为未定义，慎用 - 不能写
static_cast<int>(a)</int>—— 编译不过，std::array没提供指针转换构造
vector 和 string 的 data() 是唯一安全方式
std::vector 和 std::string 的内存连续（C++11 起保证），但它们的首地址**不能**用 &v[0] 或 &s[0] 在空容器时使用——因为 v[0] 对空 vector 是未定义行为。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
错误现象：程序在空容器时崩溃，或 AddressSanitizer 报 container-overflow。
- 始终优先用
v.data()：空时返回合法空指针，可安全传给memset等函数 -
&v[0]仅在!v.empty()时有效，需额外判断 -
v.begin().operator->()不推荐：语义不清，且begin()返回迭代器，不是原生指针
模板函数里统一用 std::data() 避免类型分支
C++17 引入了 std::data()，它对内置数组、std::array、std::vector、std::string 等都适用，返回原生指针，且对空容器安全。
性能影响：零开销抽象，std::data(arr) 展开就是 arr 或 arr.data()，无运行时成本。
-
std::data(arr)→arr（内置数组） -
std::data(a)→a.data()（std::array） -
std::data(v)→v.data()（std::vector） - 兼容性：C++17 起可用；若项目限 C++14，需手写重载或用 SFINAE 分支
最容易被忽略的是：即使你知道 arr 是内置数组，也别在模板里硬写 &arr[0]——万一实参是 std::vector 就编译失败。统一用 std::data(container) 是最省心且健壮的做法。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
