C++中常量指针与非常量指针赋值结果与预期相反问题求解

认知矛盾来自两个核心偏差：一是混淆了指针/迭代器的两类const限定逻辑，二是误判了cbegin()返回值的const属性。

两类const的边界 #

指针和迭代器的const限定分为两种，赋值规则完全不同：

• 顶层const：限定指针/迭代器本身不可修改指向，对应写法int* const cp，这类变量初始化后不能再赋值修改存储的地址，也就是你认知里「不可改指向的常量指针」。
• 底层const：限定不能通过该指针/迭代器修改指向的内容，对应写法const int* p（等价于int const* p），这类指针/迭代器本身可以自由赋值修改指向，只是解引用后仅支持读操作，不支持写操作。

C++ const赋值兼容规则是固定的：允许将不带底层const的值赋值给带底层const的变量（隐式追加只读权限，无安全风险），反向赋值直接非法（移除只读权限会突破const约束，可能修改本应只读的内容）。
普通指针对应示例：

const int a = 0;
const int* cp = &a; // 带底层const，本身可改指向，禁止通过cp修改a的值
int* p;
p = cp; // 编译报错：若允许该操作，可通过*p = 1修改const修饰的a，违反const约束
cp = p; // 编译通过：给cp赋值普通int*仅追加了只读限制，不存在安全问题

测试代码的实际语义 #

你代码中的两个迭代器并非你理解的「常量指针/非常量指针」：

• v.cbegin()返回值类型为std::vector<int>::const_iterator，语义等价于前述带底层const的指针：迭代器本身支持修改指向，但禁止通过它解引用修改vector内元素，并非顶层const限定的「不可改指向的常量迭代器」。
• v.begin()返回值类型为std::vector<int>::iterator，语义等价于普通可写指针：本身支持修改指向，也可通过它修改对应元素。

二者的赋值行为完全符合底层const的赋值规则：

• cp = p：将可写的iterator隐式转换为只读的const_iterator，仅给访问权限追加只读限制，合法，编译器不报错。
• p = cp：试图将只读的const_iterator转换为可写的iterator，会突破const约束拿到元素写权限，属于非法操作，编译器直接报错。

如果要实现你最初认知里「不可修改指向的常量指针/常量迭代器」，需要对迭代器变量本身加const限定，即写为const auto cp = v.cbegin();或const auto p = v.begin();，此时才会触发「不能给常量变量赋值修改指向」的编译错误。

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