目录1 区分错误和非错误2 在函数中提供安全保证3 优先使用异常报告错误4 总结5 致谢6 参考文献 原文链接：When and How to Use Exceptions "何时、为了什么以及如何应该使用异常而不是错误代码来报告错误？"在本文中，我将提出一个清晰实用的答案，这个答案建立在之前的研究基础上（参见"参考文献"）。 多年来，我经常听到这样的建议："在异常情况下使用异常。"但我也经常指出，尽管这个建议是善意的，但在实践中它显得

在 C++ STL 中包含多种不同的字符转换方式，主要分为继承自 C 风格函数式转换和 C++ 刻面对象。 本地环境和刻面 本地环境是一系列刻面的集合，描述了本地字符的编码，刻面描述了各种文本处理的方案。 例如在默认的 "C" 本地环境中，本地窄多字节编码指的是 ASCII 码，而在 "Chinese (Simplified)_China.936" 本地环境中，本地窄多字节编码指的是 GBK 码。在 "en_US.UTF-8" 本地环境

struct fenwick_tree_2d_t { lli n, m; array2d_t<lli> tre; fenwick_tree_2d_t(lli n, lli m) : n(n), m(m), tre(n + 1, m + 1, 0) { } lli lowbit(lli x) { return x & -x; } void build(lli** arr) { for (lli i = 1; i <= n; ++i) for (lli j = 1; j &

template <typename T> struct array2d_t { lli n, m; vector<T> data; array2d_t(lli n, lli m) : n(n), m(m), data(n* m) { } array2d_t(lli n, lli m, lli v) : n(n), m(m), data(n* m, v) { } decltype(auto) operator[](tuple<lli, lli> ind) {

struct group_t { struct edge_t { lli u; lli v; lli w; lli nxt; }; lli n; vector<lli> head; vector<edge_t> edge; group_t(lli n) : n(n), head(n + 1, -1), edge(1) { } void add_edge(lli u, lli v, lli w) { edge.push_back({ u, v, w, head[u] });

struct mat { lli n, m; vector<lli> vec; mat(lli n, lli m) : n(n), m(m) { vec.resize(n * m); } lli& at(lli i, lli j) { return vec[(i – 1) * m + j – 1]; } lli at(lli i, lli j) const { return vec[(i – 1) * m + j – 1]; } void zero(lli x = 0) {

C/C++ 参考手册 graph LR Fundamental[基础类型<br/>std::is_fundamental] Void[void<br/>std::is_void] NullPointer[std::nullptr_t<br/>std::is_null_pointer] Arithmetic[算术类型<br/>std::is_arithmetic] FloatingPoint[浮点类型<br/>std::is_floati

中所周知，C++ 中的 struct 来源于 C 语言历史遗留，除了默认作用域为 public 外，与 class 并无区别，理论上可以混用。我们这里通过标准库，以及 Unreal 等工程实践，对 struct 和 class 关键字的选择进行一个总结。 如果类型包含非 public 成员变量，应当选择 class 。 如果类型包含 virtual 函数，应当选择 class 。 如果类型可以 聚合初始化 ，应当考虑 struct 。 如果类型的构造析构以及赋值函数为 = default; 实现

本文完全由 ChatGPT 生成。 std::function 和 std::any 采用构造新对象并交换的实现方式，也有一些其他的优点和好处。例如，这种实现方式可以避免赋值运算符（operator=）抛出异常的情况，从而保证了赋值操作的异常安全性。 例如，如果 std::function 和 std::any 采用直接调用赋值操作的方式实现赋值，那么在赋值操作中如果抛出了异常，就可能导致对象的状态发生改变，从而导致程序的不正常终止。而采用构造新对象并交换的实现方式，可以避免赋值操作中抛出异常的

首先，在 cppreference 上对于这部分的描述节选为。 声明于块作用域且带有 static 或 thread_local 说明符的变量拥有静态或线程存储期，但在控制首次经过其声明时才会被初始化。在其后所有的调用中，声明均被跳过。 如果初始化抛出异常，则不认为变量被初始化，且控制下次经过该声明时将再次尝试初始化。 如果初始化递归地进入正在初始化的变量的块，则行为未定义。 函数内部的静态局部变量的初始化是在函数第一次调用时执行，在之后的调用中不会对其初始化。 在多线程环境下，仍能够保证静态局

类生命周期及常用运算符追踪器 struct FTracker { FTracker() { std::cout << "FTracker()" << std::endl; } FTracker(const FTracker&) { std::cout << "FTracker(const FTracker&)" << std::endl; } FTracker(FTracker&&am

函数签名 参考文档：new – delete 即使不包含 标准库 头文件，版本 可替换分配函数 与 可替换解分配函数 也会在每个翻译单元隐式声明。版本 可替换分配函数 与 可替换解分配函数 可以替换：在程序任意位置定义并在任意源文件的用户提供的拥有相同签名的非成员函数都会替换默认版本。它的声明不需要可见。 这意味着我们在替换全局 new/delete 函数时，无需在 .h 中声明，只需要在 .cpp 中定义他们。 对于某个可以替换的函数，如果程序中提供了它的多个替换，或它有带 inl

template <typename T> void LOrR(T&) { std::cout << "L" << std::endl; } template <typename T> void LOrR(T&&) { std::cout << "R" << std::endl; } template <typename T> void FuncA(

在实现 TypeTraits 时发现标准库的 std::is_scoped_enum 在 C++23 才会正式实装，于是通过翻 Unreal Engine 4 的源码发现了一个巧妙的替代方案，类似如下的实现： NAMESPACE_PRIVATE_BEGIN uint8(&Resolve(int64))[2]; uint8 Resolve(…); template <typename T> struct TIsEnumConvertibleToInt : TBoolCons

PS：由于 WP-Editor.md 的 Bug ，脚本中的 $ 符号不显示，需手动添加。 PS：换成 WP Githuber MD 之后就没有这个 Bug 了。 解决方案 cmake_minimum_required (VERSION 3.8) # Main project string(REGEX REPLACE ".*/(.*)" "\\1" CURRENT_FOLDER ${CMAKE_CURRENT_SOURCE_DIR}) project ($