什么是类型安全?

试试这个解释……

TypeSafe意味着在编译时静态检查变量是否有适当的赋值。例如，考虑一个字符串或整数。这两种不同的数据类型不能交叉赋值(也就是说，不能将整数赋值给字符串，也不能将字符串赋值给整数)。

对于非类型安全的行为，考虑如下:

object x = 89;
int y;

如果你试图这样做:

y = x;

编译器抛出一个错误，表示它不能转换一个系统。对象转换为整数。你需要明确地这样做。一种方法是:

y = Convert.ToInt32( x );

上面的赋值不是类型安全的。类型安全赋值是指类型可以直接相互赋值。

非类型安全的集合在ASP。NET(例如，应用程序、会话和视图状态集合)。关于这些集合的好消息是(尽量减少多个服务器状态管理方面的考虑)，您可以在这三个集合中的任何一个中放入几乎任何数据类型。坏消息是:因为这些集合不是类型安全的，所以在取回值时需要适当地强制转换。

例如:

Session[ "x" ] = 34;

工作很好。但是要将整数值赋回，你需要:

int i = Convert.ToInt32( Session[ "x" ] );

阅读泛型，了解该工具帮助您轻松实现类型安全集合的方式。

c#是一种类型安全语言，但请关注有关c# 4.0的文章;有趣的动态可能性正在逼近(c#实际上得到了严格的选项:关闭，这是一件好事吗?我们将会看到)。

2008-11-04 02:41:41

类型安全意味着在编程上，变量、返回值或参数的数据类型必须符合特定的标准。

实际上，这意味着7(整数类型)不同于"7"(字符串类型的引号字符)。

PHP, Javascript和其他动态脚本语言通常是弱类型的，因为它们将转换(字符串)如果您尝试将“7”+ 3添加为“7”到(整数)7，尽管有时您必须显式地这样做(Javascript使用“+”字符进行连接)。

C/ c++ /Java不会理解，或者会将结果连接到“73”中。类型安全通过明确类型需求来防止代码中出现这些类型的错误。

类型安全非常有用。上述“7”+ 3的解决方案是类型转换(int)7 + 3(等于10)。

2008-11-04 02:50:05

来自文科专业而不是计算机科学专业的解释:

当人们说一种语言或语言特性是类型安全的时，他们的意思是该语言将有助于防止，例如，将非整数的东西传递给某个期望整数的逻辑。

例如，在c#中，我将一个函数定义为:

 void foo(int arg)

编译器会阻止我这样做:

  // call foo
  foo("hello world")

在其他语言中，编译器不会阻止我(或者没有编译器…)，所以字符串将被传递给逻辑，然后可能会发生一些不好的事情。

类型安全语言试图在“编译时”捕获更多。

缺点是，使用类型安全语言，当你有一个像“123”这样的字符串，你想像整型一样对它进行操作时，你必须写更多的代码来将字符串转换为整型，或者当你有一个像123这样的整型，并且想在一个像“答案是123”这样的消息中使用它时，你必须写更多的代码来将它转换/强制转换为字符串。

2008-11-04 02:38:19

类型安全意味着编译器将在编译时验证类型，如果试图将错误的类型赋值给变量，则抛出错误。

一些简单的例子:

// 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的接口。这是因为子类可以(而且通常会)与父类有很大不同。

当然，现在我已经走得太远了，超出了最初问题的范围，但知道这些都是好事:)

2008-11-04 02:33:08