技术博客
很多人以为 auto 能“自动搞定一切”，结果在写函数时直接这么写：这在 C++11 是合法的，但仅限于函数定义（不是声明），且要求所有 return 语句返回**相同类型**。一旦出现 return 42; 和 return 3.14; 混用，编译器会报错：error: inconsistent deduction for ‘auto’: ‘int’ and then ‘double’。
它不是万能胶，但比裸函数指针灵活得多。std::function 的模板参数决定了它能绑定什么签名的可调用对象。比如 std::function<void></void> 只接受能以一个 int 参数调用、返回 void 的东西。
外面直接写 (args + …) 会编译失败，因为折叠表达式本质是模板参数包展开的语法糖，没有参数包上下文就无从展开。常见错误是试图在普通函数里硬套，结果报错 error: parameter pack ‘args’ was not expanded。
因为 __FUNCTION__ 只返回函数名（如 "foo"），而 __PRETTY_FUNCTION__ 在 GCC/Clang 下会给出完整签名（如 "void foo<int>() [with T = int]"</int>），这是手动解析类型的唯一可行入口。MSVC 用 __FUNCSIG__，行为类似，但字符串格式不同——跨平台时必须分支处理。
直接用 template<typename… args></typename…> 展开参数包，配合 std::forward<args>()</args> 转发——这是现代 C++（C++11 起）最通用、最安全的做法。别用旧式 … 可变参数宏或 va_list，它们不类型安全，且无法和模板配合。
因为 std::function 带运行时开销，且无法推导重载函数、函数模板或临时 lambda 的完整类型。泛型算法依赖编译期类型推导来适配任意可调用对象，而 std::function 会擦除类型信息，导致无法匹配重载、丢失 constexpr 能力，甚至让 SFINAE 失效。
Concepts 不是运行时检查，也不是接口定义；它是编译期对模板参数的语义约束。你写 std::sortable，编译器不会去跑排序算法验证，而是检查类型是否提供必需的操作（比如 operator、可迭代、可交换等）。它替代的是过去靠 SFINAE 或 <code>static_assert 堆出来的模糊报错，让错误信息从“no type named ‘iterator’ in ‘int’”变成“int does not satisfy sortable”。
如果你在调用 std::gcd 时遇到 “not declared in this scope” 错误，大概率是编译标准未启用 C++17 或更高版本。该函数定义在
模板特化是C++中让通用模板对某些特定类型（或值）提供专门实现的机制。它不是重载，也不是继承，而是告诉编译器：“当模板参数是这个具体类型时，请用我写的这份代码，而不是泛型版本。”
Python中做文件内容校验，核心是用哈希（hash）算法生成唯一摘要值，相同内容必得相同hash，内容微变则hash剧变。常用算法有md5、sha1、sha256等，推荐优先用sha256——安全性高、碰撞概率极低。