为什么

std::pmr 是 C++17 引入的多态内存资源库，通过 std::pmr::memory_resource 抽象接口解耦分配逻辑与容器，支持运行时切换内存策略（如池、arena、栈分配），并提供 pmr 容器别名和资源组合能力。 std::pmr 是 C++17 引入的 Polymorphic…

完美转发通过std::forward结合万能引用T&&实现，使模板函数能按参数原值类别（左值或右值）转发给其他函数。当实参为左值时，T被推导为U&，经引用折叠后形参为左值引用，std::forward保持左值性；当实参为右值时，…

线性一致性是C++并发中判断数据结构行为正确性的形式化模型，要求所有操作可排成与真实时间一致的全局顺序，且读操作返回其线性化点前最近写入的值；它保障行为可预测、可组合，seq_cst默认满足，而acq_rel等弱序需结合算法证明线性化点。 线性一致性（Linearizability）在 C++ 并发…

虚析构函数确保派生类析构函数被正确调用，防止资源泄漏；若基类析构函数非虚，通过基类指针删除派生类对象时仅调用基类析构函数，导致派生类资源未释放。 在C++中，当使用多态（即通过基类指针操作派生类对象）时，如果基类没有将析构函数声明为虚函数，可能会导致内存泄漏或资源未正确释放。这就是为什么虚析构函数如…

std::pmr::polymorphic_allocator 是 C++17 PMR 机制的核心，通过委托给运行时可更换的 memory_resource 实现 STL 容器内存策略的动态切换，解耦内存管理与容器逻辑。 std::pmr::polymorphic_allocator 是 C++17…

标签联合体是带类型标识的联合体，用于安全存储多种类型数据并明确当前类型；std::variant是C++17标准实现，通过内部union、类型索引和手动管理构造/析构来保障类型安全。 标签联合体（Tagged Union）是一种带有类型标识（tag）的联合体（union），用来安全地存储多种不同类型…

std::is_trivially_copyable 用于判断类型是否可安全通过 memcpy 位拷贝，要求其特殊成员函数平凡、无虚函数/虚基类、所有成员及基类同样满足该条件，且对象布局连续；它支撑 memcpy 优化、内存重定位、bit_cast 等高性能操作。 std::is_trivially…

C++中switch不支持字符串因其实现依赖编译期常量整型索引，而字符串为运行时对象；可通过constexpr哈希函数将字符串转为整型值实现类似功能，或使用std::unordered_map建立字符串到处理函数的映射以提升灵活性和可维护性。 在C++中，switch语句不支持直接对字符串进行匹配，…

std::destroy_at 和 std::destroy 是 C++17 引入的仅析构对象而不释放内存的标准工具，分别用于单个对象和范围对象的显式析构，支持泛型、类型安全及 trivial 类型优化，常用于 placement new、allocator 等手动内存管理场景。 std::dest…

c++kquote>SSO通过将短字符串存储在std::string对象内部缓冲区来避免堆分配，提升性能。1. 核心思想是利用对象自身内存存储小字符串；2. 典型实现用union结合标志位区分短串模式与堆指针模式；3. 不同STL实现阈值不同，如libstdc++为15字节，libc++为22…