C++如何静态断言对象不可移动 校验对象堆/栈存储位置

不可移动对象场景（场景C）的校验完备性 #

仅靠std::is_move_constructible做静态校验是不完备的：

• 该类型萃取仅检查类型是否存在可公开调用的移动构造函数，当类型显式删除移动构造但保留公开拷贝构造时，std::is_move_constructible_v<T>仍会返回true——此时容器扩容触发重排时，重载决议会回退到拷贝构造，原地址的对象会被销毁，指针依然失效。
• 类型萃取无法识别自定义的对象转移逻辑：如果类通过自定义的序列化/反序列化、句柄转移等方式实现了对象内容的搬迁，即使所有构造/赋值运算符都被删除，对象的实际地址依然可能变化。

要从类型层面保证对象不可移动，需要同时校验四个条件：

static_assert(!std::is_move_constructible_v<T> 
           && !std::is_move_assignable_v<T>
           && !std::is_copy_constructible_v<T>
           && !std::is_copy_assignable_v<T>);

只有四个条件同时满足，才能保证对象构造完成后不会通过标准语义发生任何内存位置的转移。

堆分配（场景A）、栈分配（场景B）的静态断言可行性 #

不存在通用、可移植的纯静态断言方案能完全校验这两个场景的生效前提，核心原因有两点：

• C++标准没有提供编译期判断对象内存位置的能力。对象位于堆、栈还是静态存储区是运行时的地址属性，和对象本身的类型无关——同一个类型完全可以同时在栈、堆上实例化，类型层面没有任何可用于编译期区分的标记。
• 作用域生命周期规则无法通过编译期谓词完全校验。编译器自身的逃逸分析可以识别一部分返回局部变量地址的简单错误，但这类分析逻辑没有暴露给标准库作为static_assert可用的判断条件，一旦存在跨函数传参、间接指针引用等场景，分析结果的可靠性无法满足硬校验的要求。

低开销的替代约束方案 #

如果不希望引入共享指针的引用计数开销，可以通过接口设计替代纯静态断言，从使用层面规避指针失效：

• 针对不可移动类型场景，直接用上面的四条件静态断言拦截所有可转移的类型，这类场景下只要保证容器生命周期不超过持有对象的作用域，指针就始终有效。
• 针对堆对象子集枚举场景，可以给容器增加专属的原地构造接口：容器自身持有一块固定容量的连续内存（比如预分配的数组、内存池），入容器时直接在托管内存上原地构造对象，不接收外部传入的独立堆指针，从根源上避免对象被外部代码释放、转移。
• 针对栈对象临时计算场景，可以在调试构建中加入轻量运行时校验：记录入栈指针对应的栈帧地址区间，访问时校验指针是否在合法栈范围内，发布构建时关闭校验即可消除额外开销。
• 额外约束：将容器本身标记为不可拷贝、不可移动，禁止容器被转移到持有对象的外层作用域，从容器侧减少生命周期越界的可能。

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