There is no need to write code to test for the correct data type, because it is enforced at compile time.

• 不需要编写代码来检测数据类型是否正确,因为会在编译时强制使用正确的数据类型。