K.Maebashi's BBS

ふぉげちゅうーてゃ？ ｆｏｒｇｅｔ　ｙｏｕ！が語源かも。

>P.280図8-4で、start_x,y,end_x,y,center_x,yと書いているのに、 >P.281図8-5や、P.282図8-6で、start..x,y,end..x,y,center..x,yと、書き変えて？いる。 ご指摘ありがとうございます。遅ればせながら確認しました。 確かに、アンダースコアであるべきところが「..」になっています。 執筆当時のオリジナル原稿を確認しましたがアンダースコアになっていたので (そりゃ間違えるにしてもこんな間違え方はしないでしょうし)、 書籍用に作図された方にうまく意図が通じなかった&私の確認不足、ということかと 思います。 後日、正誤表に載せさせていただきます。ありがとうございました。

理解度はどうあれ、世間でいうGWが終わったので私も読了です。今後しばらくはこの書籍についてはコメント（というか愚痴）はしません。お付き合いいただき、ありがとうございました。 とりあえず、ほとんどどうでもいいことですが、正誤表に上がっていないので１つ。 P.280図8-4で、start_x,y,end_x,y,center_x,yと書いているのに、 P.281図8-5や、P.282図8-6で、start..x,y,end..x,y,center..x,yと、書き変えて？いる。 それでは。

自己解決しました。 client_send.txtの最後の空行がエディタAtomによって勝手に削除されていたことが原因でした。 お騒がせしました。

はじめまして。 現在「Webサーバを作りながら学ぶ 基礎からのWebアプリケーション開発入門」を勉強中です。 p.54ページのTcpClient.javaを使って存在しないファイルをリクエストするという部分で 404が返ってこず、408のタイムアウトが返ってきてしまいます。 存在するファイルをリクエストしても408が返ってきてしまいます。 これより前は全てうまくいっていたのですが、このタイムアウトはどのような原因が考えられるのでしょうか。 サーバはDocker上でApacheを使用しています。ブラウザだと想定どおりの動きです。 自分で解決することができず、投稿させて頂きました。 よろしくお願いいたします。

回答ありがとうございます。（1か月ぐらいした後に消そうと思っていて、正直回答を期待していなかったので少し驚きました。） >>p.153のダイナミックスコープの説明でnextから辿る場合、 >>仮に自身と呼び出し元に同じ変数名を定義し、自身内で変数を参照する場合、 >>先に呼び出し元の変数が検知されてしまうので、ダイナミックスコープの動きと >>違うのでは？ > >最新のLocalEnvironmentを起点にnextをたどって変数を検索すると、 >先に検知されるのは呼び出し元ではなく自身の方なのでは……? >一応ver.0.2のeval.cのalloc_local_environmentを確認しましたが、 >新LocalEnvironmentのnextに、その時点でのトップのLocalEnvironmentを >連結していますし。 > >635: ret->next = inter->top_environment; >636: inter->top_environment = ret; > > うーん、コード読んでないのがバレました。（だって人が書いた長いコードをインタビューなしで読むのはしんどいもの。。。）で、nextの音の響きから、左から右、上から下、低層から高層（深層）の方向と想定してました。 だから、「最新のLocalEnvironmentのみから検索しますが、nextをたどって、呼び出し経路すべてのLocalEnvironmentから検索するようにすると、」の記述を、 「「最新のLocalEnvironmentのみから検索しますが、【トップレベルでの（グローバル変数に格納された）LocalEnviromnent型の変数を参照の後】nextをたどって、呼び出し経路すべてのLocalEnvironmentから検索するようにすると、」 と補って読んでいました。 なので、nextの本来の使い道はガベージ判定で、ダイナミックスコープ判定の用途でも使えることを言っているのかな？と類推していました。 ま、この部分の私の理解は大体間違っていましたね。 とりあえず、私の理解不足を棚上げしておいて、別の意味に捉えかねないnextの名前が悪い、っと愚痴っときます。（えぇ暴論ですとも。）

>win_sjisのtest.crbだと、改行にCR(0x0d),LF(0x0a)が入れられていて、 >今使っている処理系（Microsoft Windows Subsystem for Linux上のubuntu） >では、0x0dを無視してくれず、改行コード\n(=0x0a)に到達する前に不正な文字で >引っかかっている、 なるほど、crowbar.lでは「\n」だけを改行扱いにしていますから、 UNIX環境下では0x0dは不正な文字として扱われますね。 もともと、Windows(かつてはDOS)にてCでテキストファイルを扱う際、 改行を\r\nとして扱わなければならないのでは既存のUNIXベースの ソースが軒並み壊滅するので、Windows/DOS環境下では、fopen()とか fgetc()とかの標準入出力ライブラリのレベルで、\r\nを\nに変換するという 対策を取っています(バイナリファイルを扱いたいときにはfopen()に "r"の代わりに"rb"を渡す)。「Microsoft Windows Subsystem for Linux上のubuntu」 ではこの動きにならないのは、WindowsではなくLinuxであるためでしょう。 >今の時代趣味でやる分にはsjisもeucも地雷じゃないかなあ？ まあそのあたりは、2009年の本ですので(その当時でもちと古かったのかも しれませんが)。 >電卓の場合yyparse()で無限ループしているのに、crowbarではyyparse()以降の >処理に進んでいることは誰も疑問に思わないのかな、 電卓では入力が終わりませんからね。 >p.121 2個目のelse if文の中の処理、 >　left_val.u.double_value=left_val.u.int_value; > eval_binary_double(...) >の部分で、left_val.typeは変えずに(INTのまま)格納する共用体にはdouble値を入れている。 >その後left_valはそのまま使わず、left_val.u.double_valueのみ使っているので >問題にはならいけど、読んでて不安になる。なぜdouble（専用のというか普通）の >型のローカル変数を使わないのかな？ ちょっと当時の意図は思い出せませんが、左辺をdoubleに型変換した 感じを出したかったのかもしれません。確かに今見ると、ちょっと意図の よくわからないコードになっているとは思います。 >p.141の網掛けの以下の記述 >　a={1,2,3}; > a={2,3,4}; >のあとの図で、aから出ている矢印が{4,5,6}を指している。 >{4,5,6}というのはどこから出てて来た？というか{2,3,4}はどこいった？ >とか、 p.146ですね。誤植のようです。正誤表に載せておきます。 ご指摘ありがとうございました。 >p.145のビットフィールド。別にCのプロフェッショナルを目指す本ではないので、 >ビットフィールドなんて説明が必要な機能なんて使わずにしれっとCRB_Boolean >使ったり、そのままズバリintを使えばいいじゃない。 これにはたぶん段階のようなものがあって、 (1)unsigned long flagsみたいは変数にフラグを押し込んで、 　自力でビット演算 (2)ビットフィールド (3)しれっとなんでもCRB_Boolean 当時、実用に供されているCのコードだと、(1)が多かったと思います(ひょっとすると 今でも)。それに比べれば進歩(?)だと思っておいてください。 (本にも「まあ、富豪的プログラミングの感覚からすれば、1ビットのフラグでも、 CRB_Boolean型ひとつ割り当てるべきなのかもしれませんけど。」と書いていますが) >p.153のダイナミックスコープの説明でnextから辿る場合、 >仮に自身と呼び出し元に同じ変数名を定義し、自身内で変数を参照する場合、 >先に呼び出し元の変数が検知されてしまうので、ダイナミックスコープの動きと >違うのでは？ 最新のLocalEnvironmentを起点にnextをたどって変数を検索すると、 先に検知されるのは呼び出し元ではなく自身の方なのでは……? 一応ver.0.2のeval.cのalloc_local_environmentを確認しましたが、 新LocalEnvironmentのnextに、その時点でのトップのLocalEnvironmentを 連結していますし。 635: ret->next = inter->top_environment; 636: inter->top_environment = ret; >p.178 >mbstate_をmemset()等でゼロクリアというmbstate_ってどこから出てきた？ 文脈からすると「mbstate_t」の誤りのようです。正誤表に載せておきます。 >って感じです。あと、5章UNICODEについては、組み文字以外にデータ内に入っている >（文字送り方向や字形の変更など）制御コードをどう扱っているのかも書いてあれば >ななあとも思いました。この辺って、例えば１文字のはずなのにデータは >100byteとか作れそうで、セキュリティホールになりやすい感じがするので、 >なぜ問題にならないかを聞きたかったかも。 この本のプログラムでは、「mbrtowc()を信頼する」というスタンスですかね……

ゴールデンウィークで読み終えられるかなと思っていたけど全然そうじゃなかった。 やっと、5章まで読み終わった。で、いろいろ愚痴りたい。（今回は投稿にパスワードをつけたので消す準備はバッチリです。） まずは、環境依存の問題 今週末は一人で0x0d問題にぶち当たり全然読み進められなかった。 test.crbを食わせても以下のメッセージしか出ない。 5:(0x0d)@ win_sjisのtest.crbだと、改行にCR(0x0d),LF(0x0a)が入れられていて、 今使っている処理系（Microsoft Windows Subsystem for Linux上のubuntu） では、0x0dを無視してくれず、改行コード\n(=0x0a)に到達する前に不正な文字で引っかかっている、がubuntuのターミナルは、SJISを解釈してくれず文字化けを起こす。結局が悪いのかがわからない。 今の時代趣味でやる分にはsjisもeucも地雷じゃないかなあ？ で、読む気力がそがれたので、重箱の隅を突っ込みながら（またしても）表面をなぞる程度の読み込みになっちゃった。ちゃんと読めるのはいつのことになるんだか。。。 で、突っ込みはこんな感じ。 電卓の場合yyparse()で無限ループしているのに、crowbarではyyparse()以降の処理に進んでいることは誰も疑問に思わないのかな、 とか p.121 2個目のelse if文の中の処理、 　left_val.u.double_value=left_val.u.int_value; eval_binary_double(...) の部分で、left_val.typeは変えずに(INTのまま)格納する共用体にはdouble値を入れている。 その後left_valはそのまま使わず、left_val.u.double_valueのみ使っているので問題にはならいけど、読んでて不安になる。なぜdouble（専用のというか普通）の型のローカル変数を使わないのかな？ とか、 p.141の網掛けの以下の記述 　a={1,2,3}; a={2,3,4}; のあとの図で、aから出ている矢印が{4,5,6}を指している。 {4,5,6}というのはどこから出てて来た？というか{2,3,4}はどこいった？ とか、 p.145のビットフィールド。別にCのプロフェッショナルを目指す本ではないので、ビットフィールドなんて説明が必要な機能なんて使わずにしれっとCRB_Boolean使ったり、そのままズバリintを使えばいいじゃない。 とか、 p.153のダイナミックスコープの説明でnextから辿る場合、 仮に自身と呼び出し元に同じ変数名を定義し、自身内で変数を参照する場合、先に呼び出し元の変数が検知されてしまうので、ダイナミックスコープの動きと違うのでは？ とか、 p.178 mbstate_をmemset()等でゼロクリアというmbstate_ってどこから出てきた？ って感じです。あと、5章UNICODEについては、組み文字以外にデータ内に入っている（文字送り方向や字形の変更など） 制御コードをどう扱っているのかも書いてあればななあとも思いました。この辺って、例えば１文字のはずなのにデータは100byteとか作れそうで、セキュリティホールになりやすい感じがするので、なぜ問題にならないかを聞きたかったかも。

なるほど、わかりました。回答ありがとうございました。 P.39は、正規表現の話だけかと思って（読み返した時に何度も何度も）読み飛ばしていました。この箇所の記述にlexの動きについて書かれていたのですね。失礼しました。 私が誤解していたのは、最初に現れたトークン定義にマッチした場合に、以降のトークン定義を無視するんだろうなぁと思っていたことです。 なので、P.39に記述について+と++のトークンについては、lexの記述では当然に最初に++の定義があってその後に+の定義があるものと思い込んでいました。実際には+と++はマッチする長さが違うのだからlexの記述では、どちらを先に定義しても動きは変わらないのですね。

>疑問に思ったのは「123.456」を「123」を整数型トークン、「.」を例外トークン、 >「456」の整数型トークンと判断する方法や、「1」,「2」「3」「.」「4」「5」「6」を >全て例外トークンとして扱うこともできそうな気がするのですが、そうならない >理由がわからないためです。 これは、lexがなぜ「123.456」を実数トークンとして解釈するのかがわからない、 ということでしょうか? lexは、「最長一致」でトークンを切り出します。つまり「123」や「1」よりも 「123.456」のほうが長いので、「123.456」は実数トークンとして解釈されます。 それについては本の中ではp.39の一番下の段落で説明しています。 >また、整数トークンと実数トークン、"if"トークンと[ \t]トークンの関係から >推測すると、例えば"for while other if"みたいな命令語もトークンとして >定義できそうですが、その場合に.lファイルでの定義行（ルール順番）によっては >動きが変わるものなのでしょうか？ 同じところに書いてある通り、lexはまず「最長一致」でトークンを切り出そうとし、 長さが同じなら、より前の規則、つまり.lファイルでの定義行が上のほうである 規則を優先します。 >整数型の場合「....|"0"」と0をダブルクォーテーションで括っていますが、 >電卓のケースでP.36では、「(....|0|([0-9]....)」と0をダブルクォーテーションで >括っていません。この違いが上の判断条件に影響しているのでしょうか？ これはどちらでも同じですね。なぜ片方だけダブルクォートで囲んだのかは、 すみませんがさすがに思い出せません……

たびたびお邪魔します。 3章途中まで読み進めたのですが、わからないところがあったので教えてください。 P.102のcrowbar.lのソースで、59行目で整数型「([1-9][0-9]*)|"0"」、65行目で実数型「0-9]+\.[0-9]+」、78行目で例外「.」のトークンを切り分けているように見えます。 入力が、「123.456」だった場合、なぜ実数型のトークンと判断されるのでしょうか？ 疑問に思ったのは「123.456」を「123」を整数型トークン、「.」を例外トークン、「456」の整数型トークンと判断する方法や、「1」,「2」「3」「.」「4」「5」「6」を全て例外トークンとして扱うこともできそうな気がするのですが、そうならない理由がわからないためです。 （済みません。書籍に記述があるのに私が読み飛ばしてしまっているだけかもしれません。） また、整数トークンと実数トークン、"if"トークンと[ \t]トークンの関係から推測すると、例えば"for while other if"みたいな命令語もトークンとして定義できそうですが、その場合に.lファイルでの定義行（ルール順番）によっては動きが変わるものなのでしょうか？ 整数型の場合「....|"0"」と0をダブルクォーテーションで括っていますが、電卓のケースでP.36では、「(....|0|([0-9]....)」と0をダブルクォーテーションで括っていません。この違いが上の判断条件に影響しているのでしょうか？

「ほげ」を探すとここにたどりつきました。 「ほげ」は大分の方言で、くだらないこと、でたらめなことの意味です。 （特に臼杵地区、若い人は言わなくなった） 【応用】 ほげほっぽ　　本当にデタラメな ほげんじょう　くだらないことばっかり なお、「熊本弁」と書いていた「ほげる」は、穴があいてしまうこと、「ほぐ」は 穴をあけること　であり、別に熊本に限らず、九州全体の共通語です。

回答いただきありがとうございました。

>はじめまして。 はじめまして。読んでいただきありがとうございます。 >1点目：P.56で、エラーリカバリの実現として、mycalc.yファイルの書き換えとして >lineのルールにerror CRの並びを追加しています。この通りにしてみたもののmycalcの >動きに変わりはありませんでした。で質問ですが、この修正で意図したエラーリカバリ >とは、本文直前の文の記述がある、「一度のコンパイルでできるだけ多くのエラーを >見つけることではないこと」を指しているのでしょうか？つまり何らかの作用により >yaccが出すメッセージを見やすくする対応のものでしょうか？ この修正は、その直前の記述である「ただ、電卓の場合、対話的に使うものですから、 入力ミスで即座に死んでしまうのはユーザにとって不親切でしょう」という 問題に対する対応です。 >それとも、mycalc.lにもともと実装されている、エラー出力lexical error後の >exitを消しても、yyclearin;,yyerrok;の作用でError!Error!Error!の >エラー表示に陥らなくなることを指して、エラーリカバリと呼んでいるのでしょうか？ よって、エラー時にexit()しなくなる、というのが目的です。 >２点目:P.74で、括弧対応の話で、私の環境ではmycalc.yの11行目、 >トークンの並びにLP,RPを追加しなくては動きませんでした。 >こちら11行目に追加することが、筆者の意図とした変更なのかよくわかっていません。 すみません、こちらはこれが私の意図した変更ですが、 p.74で「たったこれだけのことで～」と書いておきながら他の修正が要るというのは 問題ですね。正誤表に加えておきました。 ご指摘いただき、ありがとうございました。

はじめまして。 「プログラミング言語を作る」の2章まで読んだのですがわからない点が２点ありましたので教えてください。 1点目：P.56で、エラーリカバリの実現として、mycalc.yファイルの書き換えとしてlineのルールにerror CRの並びを追加しています。この通りにしてみたもののmycalcの動きに変わりはありませんでした。で質問ですが、この修正で意図したエラーリカバリとは、本文直前の文の記述がある、「一度のコンパイルでできるだけ多くのエラーを見つけることではないこと」を指しているのでしょうか？つまり何らかの作用によりyaccが出すメッセージを見やすくする対応のものでしょうか？ それとも、mycalc.lにもともと実装されている、エラー出力lexical error後のexitを消しても、yyclearin;,yyerrok;の作用でError!Error!Error!のエラー表示に陥らなくなることを指して、エラーリカバリと呼んでいるのでしょうか？ つづいて、パーサ自作のプログラムは読み飛ばして（＝理解を断念して） ２点目:P.74で、括弧対応の話で、私の環境ではmycalc.yの11行目、トークンの並びにLP,RPを追加しなくては動きませんでした。こちら11行目に追加することが、筆者の意図とした変更なのかよくわかっていません。

>あっ、細かいツッコミに対応いただいてすみません...。 >...ついでにもう1つ。 >更新状況の2行目が「2013/3/13」になってます...。 「プログラミング言語を作る」へのリンクをコピペで流用しようとして 日付を直し忘れたようですね。修正しました。 こちらもご指摘ありがとうございました。

>修正しました。ご指摘ありがとうございました。 あっ、細かいツッコミに対応いただいてすみません...。 ...ついでにもう1つ。 更新状況の2行目が「2013/3/13」になってます...。

>「はてなダイアリーをK.Maebashi's はてなブログに移行しました(20017/09/11)」 > >西暦2万年まではてなブログは存続できるのかな... 私は昔はてなダイアリーにこんなの書いたこともあるのですが。 http://d.hatena.ne.jp/kmaebashi/20100110/p1 今回は自分でやらかしてしまったようです。 修正しました。ご指摘ありがとうございました。

「はてなダイアリーをK.Maebashi's はてなブログに移行しました(20017/09/11)」 西暦2万年まではてなブログは存続できるのかな...

>if(line == NULL) は、if(*line == NULL) の間違えではないでしょうか？ ご指摘ありがとうございます。確認しましたがその通りだと思います。申し訳ありません。 週末あたりに正誤表に入れておきます。

ポインタ完全制覇(第2版)の258ページのread_line()の106行目 if(line == NULL) は、if(*line == NULL) の間違えではないでしょうか？ *line = mallocでメモリ割り当てているので、*lineのチェックをするべきではないでしょうか？

>掲題の件ですが、中国からアクセスすると、下記のエラーになりました。 ご指摘ありがとうございます。私のところからも同じエラーになるので、 中国関係なく、鬼車のWebページが消えていますね…… 今はGitHubに移転しているのでしょうか。後ほど(週末ぐらいに)注記を 入れておきます。

掲題の件ですが、中国からアクセスすると、下記のエラーになりました。 「ページを表示できません：申し訳ありませんが、アクセスされたページは現在ご利用いただけなくなっています。」

>申し訳ありませんが、念のため確認させてください。 >下記の件の結論は、どうなったのでしたっけ？ あれ、ここに書き忘れていたようです。 以下の通り正誤表に挙げてありました。 http://kmaebashi.com/webserver/seigo.html#p112

申し訳ありませんが、念のため確認させてください。 下記の件の結論は、どうなったのでしたっけ？ スレッドに残っていないようだったので。 申し訳ありませんが、確認して頂けたらありがたいです。 >>P.124の補足に「GETのパラメタもPOSTのパラメタも、URLデコードしないまま・・・」とありますが、P112の52行目でGETのパラメタはURLデコードされているわけではないのでしょうか？ > >すみません、もう記憶はあいまいなのですが、p.112の52行目におけるURLデコードは、 >UTF-8固定でデコードしているところからして、ディレクトリ名やファイル名を >デコードして正しくファイルを開くためのものです(Modoki/0.2で実装したものです)。 > >ここで、クエリストリング部分までデコードしてしまっていますが、 >クエリストリングはUTF-8でエンコードされているとは限らないので、 >これをこの時点でデコードしているのは単純に不具合のように思います。 >すみませんが確認しますので少しお時間をください。

>「//拡張子とContent-Typeの対応表」の部分について、P.70にあるリスト2-11では49行目に > >　private static final long serialVersionUID = 1L; > >という行がありますが、A-22にはありません。 >これは、どのような違いがあってのことでしょうか？可能であれば、そもそも >「serialVersionUID 」とは何かも教えて頂けるとありがたいです！ serialVersionUIDは、シリアライズするクラスのバージョンを示すためのものです。 Javaだとシリアライズ機能でオブジェクトの内容をファイルに保存したりできますが、 プログラム側のバージョンが上がってクラスにメンバが増えたりした(かつ、そのメンバの 値がデフォルト値ではいけなくて、readObject()によるカスタマイズでも対応しないとか 細かい条件はありますが)場合は、バージョンアップ前のプログラムで保存したデータは バージョン違いで読み込めないということになります。 serialVersionUIDは、シリアライズするときに、そのクラスのバージョンを 示すためのものです(バージョンが違うと、デシリアライズ時にエラーになります)。 指定しなくても構いませんが、これを指定しないと、Eclipseでは警告が出たりします。 「private static final long serialVersionUID = 1L;」と書いておけば 警告は抑止できますが、シリアライズを扱っているわけでもない入門書で 余計なコードを入れるのもよろしくないかと思い、本書のサンプルコードでは 基本これは書いていない――はずなのですが、リスト2-11では、Eclipseに うっかり自動生成されたのが残ってしまったのかと思います。

>これは、”ct == null”の場合は、その値をparameterMapに含めないということでしょうか？ >また、これはアップロードファイルなどが指定された場合に起こるものでしょうか？ multipart/form-dataのPOSTメソッドでどのようなものが送られてくるのかについては、 p.87のリスト3-4に記載しています。 これを見ると、アップロードファイルが指定された場合に、Content-Typeが 付いていることがわかります。 そして、ファイルアップロードの場合、つまりContent-Typeがnullでない場合には、 その内容をgetParameter()で取得することはできないので、その値をparameterMapに 含めないようにしています。

『基礎からのWebアプリケーション開発入門』のP.280にあるリストA-22について質問させてください。 「//拡張子とContent-Typeの対応表」の部分について、P.70にあるリスト2-11では49行目に 　private static final long serialVersionUID = 1L; という行がありますが、A-22にはありません。 これは、どのような違いがあってのことでしょうか？可能であれば、そもそも「serialVersionUID 」とは何かも教えて頂けるとありがたいです！ よろしくお願いいたします。

『基礎からのWebアプリケーション開発入門』のP.277にあるリストA-19について質問させてください。 38行目に”if (ct == null) {”という行があります。 これは、”ct == null”の場合は、その値をparameterMapに含めないということでしょうか？ また、これはアップロードファイルなどが指定された場合に起こるものでしょうか？ どこかに書いてあるかもしれないですが、探しきれず質問させて頂きました。。 申し訳ありませんが、よろしくお願いいたします。

>せっかく抽象型を用意しているのであれば、ここは抽象型の変数定義にするのではと >思ったのですが、サブクラスの変数定義を使用している理由があれば、 >教えて頂きたいです。 これは私の流儀であって、Javaでの一般的な書き方かというとそうでもないかも しれませんが、私は、Javaでパッケージを分ける規模のプログラムを書くときは、 パッケージ単位でインタフェースと実装を分けるようにしています。 たとえばHttpServletRequestクラスであれば、インタフェースを com.kmaebashi.henacat.servletに、実装を com.kmaebashi.henacat.servletimplに置いています。 そして、HttpServletRequestの利用者(この場合はサーブレットのプログラムを書く人) にはインタフェース側だけをimportしてもらうようにします。Cookieのような 簡単なクラスを除き、インタフェース側のパッケージには実装は置きません。 こうすることで、利用者にとっては、インタフェース側のパッケージは ほぼAPIドキュメントのようなものになりますし、実装が「作りかけ」の 状態でも、利用者側のプログラムのコンパイルまではできるようになったりします。 公式のサーブレットAPI(javax.servlet)も、利用者には(Cookieのような 簡単なクラスを除き)ほぼインタフェースしか公開していないのは、 同じような考え方に基づくものだと私は思っています。 こういう観点でインタフェースと実装のパッケージを分けているわけですが、 そう考えたとき、実装側のパッケージ内でインタフェースの方の型で変数定義 することに、どれほどの意味があるでしょうか。 実装側のパッケージ内では、インタフェースとしては公開していないメソッドや、 publicではないフィールドを参照することもあり得ます。そのたびにダウンキャスト するぐらいなら、最初から実装側のクラスにしておくほうがマシではないかと思います。 servletimplという実装側のパッケージの内部で、むやみに実装隠蔽しようとしても あまり意味はないかと思います。Javaのアクセス制御が、publicもprivateも つけないデフォルト状態で、(C++やC#と違って)パッケージ内公開になっている、 というポリシーも、「パッケージ内での実装隠蔽はあまり意味がない」という 考えに基づくものではないでしょうか。