为何仅pointer->field在范围for中触发Clang-Tidy数组转指针衰减警告？

在Clang-Tidy 13.x及16.x版本中，通过指针访问结构体数组成员并使用范围for循环时，会触发cppcoreguidelines-pro-bounds-array-to-pointer-decay警告，但其他数组访问方式（局部数组、全局数组、直接访问结构体成员、数组引用）均无此警告。以下是对两个核心问题的解释：

代码示例 #

int main() {
    int local[] { 1, 2, 3 };

    static int global[] { 1, 2, 3 };

    struct Wrapper {
        int field[3] { 1, 2, 3 };
    } wrapper;

    Wrapper *pointer = &wrapper;

    int (&reference)[3] = pointer->field;

    for (int i : local);
    for (int i : global);
    for (int i : wrapper.field);
    for (int i : pointer->field);
    for (int i : reference);
}

警告输出 #

$ clang-tidy-16 main.cpp --checks='-*,cppcoreguidelines-pro-bounds-array-to-pointer-decay'
(...)
main.cpp:16:13: warning: do not implicitly decay an array into a pointer; consider using gsl::array_view or an explicit cast instead [cppcoreguidelines-pro-bounds-array-to-pointer-decay]
        for (int i : pointer->field);
                   ^

问题解析 #

1. 为什么只有pointer->field触发警告？ #

C++中数组表达式的值类别决定了是否触发隐式退化：

• local、global、wrapper.field是左值数组：左值数组在范围for等上下文会保留原始数组类型，不会触发隐式退化。
• pointer->field是纯右值（prvalue）数组：通过指针访问结构体数组成员时，表达式结果为prvalue数组。根据C++标准，数组类型的prvalue无法直接使用，会被立即隐式退化为指针——Clang-Tidy的该检查正是捕捉到这个隐式转换，因此触发警告。
• reference是数组引用类型，不属于数组表达式范畴，自然不会触发警告。

2. 为什么数组退化为指针后范围for仍能正常工作？ #

这是Clang-Tidy警告逻辑与编译器实际处理的差异：

• 范围for循环初始化时，会将遍历表达式的结果绑定到auto&&类型的临时变量__range。对于prvalue数组，auto&&会推导为数组的右值引用（如int(&&)[3]），完整保留了数组的长度信息。
• 编译器通过该数组引用直接获取数组的起始地址和结束地址（__begin = __range，__end = __range + 3），因此范围for循环可以正常遍历整个数组，不会因“退化”丢失长度信息。

内容的提问来源于Stack Exchange，提问作者OLEGSHA