php – 类型安全语言是否需要静态类型化？

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

<?php
class MyClass
{ 
}

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

// Create an int variable
$i = 1234;

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

我将得到一个错误,因为运算符不支持MyClass数据类型.所以基本上类型检查是在运行时执行的.

类型安全是否意味着无论是在编译时还是在运行时执行类型检查,或者它是否意味着必须仅在编译时执行类型检查,因此必须明确地为每个变量提供数据类型(如C ,Pascal,Java等).

解决方法:

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

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

因此,类型安全主要是低级语言的问题,尤其是C和C.这些问题通常涉及指针或转换(例如C中的reinterpret_cast).

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

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

标签：dynamic-typing,php,programming-languages,static-typing,type-safety
来源： https://codeday.me/bug/20190725/1528870.html