const_cast与可变和未定义的行为

问：

编辑：我在这里编辑了代码以不使用指针，因为有太多不相关的评论

#include <iostream>

struct Foo {
    Foo(const int a) : total(a) {}

    int       index = 0;
    const int total;
};

struct Bar {
    Bar(const int a) : total(a) {}

    mutable int index = 0;
    const int   total;
};

int main() {
    const Foo foo(3);
    for (
        ;
        foo.index < foo.total;
        const_cast<Foo*>(&foo)->index++ // 1. Undefined behavior because foo is const
    )
        std::cout << "Foo " << foo.index << std::endl;

    const Bar bar(3);
    for (
        ;
        bar.index < bar.total;
        bar.index++ // 2. Not undefined behavior because of mutable?
    )
        std::cout << "Bar " << bar.index << std::endl;

    return 0;
}

据我所知，标记为 的行是未定义的行为，因为是一个对象，无论如何都用于修改对象// 1. Undefined behavior because foo is constfooconstconst_cast

但是，我不确定是否存在与标有 .它本质上是通过使用而不是// 2. Not undefined behavior because of mutable?mutableconst_cast

那么我的问题是，是否存在具有成员的对象会导致未定义行为的情况constmutable