tag:blogger.com,1999:blog-3636872937372639901.post5364548023611977981..comments2024-03-27T21:24:43.584+09:00Comments on 本の虫: クラスのスコープが難しい江添亮http://www.blogger.com/profile/13387122818743087721noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-3636872937372639901.post-16545463403686339682010-04-26T02:15:01.477+09:002010-04-26T02:15:01.477+09:00やっぱり違うか。ごめん。やっぱり違うか。ごめん。Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3636872937372639901.post-70704620867910767122010-04-26T01:57:08.494+09:002010-04-26T01:57:08.494+09:00ふたつめの例 を 並び替えると
2) の後半の条件を満たせないから
valid program を ...ふたつめの例 を 並び替えると<br />2) の後半の条件を満たせないから<br />valid program を yield しない。<br /><br />最初の例 は 並び替えると<br />2) の後半の条件を満たす<br />valid program を yield する。(つまり、ふたつめの例)<br />なので、<br />最初の例 は ill-formed <br /><br />かな。<br />かな。Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3636872937372639901.post-2366034522112451852010-04-26T01:37:16.613+09:002010-04-26T01:37:16.613+09:00ごめん間違えた。ごめん間違えた。Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3636872937372639901.post-5832672772284280772010-04-26T01:28:39.704+09:002010-04-26T01:28:39.704+09:002) は省略しないで書くと
A name N used in a class S shall ref...2) は省略しないで書くと<br />A name N used in a class S shall refer to the same declaration in its context and <br />A name N used in a class S shall refer to the same declaration when re-evaluated in the completed scope of S.<br />となり、<br />ふたつめの例 は 2) and の後ろの条件に引っかかる。<br />そのため 3) のif文内の条件をクリアしなくてもよいから<br />3) の条件をクリアしなくても良いので<br />ふたつめの例 は well-formed <br />という理屈の筈。Anonymousnoreply@blogger.com