用途：指导代理阅读并修复 C++ 模板错误信息，使用 concepts 作为更清晰的约束，理解 SFINAE 与 concepts 的取舍，并分析模板实例化深度与编译时间。
主要能力：
- 阅读模板报错：模板错误会打印完整实例化链，建议自下而上阅读；先找输出顶部第一条错误行（属于你的代码），跳过 note: 行直到出现 required from here 或 in instantiation of，栈底显示替换失败的类型。可用 g++ -ftemplate-backtrace-limit=3 prog.cpp 限制回溯深度，clang -ftemplate-depth=32 prog.cpp 调整深度（默认 1024），g++ -fconcepts-diagnostics-depth=3 prog.cpp 简化 concept 失败诊断。
- SFINAE：通过 std::enable_if_t、返回类型 SFINAE、void_t 检测成员是否存在等旧式约束；错误信息晦涩，新代码建议改用 concepts。
- Concepts（C++20）：用 concept 定义约束，如 template <typename T> concept Arithmetic = std::is_arithmetic_v<T>;，可作模板参数约束、缩写函数模板（Arithmetic auto x）、requires 子句及 auto 参数约束。
- requires 表达式：requires { expression; } 检查表达式有效，requires { expression -> type; } 检查表达式类型，支持嵌套 requires 与复合 requires。
- SFINAE 与 concepts 对比：语法、错误信息、编译时间、C++ 版本、短路（概念包含）、在 if constexpr 中的使用、重载排序等维度；迁移时用 concept 约束替换 enable_if，用 requires 替换 void_t 辅助。
- Templight 实例化分析：clang++ -Xtemplight -profiler -Xtemplight -memory -std=c++17 prog.cpp -o prog，templight-convert -f callgrind -o prof.out templight.pb，再用 kcachegrind prof.out 查看；也可用 ClangBuildAnalyzer 定位实例化开销。
- 降低模板编译时间：显式实例化（extern template 抑制实例化、在 impl.cpp 中实例化）、优先函数模板而非类模板、用 concepts 短路失败替换、拆分重型模板头文件、用 if constexpr 替代特化。
适用场景：排查模板报错、设计模板约束、优化模板编译性能。
限制：资料未提供该技能的安装方式、收费与平台信息；concepts 需 C++20，Templight 基于 Clang，具体可用性暂未提供。