- 正确答案：以下是一个典型的考察 const 作用域和语义的 C++ 代码片段，其中包含 4 个编译错误（以 g++/clang 标准编译器为准，C++17 或以上）： ```cpp #include using namespace std; class Test { int x; mutable int cache; public: Test(int v) : x(v), cache(0) {} void setX(int v) { x = v; } int getX() const { return x; } void updateCache() const { cache = x * 2; // ✅ OK: mutable 成员可在 const 成员函数中修改 } void print() const { cout << "x=" << x << ", cache=" << cache << endl; } }; int main() { const Test t(5); t.setX(10); // ❌ 错误1：调用非常量成员函数，但 t 是 const 对象 int val = t.getX(); // ✅ OK：getX 是 const 成员函数 t.updateCache(); // ✅ OK：updateCache 是 const 成员函数，且只修改 mutable 成员 t.x = 20; // ❌ 错误2：直接访问并修改 const 对象的非 mutable 数据成员 const int* p = &t.x; // ✅ OK：取地址没问题 *p = 30; // ❌ 错误3：通过 const 指针解引用赋值 —— 试图修改只读内存（未定义行为，但编译器通常报错） int* q = const_cast(&t.x); // ✅ const_cast 合法（但危险） *q = 40; // ❌ 错误4：虽能编译（const_cast 解除了 const），但修改 const 对象的非 mutable 成员是未定义行为（UB），现代编译器如 GCC/Clang 在 -O2 下可能优化掉该写入，或在启用 -fsanitize=undefined 时崩溃；严格来说，**此行不构成“编译错误”，而是运行时 UB** —— 所以需替换为更明确的第4个编译错误 → 更正第4个编译错误（确保全部为编译期拒绝）： const Test& ref = t; ref.setX(100); // ❌ 错误4：同错误1，通过 const 引用调用非常量成员函数 // 或更典型地： const int ci = 42; int* pi = &ci; // ❌ 错误4（经典）：不能用非常量指针绑定 const 变量的地址（类型不匹配） } ``` ✅ 正确识别的 4 个编译错误如下（全部在编译期被拒绝，g++ -std=c++17 报错）： 1. `t.setX(10);` → error: passing 'const Test' as 'this' argument discards qualifiers 原因：const 对象只能调用 const 成员函数；setX 非 const，故不可调用。 2. `t.x = 20;` → error: assignment of member 'Test::x' in read-only object 原因：x 是非 mutable 数据成员，在 const 对象中不可修改（编译器将整个对象视为只读数据段）。 3. `*p = 30;`（其中 `const int* p = &t.x;`） → error: read-only variable is not assignable 或更准确：error: assignment of read-only location '* p' 原因：p 是指向 const int 的指针，解引用后类型为 const int&，禁止赋值。 4. `int* pi = &ci;`（其中 `const int ci = 42;`） → error: invalid conversion from 'const int*' to 'int*' 原因：取 const 变量地址得到 const int* 类型，不能隐式转换为 int*（类型系统阻止非常量指针持有 const 对象地址，防止后续非法写入）。 - 解答思路：编译错误的判定必须基于 C++ 标准中 const 的静态类型检查规则。关键区分三类 const 语义： (a) const 对象 → 其所有非 mutable 成员不可修改，仅可调用 const 成员函数； (b) const 成员函数 → this 指针类型为 `const Test*`，隐式禁止修改非 mutable 成员、禁止调用非常量成员函数； (c) const 限定符在指针声明中的位置决定约束对象： • `const int* p` → 指向 const int，*p 不可写； • `int* const p` → p 自身 const，p 不可重定向； • `const int* const p` → 二者皆不可变。编译器在语义分析阶段（而非目标码生成）即执行这些检查，因此上述 4 处均触发 SFINAE 或硬性诊断（hard error）。 - 深度知识讲解： const 的本质是 C++ 类型系统的一部分，其作用发生在编译期，不产生运行时代价。它不仅是“只读提示”，而是强制性的契约（contract）： • const 正确性由编译器静态验证，违反即编译失败（非 warning）； • const 成员函数的 this 类型被推导为 `const Test*`，导致其函数体内所有成员访问都带 const 限定； • mutable 是唯一绕过 const 约束的机制，专为逻辑 const（如缓存、引用计数）设计，其底层实现上，mutable 成员在对象内存布局中不改变偏移，但编译器为其生成非常量访问路径； • const_cast 仅用于移除 const 性质，但若原对象本身定义为 const（如 `const int ci;`），对其解引用赋值属于未定义行为（[basic.lval]/11），编译器可完全忽略该写操作（例如优化为 no-op），或触发 sanitizer 检查； • const 传播性：const 对象 → const 成员 → const 指针所指内容 → const 引用所绑定对象，形成强一致性约束链； • 注意：C++ 中没有“运行时 const”——所有 const 约束均为编译期决策，与 consteval / constexpr 无关，但 const 成员函数可参与 constexpr 上下文（若满足字面类型要求）。 - 补充说明（易混淆点）： × `const Test t(5);` 中的 t 是顶层 const（对象本身 const），不是底层 const； × `void func(const Test& t)` 中的参数是底层 const（引用所指对象 const），效果等价于顶层 const 对象调用； × `const Test* ptr` 是底层 const（指针所指对象 const），而 `Test* const ptr` 是顶层 const（指针自身 const）； × 初始化列表中 `Test(int v) : x(v), cache(0) {}` 允许对 const 成员（若 x 声明为 const int x;）初始化，但之后不可修改——本例中 x 非 const，故初始化合法，但后续 const 对象中仍禁止修改。 - 伪代码/核心规则总结（供记忆）： if (obj is const) { forbid: obj.non_const_member_func(); forbid: obj.non_mutable_data_member = ...; forbid: *(const T*)addr = ...; // 若 addr 来自 const 对象或 const 变量 forbid: T* p = &const_var; // 类型不兼容，无隐式转换 } if (func is const) { forbid: this->non_mutable_member = ...; forbid: this->non_const_member_func(); allow: this->mutable_member = ...; allow: this->const_member_func(); }

AI Infra小鹏汽车一面 50min

全站热榜

创作者周榜