技术博客
因为 std::unordered_map 底层依赖哈希表，插入或查找时必须能把键转成 size_t。内置类型（如 int、std::string）已有特化版本的 std::hash，但你的结构体或类没有——编译器会直接报错：error: call to implicitly-deleted default constructor of ‘std::hash<mystruct>'</mystruct>。
它不是万能胶，但比裸函数指针灵活得多。std::function 的模板参数决定了它能绑定什么签名的可调用对象。比如 std::function<void></void> 只接受能以一个 int 参数调用、返回 void 的东西。
占位符不是变量名，是 std::placeholders::_1 的别名，必须显式引入命名空间或用 using 声明。没写这句，编译直接报 ‘_1’ was not declared in this scope。
因为标准C++在编译期就抹除了类型名、成员名、注解等运行时信息，typeid和std::type_info只提供极简的类型标识，无法枚举成员、调用任意字段或获取字段名。这不是设计疏漏，而是为了零开销抽象——反射意味着元数据存储和查表开销，与C++哲学冲突。
很多人写 sort(v.begin(), v.end(), cmp) 时，cmp 是个普通函数，却在类内定义成 bool cmp(…) —— 这会编译失败，因为非静态成员函数有隐式 this 指针，类型不匹配。C++ 要求比较器能被直接调用，且签名形如 bool( const T&, const T& )。
如果你的编译器报错 ‘erase_if’ was not declared in this scope，大概率是因为没开 C++20 或用了不支持的库版本。它不是 STL 容器成员函数，而是 <algorithm></algorithm> 里的非成员函数，且仅从 C++20 起标准化（GCC 10+、Clang 11+、MSVC 19.28+ 默认支持）。
结构体默认没定义 ，直接 <code>std::sort 会编译失败，报错类似：invalid operands to binary expression (‘const Person’ and ‘const Person’)。不是语法写错了，是编译器根本不知道怎么比。
因为 std::function 带运行时开销，且无法推导重载函数、函数模板或临时 lambda 的完整类型。泛型算法依赖编译期类型推导来适配任意可调用对象，而 std::function 会擦除类型信息，导致无法匹配重载、丢失 constexpr 能力，甚至让 SFINAE 失效。
它是一个类内声明的特殊成员函数，用于让对象隐式或显式转换成指定类型 T。不是构造函数，不创建新对象，而是提供“怎么把 this 解释成 T”的逻辑。
它不是新功能，而是 C++17 为简化 SFINAE 检测封装的一个别名：本质就是 template<class…> using void_t = void</class…>。以前写类型探测要绕一大圈（比如定义辅助模板、偏特化、decltype 套嵌套），现在靠 void_t 把“只要表达式合法就推导出 void”这个逻辑显式暴露出来，让编译器在替换失败时安静地丢弃重载，而不是报错。