什么是静态类型安全？

[申祷无]

《C++程序设计原理与实践》中文版 3.9

原文（46页）：
理想状态是永远不要使用编译器也不能保证是安全的语言功能：静态类型安全。
英文原文：
The ideal is never to use language features that the compiler connot prove to be safe:static type safety.

百度只能搜到一篇文章，而且感觉不是很权威。

[healer_kx]

就是在编译期间，你就知道某些类型的赋值传递是类型不匹配的。

[ken_scott]

1L +1 如printf就不是静态类型安全的 printf("%d", a); 这里编译器不会校验a的类型 还有宏啊什么的