作者cat99961 (阿汤)
看板Programming
标题[问题] 请问关於强型态的定义的问题
时间Thu Jan 19 21:44:51 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/Programming/M.1484833494.A.026.html
1F：推 tommady: 小弟觉得。。。您可以提供一下原文句子180.217.189.212 01/19 22:15
2F：→ tommady: 吗？因为我读起来感觉像在说第三点属於c180.217.189.212 01/19 22:15
3F：→ tommady: ompile time180.217.189.212 01/19 22:15
4F：→ allexj: 静态才是 compile time 114.32.236.34 01/19 23:21
5F：→ allexj: 动态我猜是指 RTTI 114.32.236.34 01/19 23:21
6F：→ allexj: 只是这样的话，弱型别没有办法用 RTTI？ 114.32.236.34 01/19 23:21
7F：→ Chikei: python或是c++的auto都是 211.72.92.133 01/20 11:35
8F：→ Chikei: 变数的id本身型态是不指定的，但是编译或 211.72.92.133 01/20 11:36
9F：→ Chikei: 执行期一旦指定binding对象後就不会改变 211.72.92.133 01/20 11:37