⚠️ 给两种类型各开一次小灶
（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）
🔴 三份计数，互不相干
（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）
🔴 不加约束的模板，错会在什么时候报出来
一个模板对类型的要求只写在函数体里，不合格的类型传进来时，错会【0】。
⚠️ C++17 里怎么给模板加约束
在 C++17 里限制"只收数字"，最直接的写法是【0】。
🔴 C++20 那个新写法好在哪
concept 比 static_assert 好在【0】。
🔴 把"哪些类型能用"问出来
（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）⚠️ 这条路线统一 -std=c++17。C++20 给「约束」加了专门的 concept / requires 语法，**这里用 C++17 就有的 static_
⚠️ 几个常用的 trait
（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）它们问的都是"这个类型有没有某种能力"： #include <iostream> #include <string> #i
给模板划一条线
（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）⚠️ 这条路线统一 -std=c++17。C++20 给「约束」加了专门的 concept / requires 语法，**这里用 C++17 就有的 static_
⚠️ 挑对那个 trait
（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）
🔴 这条线该划在哪儿
（本条路线统一用 g++ -std=c++17 -O0 -Wall 编译）half 用的是整数除法，只该对整数开放。