作者cat99961 (阿汤)
看板CSSE
标题请问关於强型态的定义的问题
时间Thu Jan 19 21:37:44 2017
请问我念书时念到有关於强型态语言的定义,撷取部分内容如下:
强势型态程式语言符合下列要求：
1. 每一个变数都静态地系结到单一资料型态
2. 变数资料型系结後，在程式执行过程不能修改其资料型态
3. 当允许一个变数储存不同资料型态之值时，其值的型态可以静态地或动态地检查出来
4.....
5....
请问这1、2点和第3点不是互相矛盾吗?前2点说一个变数只能是单一资料型态，
且型态不能修改，第3点又说允许一个变数存不同资料型态
请问有谁可以告诉我呢?
关於第3点可否举例让我明白呢?
感激不尽…
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.232.225.26
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/CSSE/M.1484833067.A.B61.html
1F：推 micklin: float 存 int? 01/20 00:15
2F：→ cat99961: 我是原PO 01/20 00:57
3F：→ cat99961: 他下面有些ADA的例子(ADA是强型态语言) 01/20 00:57
4F：→ cat99961: X:Integer:=4; //将X变数设为整数4 01/20 00:57
5F：→ cat99961: Y:Float; //将Y设为浮点数 01/20 00:58
6F：→ cat99961: Y:=X; //错误!整数不能直接指派给浮点数 01/20 00:58
7F：→ cat99961: =>这个地方我觉得奇怪的是以上这行写指派不同型态会错误 01/20 00:59
8F：→ cat99961: 那第3点又说允许一个变数存不同资料型态??? 01/20 00:59
9F：→ dannypsnl: 那它第三点给了什麽范例 01/20 01:45
10F：推 ronin728: 这定义是有问题的，建议去PTL板问，那边很多专门研究 02/25 00:56
11F：→ ronin728: 程式语言与数学的人 02/25 00:56