“类型安全”是什么意思?
当前回答
为了更好地理解,请观看下面的视频,该视频演示了类型安全语言(c#)和非类型安全语言(javascript)的代码。
http://www.youtube.com/watch?v=Rlw_njQhkxw
现在来看长文本。
类型安全意味着防止类型错误。当一种类型的数据类型在不知不觉中被分配给另一种类型时,就会发生类型错误,我们会得到不想要的结果。
例如,JavaScript不是一种类型安全语言。在下面的代码中,“num”是一个数值变量,“str”是字符串。Javascript允许我做“num + str”,现在猜测将它做算术或串联。
现在对于下面的代码,结果是“55”,但重要的一点是,它将执行什么样的操作造成了混乱。
这是因为javascript不是一种类型安全的语言。它允许不受限制地将一种类型的数据设置为另一种类型。
<script>
var num = 5; // numeric
var str = "5"; // string
var z = num + str; // arthimetic or concat ????
alert(z); // displays “55”
</script>
c#是一种类型安全语言。它不允许将一种数据类型分配给另一种数据类型。下面的代码不允许在不同的数据类型上使用“+”运算符。
其他回答
类型安全
在现代c++中,类型安全是非常重要的。类型安全意味着正确使用类型,因此避免不安全的类型强制转换和合并。c++中的每个对象都是根据其类型使用的,并且在使用之前需要对对象进行初始化。
安全初始化:{}
编译器在类型转换过程中防止信息丢失。例如, int {7};初始化没问题 \ . int b{7.5}编译器显示错误,因为信息丢失
不安全的初始化:=或()
编译器不会在类型转换期间防止信息丢失。 int a = 7初始化正常 int a = 7.5初始化正常,但信息丢失。a的实际值将变为7.0 int c(7)初始化OK int c(7.5)初始化是可以的,但是会发生信息丢失。a的实际值将变为7.0
类型安全的代码只访问它被授权访问的内存位置,并且只能以定义良好的、允许的方式访问。 类型安全代码不能在对象上执行对该对象无效的操作。c#和VB。NET语言编译器总是生成类型安全的代码,这些代码在JIT编译期间被验证为类型安全的。
来自文科专业而不是计算机科学专业的解释:
当人们说一种语言或语言特性是类型安全的时,他们的意思是该语言将有助于防止,例如,将非整数的东西传递给某个期望整数的逻辑。
例如,在c#中,我将一个函数定义为:
void foo(int arg)
编译器会阻止我这样做:
// call foo
foo("hello world")
在其他语言中,编译器不会阻止我(或者没有编译器…),所以字符串将被传递给逻辑,然后可能会发生一些不好的事情。
类型安全语言试图在“编译时”捕获更多。
缺点是,使用类型安全语言,当你有一个像“123”这样的字符串,你想像整型一样对它进行操作时,你必须写更多的代码来将字符串转换为整型,或者当你有一个像123这样的整型,并且想在一个像“答案是123”这样的消息中使用它时,你必须写更多的代码来将它转换/强制转换为字符串。
类型安全意味着编译器将在编译时验证类型,如果试图将错误的类型赋值给变量,则抛出错误。
一些简单的例子:
// Fails, Trying to put an integer in a string
String one = 1;
// Also fails.
int foo = "bar";
这也适用于方法参数,因为你传递显式类型给它们:
int AddTwoNumbers(int a, int b)
{
return a + b;
}
如果我试着称之为使用:
int Sum = AddTwoNumbers(5, "5");
编译器会抛出一个错误,因为我传递了一个字符串(“5”),而它期待的是一个整数。
在一个松散类型的语言,如javascript,我可以做以下:
function AddTwoNumbers(a, b)
{
return a + b;
}
如果我这样调用它:
Sum = AddTwoNumbers(5, "5");
Javascript自动将5转换为字符串,并返回“55”。这是由于javascript使用+符号进行字符串连接。为了使它具有类型意识,你需要做如下的事情:
function AddTwoNumbers(a, b)
{
return Number(a) + Number(b);
}
或者,可能是:
function AddOnlyTwoNumbers(a, b)
{
if (isNaN(a) || isNaN(b))
return false;
return Number(a) + Number(b);
}
如果我这样调用它:
Sum = AddTwoNumbers(5, " dogs");
Javascript自动将5转换为字符串,并追加它们,以返回“5只狗”。
并不是所有的动态语言都像javascript一样宽容(事实上,动态语言并不意味着松散的类型语言(参见Python)),其中一些语言实际上会在无效的类型转换上给你一个运行时错误。
虽然它很方便,但它会给您带来很多容易被忽略的错误,只有通过测试正在运行的程序才能识别出来。就我个人而言,我更喜欢让编译器告诉我是否犯了这个错误。
现在,回到c#…
c#支持一种叫做协方差的语言特性,这基本上意味着你可以用基类型替换子类型,而不会导致错误,例如:
public class Foo : Bar
{
}
在这里,我创建了一个新类(Foo),它是Bar的子类。我现在可以创建一个方法:
void DoSomething(Bar myBar)
并使用Foo或Bar作为参数调用它,两者都不会引起错误。这是因为c#知道Bar的任何子类都将实现Bar的接口。
然而,你不能做相反的事情:
void DoSomething(Foo myFoo)
在这种情况下,我不能将Bar传递给这个方法,因为编译器不知道Bar实现了Foo的接口。这是因为子类可以(而且通常会)与父类有很大不同。
当然,现在我已经走得太远了,超出了最初问题的范围,但知道这些都是好事:)
这里的许多答案将类型安全与静态类型和动态类型混为一谈。动态类型语言(如smalltalk)也可以是类型安全的。
简单的回答是:如果没有操作导致未定义的行为,则该语言被认为是类型安全的。许多人认为显式类型转换的要求对于严格类型的语言是必要的,因为自动转换有时会导致定义良好但意想不到/不直观的行为。