强弱类型

✍ dations ◷ 2025-12-06 21:46:20 #计算机语言,类型论

强弱类型(Strong and weak typing)表示在计算机科学以及程序设计中,经常把编程语言的类型系统分为强类型(英语:strongly typed)和弱类型(英语:weakly typed (loosely typed))两种。这两个术语并没有非常明确的定义,但主要用以描述编程语言对于混入不同资料类型的值进行运算时的处理方式。强类型的语言遇到函数引数类型和实际调用类型不符合的情况经常会直接出错或者编译失败;而弱类型的语言常常会实行隐式转换,或者产生难以意料的结果。这对术语在短短的电脑历史中,早已含括了更多的意义,而且时常很难知道写的人究竟要表达哪个意思。

编程语言专家 Benjamin C. Pierce,《Types and Programming Languages》和《Advanced Topics in Types and Programming Languages》的作者,曾说:

大致而言,“强类型”隐含着编程语言对容许混合情况出现加上了严格的限制,以避免代码以无效的资料使用方式编译或运行。例如,整数除法运算不可用于字符串;链表上的运算步骤不可用于数字。然而,这些限制的本质和效力是极易改变的。

已经被写作者认定为“强类型”的一些要素包括:

相关

  • 扬马延岛扬马延(挪威语:Jan Mayen)是一个位于北冰洋的火山岛屿,是挪威的领土。岛长约55 km(34 mi),面积约 377 km2(146 sq mi) ,贝伦火山附近约114.2 km(71.0 mi)被冰川所覆盖,约占岛上约1
  • 麻阳麻阳苗族自治县(Mayang Miao Autonomous County)位于湖南省西部,怀化市西北部,地处辰水(锦江河)流域。地理坐标为东经109°24′-110°06′、北纬27°32′-28°01′。东临辰溪县,南
  • 夏层铺镇夏层铺镇,是中华人民共和国湖南省永州市江永县下辖的一个乡镇级行政单位。夏层铺镇下辖以下地区:夏层铺社区、马蹄村、汝泳村、水田村、东塘村、东铺村、底铺村、禾田村、夏层
  • 8族元素固体、液体、气体8族元素(又称铁族元素)是指元素周期表上第8族的元素,位于7族元素和9族元素之间,在过去和9族元素及10族元素合称为ⅧB族元素。8族元素包含铁(Fe)、钌(Ru)、锇(Os)、�(Hs),
  • 福田道生福田道生(1964年2月19日-),日本男性动画师、动画导演、演出家、插画家。出身于静冈县。岩手大学教育学部毕业。大学在学期间参加《少年肯尼亚》动画师招募并合格。其后进入东映
  • 傻瓜码傻瓜码是曾经流行的一种计算机汉字输入法。它是以拼音输入法为基础的,用于解决拼音输入法的易学,但盲打速度慢的问题。与其他输入法不同的是使用它不需要记编码,也不用学习拆字
  • 建楠路建楠路(Jiannan Rd.)为高雄市楠梓区的东西向主要市区道路。起端楠梓车站,沿途跨越楠梓溪,末端于楠梓路口,续行兴楠路接国道一号楠梓交流道和往大社区。本道路连结楠梓车站与国道
  • 蔓绿绒属见内文蔓绿绒,学名Philodendron。又名春羽、羽裂蔓绿绒。属天南星科的多年生草本。原产于热带美洲。其呈蔓性或半蔓性,茎有气根,可攀缘其它物质生长。其汁液有毒,若误食会造成口
  • 少年陈真《少年陈真》是2003年功夫剧情片,由周比利主演,叙述二战前上海精武拳道馆馆员陈真,在道馆学拳的种种故事,早在1973年功夫片名角李小龙成名片精武门已拍过,故此片算是旧片新拍之电
  • 米满达弘米满达弘(1986年8月5日-),出身于山梨县富士吉田市,日本摔跤手。曾就读于山梨县立韭崎工业高等学校、拓殖大学。曾获2010年亚洲运动会自由式摔跤66公斤级金牌、2012年伦敦奥运会自