模板元编程（TMP）是C++在编译期进行类型和值计算的核心能力，依赖模板实例化、SFINAE、constexpr等机制，目标是将运行时判断提前至编译期以提升性能、增强类型安全、实现零开销抽象。

Excel中Gamma函数包括：一、GAMMA计算Γ(x)，负整数和零返回#NUM!；二、GAMMA.DIST求PDF/CDF，要求x≥0、α>0、β>0；三、GAMMA.INV求分位数，需0

尾递归优化本质是编译器将尾位置的自身调用复用当前栈帧转为循环，避免栈溢出；要求递归调用为函数最后动作且无后续计算，需用累加参数改写如factorial(n,acc=1)。

std::async和std::future是C++11提供的异步任务协作工具，用于后台执行耗时操作并安全获取结果；前者启动任务并返回future，后者通过get/wait等接口访问结果，支持异常传递与超时等待，但仅限单次取值且不可拷贝。

模板元编程（TMP）本质是利用模板实例化在编译期推导类型、数值或逻辑结果，而非泛化代码；它不生成运行时代码，只影响类型系统和常量表达式，所有计算必须在编译期确定。

C++模板递归实现编译期阶乘通过类模板特化与实例化在编译阶段计算，核心是通用模板定义递归逻辑、特化模板终止递归；支持变量模板（C++14）和constexpr函数（C++14起）等更现代写法，并需注意溢出、深度限制及输入校验。