llama-cpp 源码学习: C++ RAII 详解

Thu, 07 May 2026 00:00:00 +0000

1. 定义

RAII = Resource Acquisition Is Initialization（资源获取即初始化）。

一句话：构造时获取资源，析构时释放资源。你只管拿，不用管还。

名字有点反直觉——强调「获取」，但真正价值在于析构时的自动释放。

RAII 是 C++ 中的一个编程惯用法（idiom），不是语言关键字或语法。它利用 C++ 的两条语言规则：

构造函数和析构函数
栈上对象离开作用域时析构函数一定被调用（没有例外）

用“对象的生命周期”来管理“资源的生命周期”，让 C++ 帮你自动释放资源，告别手动 free、close、unlock。

2. 为什么需要 RAII — C 语言的痛点

在 C 中，每获取一个资源，脑中就多一份「什么时候还」的负担：

// ❌ C 风格：多个资源 × 多个退出点 → 组合爆炸
int process(const char * path) {
 FILE * fp = fopen(path, "rb");
 if (!fp) return -1;

 float * buf = malloc(1024 * sizeof(float));
 if (!buf) {
 fclose(fp); // 别忘了关文件！
 return -2;
 }

 if (fread(buf, sizeof(float), 1024, fp) != 1024) {
 free(buf); // 别忘了释放！
 fclose(fp); // 别忘了关闭！
 return -3;
 }

 // 正常路径：同样的 clean up 代码
 free(buf);
 fclose(fp);
 return 0;
}
// 问题：3 个 return 点，每个都要手动清理
// 再加一个资源 → 每个退出点都要加一行 free → 心智负担 O(n×m)

更致命的是：C++ 有异常，而异常会跳过正常 return 路径。即使你写了 clean up 代码，异常也能让它永远不执行：

llama-cpp 源码学习: C++ 智能指针详解

Thu, 07 May 2026 00:00:00 +0000

1. 为什么需要智能指针

C++ 中 new 出来的堆对象需要 delete 释放。一旦中间提前 return 或抛出异常，delete 没执行到，就内存泄漏了：

void bad() {
 int * p = new int(42);
 if (some_condition())
 return; // 忘了 delete p —— 泄漏了
 do_stuff(p);
 delete p;
}

智能指针是一个栈上对象，在析构时自动帮你 delete：

void good() {
 auto p = std::make_unique<int>(42);
 if (some_condition())
 return; // p 离开作用域，自动 delete —— 不漏
 do_stuff(p.get());
}

智能指针是 RAII 理念的最典型工具。

2. `unique_ptr` — 默认选它

2.1 一句话

独占所有权：一个 unique_ptr 是它所指堆对象的唯一主人。离开作用域时自动释放。

2.2 创建

只有一种推荐写法：

auto p = std::make_unique<MyClass>(arg1, arg2);

make_unique 直接在堆上构造对象并返回一个 unique_ptr。llama.cpp 中有数百处 make_unique 使用，几乎见不到裸 new。

Llama-Cpp on John Chen's blog