提升C++代码性能需聚焦热点路径，减少拷贝与内存分配，善用移动语义、预分配和对象复用；配合编译器优化（-O2/-march=native/-flto）、数据结构缓存友好设计、谨慎并行与向量化。

std::vector采用三指针模型管理内存：_M_start、_M_finish、_M_end_of_storage分别指向首元素、逻辑末尾、容量末尾；扩容用倍增策略，移动构造旧元素；构造/析构通过allocator_traits显式控制，不依赖T的默认构造函数。

ADL（参数依赖查找）是C++中未限定函数调用时自动将参数类型所在命名空间纳入查找范围的机制；它要求函数名未限定、调用非成员且非模板实参推导、至少一个非内置类型实参，从而支持std::cout

CRTP是一种C++模板技术，通过派生类继承基类模板并传入自身类型，实现编译期多态。基类使用static_cast调用派生类方法，避免虚函数开销，提升性能。典型应用包括混合器模式、表达式模板和接口增强，如对象计数。相比虚函数的运行时多态，CRTP在编译期绑定，支持内联优化，但不支持运行时动态切换，且可能引起代码膨胀与调...

html_html模板不存在于标准规范或主流工具中，它通常是项目私有命名、拼写错误或对构建配置路径的误解；应根据实际环境（如Vite、Webpack、VueCLI）定位真实模板文件（如index.html），并注意模板语法与构建工具的匹配性。

两阶段查找指模板中非依赖名称在定义时查找，依赖名称在实例化时查找。例如，func()作为非依赖名称在第一阶段绑定，而helper(T{})因依赖类型需在第二阶段通过ADL查找，若声明晚于模板定义则可能失败。使用typename和template可显式指示依赖类型中的嵌套类型或模板，避免解析错误。该机制确保模板正确解析与...

SFINAE是C++模板编译期类型能力检测机制，指模板参数替换失败时不报错而是丢弃该候选；它支撑条件启用函数、实现类型约束，是理解现代constexprif和concepts的基础。

模板类在定义时类型即参与编译，T是待推导的编译期实体；声明与定义必须同在头文件中，否则链接失败；成员函数定义需双重template前缀；偏特化需谨慎处理const/引用折叠，且不支持函数模板；推导失败常见于隐式转换、右值引用和初始化列表场景。

函数模板和类模板通过template定义，支持类型自动推导与显式指定，实现泛型编程；函数模板用于通用逻辑，如max(Ta,Tb)；类模板构建类型无关容器，如Stack，成员函数需重申模板；模板代码须在头文件中定义，支持多类型参数及非类型参数（如intN），实例化时生成独立类型，是STL设计基础。

CRTP是一种编译期多态技术，派生类以自身为模板参数继承基类，实现零开销静态分发；支持mixin、类型安全接口等，避免虚函数开销并增强编译期检查。

模板特化是C++为特定类型提供专门实现的机制，分为全特化（所有参数具体化）和偏特化（仅部分参数固定，仅类模板支持）；变量模板可全特化，别名模板需间接特化；特化不参与SFINAE，错误即硬错误。

SFINAE是C++模板编译期替换失败不报错的机制，用于实现类型约束与重载选择；它依赖模板参数代入时的类型表达式失效来静默剔除候选，支撑enable_if、decltype+declval等技巧，C++20被concept和requires取代。