Loading AI tools
来自维基百科,自由的百科全书
强弱型别(Strong and weak typing)表示在电脑科学以及程式设计中,经常把程式语言的类型系统分为强型别(英语:strongly typed)和弱型别(英语:weakly typed (loosely typed))两种。这两个术语并没有非常明确的定义,但主要用以描述程式语言对于混入不同资料型别的值进行运算时的处理方式。强型别的语言遇到函式引数型别和实际叫用型别不符合的情况经常会直接出错或者编译失败;而弱型别的语言常常会实行隐式转换,或者产生难以意料的结果。这对术语在短短的电脑历史中,早已含括了更多的意义,而且时常很难知道写的人究竟要表达哪个意思。
此条目需要补充更多来源。 (2018年7月20日) |
此条目可参照英语维基百科相应条目来扩充。 |
程式语言专家 Benjamin C. Pierce,《Types and Programming Languages》和《Advanced Topics in Types and Programming Languages》的作者,曾说:
大致而言,“强型别”隐含著程式语言对容许混合情况出现加上了严格的限制,以避免程式码以无效的资料使用方式编译或执行。例如,整数除法运算不可用于字串;链表上的运算步骤不可用于数字。然而,这些限制的本质和效力是极易改变的。
已经被写作者认定为“强型别”的一些要素包括:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.