操作系统内核不用c++因需确定性、零开销和可控内存行为；linux等内核用c编写，禁用c++运行时，进程管理依赖struct task_struct *等裸指针及宏操作，而非智能指针或stl。

在操作系统内核中，C++ 本身几乎不被使用——主流内核（如 Linux、Windows NT、FreeBSD）均用 C 编写，且明确禁用 C++ 运行时（libstdc++、异常、RTTI、全局构造器等）。所谓“用 C++ 指针管理进程环境”，实际是误用概念：内核空间没有 std::shared_ptr，没有 new，也没有用户态的虚拟内存抽象。

为什么内核不用 C++ 的指针语义

内核需要确定性、零开销和完全可控的内存行为。C++ 指针若配合 STL 容器或智能指针，会隐式依赖：

• operator new 和 operator delete —— 内核中必须替换为 kmalloc()/kfree() 或 slab 分配器，而 C++ 运行时默认不提供可移植钩子
• 异常传播 —— 内核中 throw 会导致栈展开失败，__cxa_begin_catch 等符号不存在
• 静态对象构造顺序 —— 内核模块加载无可靠初始化时序，static std::vector<int></int> 会直接导致 oops

Linux 内核中真正管理进程环境的指针类型

所有进程上下文都通过 C 风格结构体指针操作，核心是 struct task_struct *。它不是“C++ 指针”，而是编译器层面的裸地址，配合宏和内联函数访问：

C++

"空空如也"

下载

• current 是 per-CPU 变量，展开为 get_current()，返回当前 CPU 上运行的 struct task_struct *
• 获取父进程：current->parent —— 直接字段访问，无封装，无 getter 方法
• 遍历子进程链表：list_for_each_entry(child, &current->children, sibling) —— 使用双向链表宏，非 STL std::list
• 切换地址空间：switch_mm(&next->mm, &prev->mm, next)，传入的是 struct mm_struct *，由 alloc_mm() 分配，非 new mm_struct

如果硬要在内核模块里写 C++ 风格代码（不推荐）

极少数嵌入式或研究型内核（如 seL4 的 C++ 封装层）会限制性启用 C++，但必须手动剥离所有不可控特性：

• 编译时加 -fno-exceptions -fno-rtti -fno-use-cxa-atexit
• 重载全局 operator new(size_t) 为调用 kmalloc，并确保 operator delete 调用 kfree
• 禁止任何头文件包含 <memory></memory>、<vector></vector>；可用的仅限于裸指针 + 手写 RAII 类（如封装 struct file * 的 file_guard）
• task_struct * 仍必须用 C 方式访问 —— 即使你声明 class Task { struct task_struct *raw; }，raw->state 仍是唯一合法路径

真正的难点不在语法，而在对内存生命周期的绝对掌控：内核中一个 task_struct * 可能被并发修改、迁移、释放，而没有任何引用计数自动保护 —— get_task_struct() 和 put_task_struct() 是必须显式配对的手动计数，这和 std::shared_ptr 的自动性本质冲突。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！