为什么

SFINAE允许模板替换失败时不报错，而是从候选中移除，从而实现基于类型特性的编译时分支。例如通过decltype检测成员函数size()是否存在，结合std::void_t可简化类型特征has_size的定义，广泛用于重载控制与接口探测，是C++泛型编程基石之一。 在C++模板编程中，SFINAE…

完美转发通过std::forward保持参数值类别，避免中间函数中右值变为左值导致的冗余拷贝。在模板函数中使用T&&结合引用折叠规则，使传入的左值或右值能以原始形式转发给目标函数。例如emplace_back和make_unique利用此机制高效构造对象，实现移动语义…

头文件声明接口，源文件实现功能。头文件包含类、函数、变量声明及宏定义，供多文件共享；源文件编写具体逻辑，实现声明内容。通过分离声明与实现，避免重复代码，加快编译速度，支持模块化开发，提升代码可读性与维护性。 在C++编程中，头文件（.h 或 .hpp）和源文件（.cpp）分工明确，合理使用能提高代码…

用 new 分配的对象必须用 delete 释放，new[] 分配的数组必须用 delete[] 释放，否则会导致未定义行为；混用会引发析构函数调用不全、资源泄漏或内存管理结构破坏，尤其对类对象危害严重，即使内置类型看似正常也属未定义行为，应严格配对使用。 在C++中，delete和delete[]…

自定义allocator用于控制内存分配行为，提升性能、减少碎片或满足特殊内存管理需求。STL容器通过模板参数支持自定义allocator，需提供value_type、allocate/deallocate、construct/destroy等接口。示例中pool_allocator使用静态缓冲区实…

使用empty()函数判断vector是否为空，代码清晰且效率高；empty()返回true表示容器无元素，false表示有元素，时间复杂度为O(1)；相比size()==0，empty()语义更明确且适用于所有标准库容器，推荐优先使用。 在C++中判断一个vector是否为空，最简便且推荐的方法是…

头文件保护符是防止头文件被重复包含的预处理器机制，通过#ifndef、#define、#endif或#pragma once实现，确保头文件内容只被编译一次，避免重复定义错误。 在C++中，头文件保护符（也叫“头文件守卫”或“include防护”）是一种防止头文件被重复包含的机制。当一个头文件被多个…

extern “C”用于关闭C++函数名修饰，使C++能正确调用C函数或被C调用。由于C++编译器会重命名函数名以支持重载，而C不会，直接链接会导致名称不匹配。使用extern “C”可确保函数按C语言的命名规则进行链接。单个函数可用extern &#…

placement new用于在已分配内存上构造对象，不分配新内存。例如在栈或内存池中初始化对象，需确保内存对齐并手动调用析构函数。 在C++中，placement new 是一种特殊的 new 表达式，用于在**已分配的内存地址上构造对象**，而不是重新分配内存。它不分配内存，只负责调用构造函数，…