目录
一、前言
二、结论先行
三、车辆控制工程里，四类资源的所有权
四、控制器内部资源：用 unique_ptr 明确“我独占它”
4.1 场景
4.2 生命周期的正确表达方式
1）定义一个控制器类 VehicleController
2）定义构造函数：控制器“开始拥有资源”的地方
3）创建控制核心对象，并立即交给 unique_ptr 管理
4）构造函数结束：所有权关系已经确定
5）进入 private 区域：开始定义“控制器的内部实现细节”
6）定义一个内部结构体 ControlCore
7）定义一个成员函数 step
8）占位实现：强调“存在性”而非“算法细节”
9）ControlCore 定义结束
10）声明一个 unique_ptr 成员：明确“唯一所有权”
11）类定义结束：生命周期关系彻底封闭
4.3 总结
五、初学者常见困惑点
5.1 先纠正一个根本认知：class/struct 不是对象，是“类型（蓝图）”
5.2 对象什么时候才真的存在？（只有在创建时）
5.3 ctrl_core_ 叫什么？它不是对象本体，而是“成员变量”
5.4 “指针 = 所有权”这句话要改成什么才准确？
一、前言
承接前文：
之前我们已经从工程角度说明：
智能指针的本质不是“自动 delete”，
而是“所有权关系的类型化表达”。
也就是说，智能指针真正解决的不是语法问题，而是工程问题。
这一篇，我们完全站在车辆运动控制工程的角度，
结合真实的ROS 控制节点 / 控制器结构，来回答两个问题：
在真实工程中，智能指针到底该怎么用？
为什么这些用法不是“习惯”，而是必然选择？
二、结论先行
在车辆控制代码中，以下问题每天都在发生：
控制器被销毁，但回调还在执行
cmd_vel 回调和控制线程并行访问同一对象
轨迹被重新规划，旧轨迹仍在被执行
任务回调捕获 controller，程序无法正常退出
这些问题，99% 都不是算法错，而是生命周期错。
而智能指针的作用只有一个：
把“谁拥有资源、谁只是用一下”写进类型系统里。
三、车辆控制工程里，四类资源的所有权
| 资源 | 举例 | 所有权 | 指针 |
|---|---|---|---|
| 控制器内部算法对象 | PID、滤波器、限幅器 | 唯一拥有 | unique_ptr |
| 共享数据对象 | 轨迹 Trajectory、地图、路径点 | 多模块共享 | shared_ptr<const T> |
| 回调引用上层对象 | Action 回调里引用 Controller | 不拥有（避免环） | weak_ptr |
| ROS2 消息 | 回调参数 msg | 框架托管，只读 | shared_ptr<const Msg> |
四、控制器内部资源：用unique_ptr明确“我独占它”
4.1 场景
车辆控制器内部通常会持有一些“算法对象”：
控制律对象（PID / LQR / MPC）
状态估计器
限幅器、滤波器
它们的特点是：
只属于当前控制器
不应该被拷贝
controller 析构时必须一起销毁
4.2 生命周期的正确表达方式
class VehicleController { public: VehicleController() { // 控制器创建时，明确“我独占这个对象” ctrl_core_ = std::make_unique<ControlCore>(); } private: struct ControlCore { void step(double ref, double cur) { // 这里只关心：这个对象一定存在 (void)ref; (void)cur; } }; // ✅ unique_ptr 表达唯一所有权 std::unique_ptr<ControlCore> ctrl_core_; };1）定义一个控制器类 VehicleController
class VehicleController {这一行只是一个类定义，但在工程语境里它通常代表：
- 一个车辆运动控制模块
- 一个 ROS 控制节点 / 控制器插件
- 或一个被上层 manager 创建、销毁的对象
👉 重要的是：这个类的生命周期是“工程级”的，而不是函数级的。
它可能被动态创建、动态销毁，而不是 main() 里写死。
2）定义构造函数：控制器“开始拥有资源”的地方
public: VehicleController() {构造函数在工程中有一个非常重要的语义：
这是建立所有权关系的起点。
也就是说：
- 在这里创建的资源
- 会和 VehicleController 的生命周期绑定
你马上就会看到，智能指针正是用来在构造阶段明确这种绑定关系的。
3）创建控制核心对象，并立即交给 unique_ptr 管理
ctrl_core_ = std::make_unique<ControlCore>();这一行是整段代码的核心。
它做了三件事（同时发生）：
在堆上分配一块足够放
ControlCore的内存在这块内存上调用
ControlCore的构造函数 — 下面 struct的函数（对象真正“出生”）把得到的地址（
ControlCore*）立刻交给一个std::unique_ptr<ControlCore>来管理返回这个
unique_ptr
所以make_unique的返回值类型就是：
std::unique_ptr<ControlCore>⚠️ 这里非常关键的一点是：
你不是先 new，再考虑“谁来管它”，
而是在创建的瞬间就把“谁拥有它”写死了。
这正是现代 C++ 和裸指针最大的分水岭。
4）构造函数结束：所有权关系已经确定
}当构造函数结束时：
ctrl_core_ ：
- 要么为空（创建失败）
- 要么已经持有一个合法的 ControlCore
并且从此以后：
任何代码路径下，都不需要手动考虑 delete。
5）进入 private 区域：开始定义“控制器的内部实现细节”
private:private 在这里不是修饰符那么简单，它表达的是：
- 只属于 VehicleController
- 外界不可见、不可干预
这为后面的所有权设计提供了封装边界。
6）定义一个内部结构体 ControlCore
struct ControlCore {这里定义的是一个嵌套类型，它有两个重要含义：
- ControlCore 只服务于 VehicleController
- 外部代码根本不知道它的存在
👉 在工程设计上，这等价于：
“控制核心是控制器的私有实现，不是公共接口的一部分。”
7）定义一个成员函数 step
void step(double ref, double cur) {这一步在算法上并不重要，
它只是一个代表性的“控制计算接口”。
在工程视角中，它表示：
- 每个控制周期
- 控制器会调用控制核心做一次计算
8）占位实现：强调“存在性”而非“算法细节”
(void)ref; (void)cur;这两行代码的作用只有一个：
- 避免编译器警告“未使用参数”
但在文章语境里，它们更重要的意义是：
我们此处关心的是：
ControlCore 一定存在、一定可用，
而不是它内部算法怎么写。
9）ControlCore 定义结束
} };到这里为止：
ControlCore
- 是一个完整的类型
- 但只能被 VehicleController 使用
这为后面的 unique_ptr<ControlCore> 奠定了语义基础。
10）声明一个 unique_ptr 成员：明确“唯一所有权”
std::unique_ptr<ControlCore> ctrl_core_;这是整个类中最重要的一行声明。
它在类型层面直接表达：
1）ControlCore 不能被共享
2）它不允许被拷贝
2）只能由当前控制器拥有
3）它的生命周期由 VehicleController 严格控制
换句话说：
只要你看到这一行，就已经知道：
ControlCore 的生死完全取决于 VehicleController。
11）类定义结束：生命周期关系彻底封闭
};当 VehicleController：
- 构造完成 → ctrl_core_ 一定是合法的
- 析构发生 → ctrl_core_ 自动析构并释放资源
你不需要：
- 自定义析构函数
- 写 delete
- 担心异常 / 提前 return / 插件卸载
4.3 总结
这段代码从上到下所做的事情只有一件：
把“控制核心只属于控制器，并且与其生命周期严格绑定”
这一工程事实，用 std::unique_ptr 明确写进了类型系统。它解决的不是“怎么 new”，
而是“谁负责活、谁负责死”的问题。
五、初学者常见困惑点
5.1 先纠正一个根本认知：class/struct不是对象，是“类型（蓝图）”
struct ControlCore { ... };这一句不会创建任何对象。它只是定义一种“类型”：
“世界上有一种东西叫 ControlCore，它有这些成员函数/成员变量。”
就比如说：
“我设计了一种汽车” —— 但这世界上还没有真正的一辆车。
5.2 对象什么时候才真的存在？（只有在创建时）
对象只会在下面这些时刻出现：
ControlCore core; // 栈对象：出生在栈上 new ControlCore(); // 堆对象：出生在堆上 std::make_unique<ControlCore>(); // 堆对象：出生在堆上所以更准确的说法是：
new/make_unique不是“类型”，
而是“用这个类型创建一个对象”的手段。
5.3ctrl_core_叫什么？它不是对象本体，而是“成员变量”
std::unique_ptr<ControlCore> ctrl_core_;ctrl_core_的标准叫法是：
类的成员变量（member variable）
更具体：
用于管理ControlCore对象生命周期的成员变量
它不是 ControlCore 对象本身，它只是一个“管理者/负责人”。
5.4 “指针 = 所有权”这句话要改成什么才准确？
不是所有指针都有所有权。
裸指针
ControlCore*只表示“我知道地址”，不表示“我负责释放”
unique_ptr这种类型才表示“我拥有它并负责释放”
所以正确表述是：
不是“指针代表所有权”，而是 “unique_ptr 这个类型代表所有权”。
