作者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