作者arcred (坚持阿伏哥联盟)
站内Programming
标题Re: [问题] 一个基础程式语言问题
时间Mon Mar 14 13:38:15 2011
今天跟别人讨论一下, 既然板上没人回答,
我就自问自答, 也许有人有兴趣可以讨论 @@
有可能是这样的情况...
因为 Dynamic scoping 会去抓最後一个 declare 的变数去作定义.
所以在 foo() 下执行 bar() 会形成把 foo() 里的 M 拉进 bar() 的 scope 下,
并定义为 50 的情况, 导致在 print 的时候 foo() 下面看不到 local 的 M,
於是从 global 里找了 M 来印出 M=30
※ 引述《arcred (坚持阿伏哥联盟)》之铭言：
: 有个题目看了半天实在想不出答案为什麽是这样...
: 想请板上大大帮忙解答
: int N = 20
: int M = 30
: procedure foo()
: int M = N
: int N = 40
: bar()
: print M,N
: procedure bar()
: M = 50
: 问在 dynamic scoping + define-anywhere + whole-block-scope
: 的情况下, 执行了 foo() 之後会印出什麽东西, 或是哪里会产生错误.
: 答案是 30, 40 (M=30, N=40)
: 实在想不透为什麽啊...如果是印foo圈内的M
: 应该被指定成 M =N =20了 (还是会变成40? 因为是define-anywhere)
: 就算不是, 执行过 bar() 之後, 全域的 M应该也变成 50了才对呀...
: 那30到底是怎麽印出来的呢?
: 付上其他题答案参考
: static scoping+declare-before-use+declartion-to-end-of-block-scope: M=20,N=40
: static scoping+declare-before-use+whole-block-scope: illegal at "int M=N"
: static scoping+declare-anywhere+whole-block-scope: M=40, N=40
: 谢谢!
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 68.98.169.112
1F：→ yauhh:这个解释合理. 书上有例子说foo是外层M的218.160.112.127 03/14 22:39
2F：→ yauhh:scope,按照同样模式,bar就是foo内M的scope218.160.112.127 03/14 22:40
3F：→ yauhh:该去看一点C#和Python来核对何谓whole-block218.160.112.127 03/14 22:41
4F：→ yauhh:scope了.218.160.112.127 03/14 22:41
5F：→ arcred:多谢你的回应~请问你看的是哪本呢?能参考吗 208.29.54.91 03/14 22:56
6F：→ yauhh:我google查到跟你看的一样的书,就看看了.218.160.112.127 03/14 23:13
7F：→ yauhh:目前google以上关键词查到的来源还真少.218.160.112.127 03/14 23:13
8F：推 march20:等一下, dynamic scoping 会把 calling 128.54.3.243 03/16 07:40
9F：推 march20:stack caller 层中最近的那个 "偷走" 导致 128.54.3.243 03/16 07:41
10F：推 march20:该层的该变数变为不可见. dynamic scoping 128.54.3.243 03/16 07:42
11F：推 march20:有 "偷走" 这种状况喔 @@? 128.54.3.243 03/16 07:42
12F：推 march20:ok, 我看懂了. 是说 global 的 M=30 因为 128.54.3.243 03/16 07:47
13F：推 march20:是 whole-block-scope, 所以 bar 的 M 128.54.3.243 03/16 07:48
14F：推 march20:不算是未定义, 这时这个广域 M 算是 stack 128.54.3.243 03/16 07:48
15F：推 march20:中最近的 M. 好坏的题目 @@ 128.54.3.243 03/16 07:49
16F：→ arcred:我不确定答案是不是这样啦, 只是我的猜想 68.98.169.112 03/16 10:51
17F：→ arcred:教授给了错的答案也是有可能的 @@ 68.98.169.112 03/16 10:52
18F：→ arcred:只是我写信问他一直没回, 在放春假中= = 68.98.169.112 03/16 10:53
19F：推 march20:看起来 whole-block + dynamic-scoping 76.88.39.46 03/16 11:09
20F：推 march20: = 先依 lexicon-scoping 做 binding 76.88.39.46 03/16 11:10
21F：推 march20:找不到再使用 dynamic-scoping 76.88.39.46 03/16 11:10
22F：推 march20:(错字, lexic"al" scoping 才对 >///<)137.110.161.177 03/17 13:32