如果你是 Java 开发者,你大概对 Java 的类型系统已经非常熟悉了:静态类型检查、泛型擦除、final 常量、以及 Java 10 引入的 var。你可能会想——C++ 的类型系统不就是多了指针和引用吗?还有什么特别的? 答案是:C++ 的类型系统比你想象的强大得多,也复杂得多。它不只是"标注