c++ - Scala 严格类型系统与 C++ 类型系统

Question

Scala 的严格类型系统的粉丝，但 C++ 的粉丝:

• 是否可以强制自己以同样的严格程度C++编程？ (不使用 void*，不进行大量转换，装箱简单值类型，即 struct Month {int value;};)。
• 或者 默认情况下 C++ 是否比 Scala 更严格(如果您不努力尝试强制转换)？尽管 C++ 模板的“鸭子类型”——如果它不适合，它仍然不会让你编译，对吗？
• C++0x(相对于 C++03)是否为愿意接受完全类型安全编程的人增加了一些东西？

Answer 1

简短回答:是的，你可以达到相同级别的类型安全，但它会给程序员带来负担。这不仅仅是提供相同安全性的问题，类型系统还必须足够强大和灵活以促进类型安全编程，在这方面 Scalas 类型系统优于 C++。

C++0x 将添加 lambda 表达式，这将有助于使用 HOF，如 map、filter、flatMap 等。