栈

unique_ptr是C++11引入的独占式智能指针，定义于头文件中，通过RAII机制自动管理堆内存，确保资源在对象销毁时自动释放。它仅允许一个unique_ptr指向某对象，禁止拷贝但支持移动语义，防止内存泄漏。推荐使用std::make_unique创建实例，如auto ptr = std::m…

AddressSanitizer（ASan）是Clang/GCC提供的高效内存错误检测工具，可捕获堆/栈缓冲区溢出、use-after-free等错误；启用只需编译时加-fsanitize=address -g -O0，配合详细报错定位与可选LeakSanitizer，性能开销约2倍。 Addres…

std::launder用于在对象就地重建后获取指向新对象的有效指针，解决因编译器优化导致的访问失效问题，确保通过指针访问新构造对象时的行为符合预期。 在C++中，std::launder 是一个与对象生命周期和指针语义密切相关的工具，主要出现在C++17标准中。它的作用是解决“通过指针访问新创建对…

C++ ABI兼容性指不同编译单元间二进制交互的正确性，涉及名称修饰、类布局、调用约定、异常处理和RTTI；对库开发至关重要，因破坏ABI会导致崩溃或链接失败；保持兼容可避免强制重新编译，需通过Pimpl模式、冻结内存布局、使用ABI检查工具等手段维护；常见破坏包括增删虚函数、修改成员变量、变更枚举…

纯虚函数和抽象类是C++实现接口机制的核心工具：纯虚函数以“virtual 返回类型 函数名(参数列表) = 0;”声明，无实现，强制派生类重写；含纯虚函数的类为抽象类，不可实例化，但可定义指针或引用以支持多态；仅含纯虚函数的抽象类可模拟interface，多重继承实现接口组合，析构函数宜声明为vi…

c++kquote>C++20协程通过co_yield实现懒求值生成器，核心是自定义generator返回类型及promise_type；同步示例为斐波那契数列，异步需结合co_await定时或IO操作；注意生命周期、编译选项及标准支持差异。 在 C++20 中，协程（Coroutines）支…

零成本抽象指C++中不用的功能不产生运行时开销，所用功能生成的机器码与手写底层代码等效；体现为模板实例化、constexpr计算、内联展开等全在编译期完成，运行时无虚表查表、无隐式分配、无类型擦除。 零成本抽象是C++最核心的语言设计哲学，不是语法糖，也不是宣传口号——它是一条硬性约束：你不用的功能…

命令模式在C++中通过将请求封装为Command接口对象实现解耦，支持参数化、排队、日志与撤销；Invoker调用execute()/undo()而不依赖Receiver细节，Receiver仅执行具体逻辑，命令对象应轻量、无状态或仅存必要上下文，撤销需缓存状态并用智能指针管理生命周期。 命令模式在…

C++调试应依靠工具与方法而非猜测：GDB适用于Linux/macOS命令行，VS调试器适合Windows图形化场景，二者均通过设断点、查变量、看调用栈、单步执行定位问题，关键在于建立清晰调试路径。 C++调试不靠猜，靠工具和方法。GDB适合Linux/macOS命令行环境，Visual Studi…

C++异常安全保证分为基本、强和无抛出三级：基本保证确保不崩溃不泄漏；强保证要求状态完全回滚；无抛出保证声明noexcept且绝不抛异常。 异常安全保证是 C++ 中描述函数在抛出异常时，对象状态能否保持有效、一致的关键契约。它不关乎“会不会抛异常”，而在于“抛了之后，程序还能不能靠得住”。C++ …