Розклад масиву у вказівник в range-for: чому так відбувається згідно з clang-tidy?

8 Березня 2024 в 15:56 42

У версіях 13.x та 16.x clang-tidy виявляє порушення cppcoreguidelines-pro-bounds-array-to-pointer-decay у дивно специфічній ситуації: при ітерації по масиву, до якого звертаються через вказівник. Чому це відбувається? Як range-for може працювати після того, як масив перетворився на вказівник?

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);
                   ^

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);

Чому лише