“类型安全”是什么意思?
当前回答
来自文科专业而不是计算机科学专业的解释:
当人们说一种语言或语言特性是类型安全的时，他们的意思是该语言将有助于防止，例如，将非整数的东西传递给某个期望整数的逻辑。
例如，在c#中，我将一个函数定义为:
void foo(int arg)
编译器会阻止我这样做:
// call foo
foo("hello world")
在其他语言中，编译器不会阻止我(或者没有编译器…)，所以字符串将被传递给逻辑，然后可能会发生一些不好的事情。
类型安全语言试图在“编译时”捕获更多。
缺点是，使用类型安全语言，当你有一个像“123”这样的字符串，你想像整型一样对它进行操作时，你必须写更多的代码来将字符串转换为整型，或者当你有一个像123这样的整型，并且想在一个像“答案是123”这样的消息中使用它时，你必须写更多的代码来将它转换/强制转换为字符串。
其他回答
概念:
为了像含义一样非常简单的类型安全，它确保变量的类型应该是安全的
没有错误的数据类型，例如不能保存或初始化字符串类型的整数变量 不可访问超出绑定的索引 只允许特定的内存位置
所以这都是关于变量存储类型的安全性。
类型安全意味着在编程上，变量、返回值或参数的数据类型必须符合特定的标准。
实际上，这意味着7(整数类型)不同于"7"(字符串类型的引号字符)。
PHP, Javascript和其他动态脚本语言通常是弱类型的，因为它们将转换(字符串)如果您尝试将“7”+ 3添加为“7”到(整数)7，尽管有时您必须显式地这样做(Javascript使用“+”字符进行连接)。
C/ c++ /Java不会理解，或者会将结果连接到“73”中。类型安全通过明确类型需求来防止代码中出现这些类型的错误。
类型安全非常有用。上述“7”+ 3的解决方案是类型转换(int)7 + 3(等于10)。
来自文科专业而不是计算机科学专业的解释:
当人们说一种语言或语言特性是类型安全的时，他们的意思是该语言将有助于防止，例如，将非整数的东西传递给某个期望整数的逻辑。
例如，在c#中，我将一个函数定义为:
void foo(int arg)
编译器会阻止我这样做:
// call foo
foo("hello world")
在其他语言中，编译器不会阻止我(或者没有编译器…)，所以字符串将被传递给逻辑，然后可能会发生一些不好的事情。
类型安全语言试图在“编译时”捕获更多。
缺点是，使用类型安全语言，当你有一个像“123”这样的字符串，你想像整型一样对它进行操作时，你必须写更多的代码来将字符串转换为整型，或者当你有一个像123这样的整型，并且想在一个像“答案是123”这样的消息中使用它时，你必须写更多的代码来将它转换/强制转换为字符串。
“类型安全”的编程语言意味着以下几点:
不能从未初始化的变量中读取 数组的索引不能超出它们的边界 不能执行未检查的类型强制转换
这里的许多答案将类型安全与静态类型和动态类型混为一谈。动态类型语言(如smalltalk)也可以是类型安全的。
简单的回答是:如果没有操作导致未定义的行为，则该语言被认为是类型安全的。许多人认为显式类型转换的要求对于严格类型的语言是必要的，因为自动转换有时会导致定义良好但意想不到/不直观的行为。
