vector含const成员类的未定义行为：检测失效与解决方法

根据P0532R0文档，以下代码存在未定义行为（UB）：

#include <iostream>
#include <vector>
struct X {
    const int i;
    X(int _i) : i(_i) {}
    friend std::ostream& operator<< (std::ostream& os, const X& x) {
        return os << x.i;
    };
};
int main(){
    std::vector<X> v;
    v.push_back(X(42));
    v.clear();
    v.push_back(X(77));
    std::cout << v[0]; // undefined behaviour
}

但使用sanitizer运行该代码时未检测到该未定义行为，以下是问题解答：

• Sanitizer的核心检测范围是内存安全类UB，比如野指针、数组越界、数据竞争等，而这里的UB属于对象生命周期与常量语义违规，不在sanitizer的常规检测目标里。
• 从底层实现看，vector::clear()只会销毁元素但保留内存空间，后续push_back会在同一块内存上用placement new构造新对象。虽然语义上是覆盖了const成员，但内存层面没有非法访问操作，sanitizer无法识别这种语义级别的违规。
• 追踪对象生命周期中的const成员重写会带来极大的性能开销，编译器和sanitizer的设计目标是在性能损耗可控的前提下检测常见UB，不会为这类小众场景额外付出成本。

• 移除成员的const限定：这是最直接的解决方案，如果不需要严格的不可变性，修改结构体即可：

  struct X {
      int i; // 去掉const修饰
      X(int _i) : i(_i) {}
      friend std::ostream& operator<< (std::ostream& os, const X& x) {
          return os << x.i;
      };
  };
  

• 用std::optional包装const成员：通过optional间接实现成员的不可变性，同时允许合法构造新对象时更新值：

  #include <optional>
  struct X {
      std::optional<const int> i;
      X(int _i) : i(_i) {}
      friend std::ostream& operator<< (std::ostream& os, const X& x) {
          return os << *x.i;
      };
  };
  

• 禁用vector的内存复用：自定义分配器，让clear()操作直接释放内存，后续push_back重新分配新内存。但这种方式会丧失vector的性能优势，仅适合特殊场景。
• 改用非内存复用容器：比如std::list，它的元素存储在独立节点中，不会复用已销毁对象的内存，从根源上避免placement new覆盖const成员的问题。

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