涉及数组时，在C++中调用返回C数组指针的C API是否安全？

这个问题精准戳中了C和C++在数组语义上的核心差异，我来给你拆解清楚：

核心结论：标准层面是未定义行为（UB），工程实践大多可正常运行 #

严格按照C++17标准（n4659）的[expr.add]条款来看，你代码里的elts[i]（本质等价于*(elts + i)）属于未定义行为，但在实际项目中，绝大多数编译器会兼容C的语义，让这段代码正常工作。

为什么标准判定为UB？ #

C++对“数组对象”有非常严格的定义：只有通过数组定义语句（比如Elt arr[10];）、new[]表达式，或者少数编译器扩展创建的对象，才算标准意义上的数组对象。

而C库返回的连续内存块，哪怕里面是连续的POD类型Elt，只要不是C++标准定义的数组对象，基于返回指针的算术运算就违反了[expr.add]的要求：

指针算术仅允许在同一个数组对象的范围内进行（包括指向数组最后一个元素的下一个位置），超出这个范围的指针算术行为未定义。

你补充的模拟代码就是典型的反例：getElts返回的指针指向的是用placement new逐个构造的Elt对象——这些对象虽然在内存上连续，但并没有构成一个C++数组对象。此时elts[i]的指针算术完全符合标准中UB的判定条件。

工程上的可行方案 #

虽然标准上是UB，但因为C库的内存通常由malloc分配，且Elt是POD类型（布局和C完全兼容），几乎所有主流编译器都会按C的规则处理这段内存，允许你当作数组访问。如果想尽量贴近标准，避免UB风险，可以试试这两种写法：

1. 字节偏移+reinterpret_cast #

绕开指针算术，直接通过字节地址偏移来访问对象：

for(size_t i=0; i<nelts; i++) {
    char* base = reinterpret_cast<char*>(elts);
    Elt* current = reinterpret_cast<Elt*>(base + i * sizeof(Elt));
    std::cout << current->ival << " ";
}

这种方式利用了POD类型的布局兼容性，标准明确允许通过字节地址的方式访问POD对象的存储。

2. C++20及以后用std::span封装 #

std::span可以用来封装连续存储的视图，虽然标准没有明确要求底层必须是C++数组对象，但它的设计就是为了兼容这种连续内存场景：

#include <span>
// ...
std::span<Elt> elts_span(elts, nelts);
for(const auto& elt : elts_span) {
    std::cout << elt.ival << " ";
}

这是一种更现代、更安全的写法，编译器对std::span的支持也普遍很好。

总结 #

• 标准视角：只要返回的指针不指向C++数组对象，指针算术就是未定义行为。
• 工程视角：对于C库返回的连续POD内存，实际使用中几乎不会出问题。
• 严谨写法：优先用字节偏移+reinterpret_cast，或者C++20的std::span。

内容的提问来源于stack exchange，提问作者Serge Ballesta