std::array::data() 返回 T 或 const T 类型指针,指向内部首元素,等价于 &arr[0] 但空数组时安全、const-aware 且语义清晰。

std::array::data() 返回什么类型
std::array::data() 返回指向其内部连续存储首元素的原生指针,类型为 T*(非 const 场景)或 const T*(const 对象调用时)。它不进行拷贝、不分配内存,只是暴露底层 C 风格数组的地址,和 &arr[0] 等价但更语义清晰。
注意:即使 std::array 为空(N == 0),data() 仍返回合法指针(指向“逻辑首地址”,可安全用于传参,但解引用未定义)。
什么时候必须用 data() 而不是 &arr[0]
当对接 C 接口、旧式 API 或需要明确传递“可变原生指针”时,data() 更可靠。尤其在模板上下文中,&arr[0] 可能因 arr 是 const 引用而推导出 const T*,但若函数形参是 T*,编译失败;而 arr.data() 在 const 对象上调用返回 const T*,类型匹配更直观。
- 对接
void foo(int*, size_t)这类 C 函数时,直接传arr.data() - 传给
std::span构造时,std::span(arr.data(), arr.size())明确且无歧义 - 避免
&arr[0]在空 array 上触发未定义行为(虽然多数实现允许,但标准不保证)
data() 的常见误用与陷阱
data() 返回的是栈上内存地址,生命周期完全绑定于 std::array 对象本身。一旦对象析构,指针立即悬空——这点和 std::vector::data() 不同(后者可能指向堆内存,但同样会失效)。
立即学习“C++免费学习笔记(深入)”;
典型错误:
- 返回局部
std::array的data()指针(如return arr.data();)→ 悬空指针 - 对临时
std::array调用data()并保存指针:auto p = std::array→ 临时对象销毁后{1,2,3}.data(); p失效 - 忽略 const 正确性:用非 const
std::array的data()传给只读接口,虽能编译,但破坏接口契约
正确做法:确保指针使用期间,原 std::array 对象存活且作用域可见。
对比其他获取原生指针的方式
除 data() 外,还有几种常见写法,适用场景和风险不同:
std::arrayarr = {1, 2, 3, 4}; // ✅ 推荐:语义清晰、空安全、const-aware int* p1 = arr.data();
// ⚠️ 可用但不够健壮:&arr[0] 在空 array 时行为未定义(C++17 起标准允许,但非所有编译器/标准库都严格支持) int* p2 = &arr[0];
// ❌ 危险:取地址操作符作用于临时对象,生命周期极短 int* p3 = &std::array
{1,2}[0]; // 悬空! // ✅ 合法但绕远:等价于 data(),但多一次下标访问开销(优化后通常消失) int* p4 = arr.begin().base(); // 仅适用于 std::array,非通用
真正需要原生指针时,优先选 data();若需迭代器接口,用 begin()/end();别为了“看起来像 C”而手动算地址或滥用 &arr[0]。
最易被忽略的一点:std::array 的 data() 指针不能跨线程长期持有——除非你确保该对象是 static 或全局生命周期,且无并发写入。否则,哪怕只是读,也得靠同步机制保护对象生存期。











