标签：dynamic-typing php programming-languages static-typing type-safety

我试图理解语言对类型安全的意义.在动态类型语言中,类型检查在运行时执行,例如,如果我运行以下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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。