技术博客
你写 void f() noexcept，编译器在函数调用点就敢做优化（比如省掉栈展开逻辑）；而 void f() throw() 只在运行时抛异常才触发终止——但 C++17 起它已被标记为 deprecated，连 clang 15 都会警告。实际项目里混用两者会导致链接失败或 ABI 不兼容，尤其在跨编译单元调用时。
用 position: relative 时，元素仍占原文档流位置，位移不影响其他元素；用 position: absolute 后，元素脱离流，父容器必须设 position: relative 或 absolute 才能以它为参考系。动画起点若需“原地出发再滑走”，选 relative；若要“从屏幕某固定区域飞入”，比如右上角通知，就得用 absolute 配合 top/right 定位。
因为 std::function 带运行时开销，且无法推导重载函数、函数模板或临时 lambda 的完整类型。泛型算法依赖编译期类型推导来适配任意可调用对象，而 std::function 会擦除类型信息，导致无法匹配重载、丢失 constexpr 能力，甚至让 SFINAE 失效。
它不是新功能，而是 C++17 为简化 SFINAE 检测封装的一个别名：本质就是 template<class…> using void_t = void</class…>。以前写类型探测要绕一大圈（比如定义辅助模板、偏特化、decltype 套嵌套），现在靠 void_t 把“只要表达式合法就推导出 void”这个逻辑显式暴露出来，让编译器在替换失败时安静地丢弃重载，而不是报错。
C++ 里递归没写好，main 都没机会输出错误信息，程序就 Segmentation fault 或 stack overflow 了。根本原因不是逻辑错，是调用栈压得太深——每次递归都占一份栈空间，而默认线程栈通常只有 1~8MB。
Concepts 不是运行时检查，也不是接口定义；它是编译期对模板参数的语义约束。你写 std::sortable，编译器不会去跑排序算法验证，而是检查类型是否提供必需的操作（比如 operator、可迭代、可交换等）。它替代的是过去靠 SFINAE 或 <code>static_assert 堆出来的模糊报错，让错误信息从“no type named ‘iterator’ in ‘int’”变成“int does not satisfy sortable”。
声明引用时没给初始值，编译器直接报错 error: ‘x’ declared as reference but not initialized。C++ 引用不是指针，它从诞生起就必须绑定到一个已存在的对象，之后也不能再指向别的变量。
纯虚函数不是“必须写实现”，而是“必须在派生类里实现”，声明时用 = 0 结尾，且不能有函数体。常见错误是加了花括号、写了空实现，或者漏掉 = 0 导致编译器不认为它是纯虚函数。
直接写 using 比 typedef 更直观，尤其面对模板时不会绕晕。比如想给 std::vector<int></int> 起个短名叫 IntVec，就这么写：
placement new 不是“另一种 new”，而是 operator new 的重载形式，它不分配内存，只在已有的内存地址上构造对象。你不能用它替代 new 去申请堆内存——它根本不会调用 ::operator new(size_t)，也不会管理内存生命周期。