C语言循环中指向数组起始前的指针：是否存在未定义行为？

1. 是否存在未定义行为？ #

是，这种写法存在未定义行为。

根据C标准的指针操作规则：

• 仅允许指针指向数组的元素，或者数组最后一个元素的下一个位置（尾后指针），这类指针的比较、加减操作是定义良好的，即便不解引用也合法。
• 但指向数组第一个元素之前位置的指针，属于超出标准允许的指针范围，哪怕不对其解引用，这种指针的生成和后续的比较操作（curr <= last）都属于未定义行为——编译器可以自由处理这种情况，可能产生不可预料的结果（比如优化时直接忽略循环逻辑，甚至触发奇怪的运行时问题）。

当get_num_of_data_objects()返回0时，last = first - 1恰好生成了指向数组首元素之前的指针，触发了上述未定义行为。

2. 是否属于不良实践？ #

毫无疑问是不良实践：

• 它依赖编译器的非标准行为，代码可移植性极差，换个编译器或优化等级就可能出问题。
• 逻辑可以更严谨，完全有合法的方式避免生成非法指针。

优化后的合法写法 #

推荐改用尾后指针的循环方式，完全符合C标准，同时逻辑清晰：

data_object_t *first = get_first(dev);
size_t obj_count = get_num_of_data_objects(dev);
for (data_object_t *curr = first; curr < first + obj_count; curr++) {
    // process *curr
}

当obj_count为0时，first + obj_count就是first本身，循环条件curr < first不成立，直接跳过循环，全程没有生成任何非法指针，安全且易读。

或者先判断元素数量再处理：

size_t obj_count = get_num_of_data_objects(dev);
if (obj_count == 0) {
    // 无元素需要处理，直接返回或跳过
    return;
}
data_object_t *first = get_first(dev);
data_object_t *last = first + obj_count - 1;
for (data_object_t *curr = first; curr <= last; curr++) {
    // process *curr
}

内容的提问来源于stack exchange，提问作者so.very.tired