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

Fri, 08 May 2026 00:00:00 +0000

1. 为什么需要模板

核心问题：一份逻辑，多种类型——不想为每种类型写一遍。

#define MAX(a, b) ((a) > (b) ? (a) : (b))

int x = MAX(3, 5); // 对 int 用
float y = MAX(3.0f, 5.0f); // 对 float 用

宏是纯文本替换——没有类型检查、括号地狱、调试困难。

template<class T>
T max(T a, T b) {
 return a > b ? a : b;
}

int x = max(3, 5); // 编译器自动生成 max<int>
float y = max(3.0f, 5.0f); // 编译器自动生成 max<float>

编译器遇到 max(3, 5) 时，自动生成一份 T = int 的版本——等价于你手写了 int max(int a, int b)。这个过程叫模板实例化，发生在编译期，零运行时开销。

类比：模板是"函数制作机"——你给配方，编译器按需生产具体类型的版本。