“...如果使用的对象符合它们规定的类型...”翻译得是不是有点不对劲？
《C++程序设计原理与实践》中文版 3.9

原文（45页）：
对于一个程序或程序的一个部分，如果使用的对象符合它们规定的类型，那么它们是类型安全的。
英文原文：
A program - or a part of a program - is type-safe when objects are used only according to the rules for their type.

是“如果对象按照它们规定的法则使用”吧？
[解决办法]
一个程序,或程序的一部分,是类型安全的需要满足条件:按照为对象类型制定的规则使用(对象).