Such implicit casting is type safe because any incompatibility is discovered at compile-time.

• 这样的隐式强制类型转换是类型安全的,因为可以在编译时发现任何不兼容性。