Question

我试图了解语言对类型安全的意义。在动态类型语言中，类型检查在运行时执行，例如，如果我运行以下PHP代码：

<?php
class MyClass
{ 
}

// Create a MyClass instance
$mc = new MyClass();

// Create an int variable
$i = 1234;

// Add $mc and $i
$result = $mc + $i;
?>

我会收到错误，因为+ operator不支持MyClass数据类型。所以基本上类型检查是在运行时执行的。

类型安全是否意味着无论是在编译时还是在运行时执行类型检查，或者它是否意味着必须仅在编译时执行类型检查，因此必须为每个变量明确指定数据类型（如C，Pascal，Java等）。

Answer 1

“类型安全”通常表示“内存类型安全”，也就是说，您不能将包含一种类型的内存视为另一种类型。

根据这个定义，大多数高级语言（包括动态类型语言）都是类型安全的，因为任何不正确使用类型的尝试都会导致错误（编译时或运行时）。

因此，类型安全主要是低级语言的问题，尤其是C和C ++。这些问题通常涉及指针或转换（例如C ++中的reinterpret_cast）。

C＃是一个有趣的案例，介于两个组之间：默认情况下它是类型安全的，但您可以使用unsafe关键字关闭部分代码的类型安全性（通常出于性能或互操作原因）

但是如果将类型安全性与静态类型结合起来，则并不一定意味着必须编写类型。许多静态类型安全语言，特别是功能性语言，或受其启发的语言，使用type inference。这意味着编译器可以根据分配给它的内容自行确定变量的类型，因此您不必键入它。例如，C ++中的auto关键字和C＃中的var。

Answer 2

答案是否定的。 Python是动态但强类型语言的一个例子：

>>> "foo" + 42
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: cannot concatenate 'str' and 'int' objects

Haxe是编译时类型安全语言的一个例子，它仍然不需要静态声明类型：

class Test {
    static function main() {
        trace(10 * Test.some());
    }

    static function some() {
        return "foo";
    }
}

> Build failure
> Test.hx:3: characters 19-30 : String should be Int

这是通过type inference完成的。

是否需要静态输入类型安全的语言？

2 个答案: