nmemoto

<h2 id="%E9%A0%85%E7%9B%AE22-%E5%9E%8B%E3%82%92%E5%AE%9A%E7%BE%A9%E3%81%99%E3%82%8B%E3%81%9F%E3%82%81%E3%81%A0%E3%81%91%E3%81%AB%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%BC%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9%E3%82%92%E4%BD%BF%E3%81%86">
<a class="header-anchor-link" href="#%E9%A0%85%E7%9B%AE22-%E5%9E%8B%E3%82%92%E5%AE%9A%E7%BE%A9%E3%81%99%E3%82%8B%E3%81%9F%E3%82%81%E3%81%A0%E3%81%91%E3%81%AB%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%BC%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9%E3%82%92%E4%BD%BF%E3%81%86" aria-hidden="true"></a> 項目22 型を定義するためだけにインターフェースを使う</h2>


<h2 id="%E3%81%BE%E3%81%A8%E3%82%81">
<a class="header-anchor-link" href="#%E3%81%BE%E3%81%A8%E3%82%81" aria-hidden="true"></a> まとめ</h2>
<ul>
<li>型定義をするためだけにインターフェースを使う
<ul>
<li>定数インターフェースパターンは実装の詳細が公開APIに漏洩してしまうことを理由に使ってはいけない。
<ul>
<li>漏洩の結果として、柔軟性の欠如(不要であっても実装が必要になる、仮に定数インターフェースを実装するとサブクラスに影響がでる)につながる</li>
<li><a href="https://chat.openai.com/share/60ab427d-317c-4e9b-a4fb-ac8e019bb4a4" target="_blank" rel="nofollow noopener noreferrer">定数インターフェースについてChatGPTに聞いてみた</a></li>
</ul>
</li>
</ul>
</li>
<li>定数の話
<ul>
<li>定数実装には以下のパターンがある
<ul>
<li>列挙型のメンバーとしてみなされるのが最善の場合、enum型</li>
<li>そうでなければインスタンス化不可能なユーティリティクラス[[項目4 privateのコンストラクタでインスタンス化不可能を強制する]]</li>
</ul>
</li>
<li>数値リテラルのアンダースコア文字の使い方
<ul>
<li>固定された浮動小数点かどうかに関係なく5桁以上で検討</li>
<li>整数あるいは浮動小数点の10進数リテラルに対しては、1000の正のべき乗かを示す3桁ごとにリテラルを分けるために使う
<ul>
<li>
<a href="https://chat.openai.com/share/86535c6e-0db1-4222-acc5-492d30f2481e" target="_blank" rel="nofollow noopener noreferrer">文章の意味が難しかったのでChatGPTに聞いてみた</a>
<ul>
<li>p.110の定数ユーティリティクラスにある定数のように書くということだった</li>
</ul>
</li>
</ul>
</li>
</ul>
</li>
<li>staticインポートを使うと、クラス名で定数を修飾することを避けられる
<ul>
<li>PhysicalConstants.AVOGDROS_NUMBERとしなくて良くなる</li>
</ul>
</li>
</ul>
</li>
</ul>


<h2 id="%E9%A0%85%E7%9B%AE21-%E5%B0%86%E6%9D%A5%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AB%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%BC%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9%E3%82%92%E8%A8%AD%E8%A8%88%E3%81%99%E3%82%8B">
<a class="header-anchor-link" href="#%E9%A0%85%E7%9B%AE21-%E5%B0%86%E6%9D%A5%E3%81%AE%E3%81%9F%E3%82%81%E3%81%AB%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%BC%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9%E3%82%92%E8%A8%AD%E8%A8%88%E3%81%99%E3%82%8B" aria-hidden="true"></a> 項目21 将来のためにインターフェースを設計する</h2>


<p>「将来のために」が何を指しているのかわからない。ここにも同じことを書いた。<a href="https://twitter.com/nmemoto/status/1753808556695150712" target="_blank" rel="nofollow noopener noreferrer">https://twitter.com/nmemoto/status/1753808556695150712</a></p>
<ul>
<li>2024/2/4 現在の仮説
<ul>
<li>デフォルトメソッドには考慮すべき事項が多い。それを見越してインターフェースを設計することを「将来のために」という言葉で表現している。</li>
<li>「将来のために」≒「近視眼的に使うべきでない」ということかもしれない。デフォルトメソッドの機能のみでなく、機能を使ったときのデメリットや対応策を把握したうえで使えということ。</li>
</ul>
</li>
</ul>


<h2 id="%E3%81%BE%E3%81%A8%E3%82%81">
<a class="header-anchor-link" href="#%E3%81%BE%E3%81%A8%E3%82%81" aria-hidden="true"></a> まとめ</h2>
<ul>
<li>
<p>デフォルトメソッドがあっても、注意深いインタフェース設計が重要なことは変わらない。</p>
<ul>
<li>インターフェースのデフォルトメソッド構文は既存のインターフェースに新たなメソッド追加を可能とするために追加された。これにはリスクを伴う。</li>
<li>継承したクラスで動作する保証はない。コンパイルできても実行時に失敗することがある。</li>
<li>デフォルトメソッドの利用は、以下の場合に検討されるべき
<ul>
<li>既存のインターフェースに新たなメソッド追加する必要性が大きい場合</li>
<li>インターフェースの実装作業を容易にするために標準メソッドの実装を提供する場合</li>
</ul>
</li>
<li>デフォルトメソッドは、IFからのメソッド削除、シグニチャ変更には対応できない。既存のクライアントを壊すことになる。</li>
</ul>
</li>
<li>
<p>インタフェースをテストすることが重要</p>
<ul>
<li>複数のプログラマが異なる方法で新たなインタフェースを実装すべき</li>
<li>インターフェースを使う複数のクライアントプログラムを書くことも重要</li>
</ul>
</li>
</ul>


<h2 id="%E9%A0%85%E7%9B%AE20-%E6%8A%BD%E8%B1%A1%E3%82%AF%E3%83%A9%E3%82%B9%E3%82%88%E3%82%8A%E3%82%82%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9%E3%82%92%E9%81%B8%E3%81%B6">
<a class="header-anchor-link" href="#%E9%A0%85%E7%9B%AE20-%E6%8A%BD%E8%B1%A1%E3%82%AF%E3%83%A9%E3%82%B9%E3%82%88%E3%82%8A%E3%82%82%E3%82%A4%E3%83%B3%E3%82%BF%E3%83%95%E3%82%A7%E3%83%BC%E3%82%B9%E3%82%92%E9%81%B8%E3%81%B6" aria-hidden="true"></a> 項目20 抽象クラスよりもインタフェースを選ぶ</h2>


<h2 id="%E3%81%BE%E3%81%A8%E3%82%81">
<a class="header-anchor-link" href="#%E3%81%BE%E3%81%A8%E3%82%81" aria-hidden="true"></a> まとめ</h2>
<ul>
<li>インタフェース自身の説明とクラスと比べたときの良いところの説明
<ul>
<li>インタフェースの説明
<ul>
<li>デフォルトメソッドにより、抽象クラスと同様にインスタンスメソッドの実装を提供できるようになった。
<ul>
<li>(疑問)静的メソッドもできるけど、あえてインスタンスメソッドの話にしたのはよくわからない</li>
</ul>
</li>
</ul>
</li>
<li>良いところ
<ul>
<li>既存のクラスを変更するのは容易
<ul>
<li>抽象クラスは型階層の階層を意識しないといけない</li>
</ul>
</li>
<li>ミックスインを定義するには理想的
<ul>
<li><a href="https://chat.openai.com/share/8758060c-d68c-40d0-936e-53c307f1d969" target="_blank" rel="nofollow noopener noreferrer">ミックスインについてChatGPTに聞いてみた</a></li>
</ul>
</li>
<li>階層を持たない型フレームワークの構築を可能にしている
<ul>
<li>SingerとSongwriterは階層構造にないが、その両方の振る舞いをもつSingerSongwriterを定義できる</li>
</ul>
</li>
</ul>
</li>
<li>ラッパークラスイデオムで使われるインタフェースは安全で強力な機能エンハンスを可能にする。
<ul>
<li>型を定義するのに抽象クラスを使うと、機能を追加したいと思っているプログラマに継承を使う以外の選択肢を残さない。</li>
</ul>
</li>
</ul>
</li>
<li>デフォルトメソッドの使い方(<a href="https://chat.openai.com/share/949cda21-822a-4263-93f8-e82da21fc023" target="_blank" rel="nofollow noopener noreferrer">ChatGPTにデフォルトメソッドを聞いてみた</a>)
<ul>
<li>明らかな実装が存在する場合、デフォルトメソッドで実装補助の提供を検討する。ただし、@implSpec Javadocタグを使うこと。</li>
<li>デフォルトメソッドの制限
<ul>
<li>equals/hashCodeの提供ができない</li>
<li>インスタンスフィールドやpublicでないstaticのメンバーを含むことはできない</li>
<li>自分で管理可能なインタフェースにしかデフォルトメソッドは使用できない</li>
</ul>
</li>
</ul>
</li>
<li>骨格実装クラス
<ul>
<li>骨格実装クラスを提供することは、インタフェースと抽象クラスの長所を組み合わせるアプローチ。インタフェースに定義された操作の一部または全部を実装することで、将来の実装者がこのインタフェースを実装する際の労力を軽減する。これにより、インタフェースの柔軟性を保ちつつ、コードの再利用性と一貫性を高めることができる。(<a href="https://chat.openai.com/share/ba14f1b3-e3f6-4f5b-b32e-993a1af7d9b0" target="_blank" rel="nofollow noopener noreferrer">ChatGPTにJava骨格実装とTemplate Methodを聞いてみた</a>より)</li>
<li>骨格実装クラスを提供すると、インタフェースと抽象クラスの長所を組み合わせられる。
<ul>
<li>インタフェースの長所: 型定義・デフォルトメソッドの提供、基本のメソッドの提供</li>
<li>抽象クラスの長所: <strong>基本ではないメソッド</strong>の実装
<ul>
<li>基本ではないに対する私の解釈: 抽象クラスが持つべきアルゴリズムの骨格・処理の順番を定義する</li>
</ul>
</li>
</ul>
</li>
<li>骨格実装はTemplate Methodパターン(<a href="https://chat.openai.com/share/236f457e-8608-4b3b-ba7d-3456fe1ebe21" target="_blank" rel="nofollow noopener noreferrer">ChatGPTにTemplate Methodパターンを聞いてみた</a>, <a href="https://chat.openai.com/share/ba14f1b3-e3f6-4f5b-b32e-993a1af7d9b0" target="_blank" rel="nofollow noopener noreferrer">ChatGPTにJava骨格実装とTemplate Methodを聞いてみた</a>)である。
<ul>
<li>ある操作におけるアルゴリズムの骨格を定義し、いくつかの処理の定義についてはサブクラスに任せる。そして、アルゴリズムの構造を変更することなく、その中に含まれる処理の再定義を行う。</li>
</ul>
</li>
<li>骨格実装クラスはAbstractInterfaceと命名され、Interfaceはそれが実装しているインタフェースの名前。
<ul>
<li>例えば、<a href="https://docs.oracle.com/javase/jp/21/docs/api/java.base/java/util/AbstractCollection.html" target="_blank" rel="nofollow noopener noreferrer">AbstractCollection</a>, <a href="https://docs.oracle.com/javase/jp/21/docs/api/java.base/java/util/AbstractSet.html" target="_blank" rel="nofollow noopener noreferrer">AbstrractSet</a>, <a href="https://docs.oracle.com/javase/jp/21/docs/api/java.base/java/util/AbstractList.html" target="_blank" rel="nofollow noopener noreferrer">AbstractList</a>, <a href="https://docs.oracle.com/javase/jp/21/docs/api/java.base/java/util/AbstractMap.html" target="_blank" rel="nofollow noopener noreferrer">AbstractMap</a>
</li>
<li>プログラマがインタフェースの独自の実装を行うことを簡単にする。</li>
<li>(疑問)骨格実装上に構築された具象実装の例があるが、この説明の文章は何を意図しているかわかっていない。単にアダプター、ボクシング・アンボクシング、無名クラスを使っているということを伝えたいだけ？</li>
</ul>
</li>
<li>骨格実装の優れた点
<ul>
<li>抽象クラスが型定義の役割を果たす際の深刻な制約を課すことなく実装補助を提供すること
<ul>
<li>私の理解: インタフェースの実装をデフォルト実装として提供できるし、抽象メソッドとしてサブクラスでの実装を強制できる</li>
</ul>
</li>
<li><a href="https://chat.openai.com/share/566d27f7-9a36-4e5b-b726-09a32cc199ff" target="_blank" rel="nofollow noopener noreferrer">擬似多重継承についてChatGPTに聞いてみた</a></li>
</ul>
</li>
<li>骨格実装の書き方
<ul>
<li>骨格実装に<code>equals</code>と<code>hashCode</code>を実装。
<ul>
<li>デフォルトメソッドは、<code>equals</code>と<code>hashCode</code>, <code>toString</code>のオーバーライドを許されていない。</li>
</ul>
</li>
</ul>
</li>
<li>骨格実装には良いドキュメントが不可欠(項目19)</li>
</ul>
</li>
<li>単純実装
<ul>
<li>インターフェースを実装して継承のために設計されている点は骨格実装と同じ</li>
<li>抽象クラスではない点が骨格実装とは異なる
<ul>
<li>そのまま使ってもいいし、サブクラス化できる</li>
</ul>
</li>
</ul>
</li>
</ul>


<p><s><a href="https://chat.openai.com/share/85c9616f-9927-43ee-89db-97694f18bb02" target="_blank" rel="nofollow noopener noreferrer">ChatGPTに組み合わせ爆発について聞いてみた</a>けど、その話はわかっていない。インタフェースを使う場合、その振る舞いに注目するためそれに必要な属性のことだけ考えればよくて、クラス内で保持している属性の全部のオンオフ2^n通り考えなくてよくなるということ？</s></p>
<p>継承を使うと、継承元のクラスの属性とメソッドを全て意識する必要があり、継承する度にそれを意識することを2^n通り考えると言っているのでは。</p>


<p>この章のデフォルトメソッドに、複数の使い方があるかもしれない。</p>
<ul>
<li>Javaのインタフェースのデフォルトメソッド構文の話</li>
<li>骨格実装にインターフェースのデフォルト実装としてのデフォルトメソッド</li>
</ul>


<p><span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__184a89fcedc8b" src="https://embed.zenn.studio/card#zenn-embedded__184a89fcedc8b" data-content="https%3A%2F%2Fwww.oracle.com%2Fwebfolder%2Ftechnetwork%2Fjp%2Fjavamagazine%2FJava-JF18-Interfaces.pdf" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://www.oracle.com/webfolder/technetwork/jp/javamagazine/Java-JF18-Interfaces.pdf" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://www.oracle.com/webfolder/technetwork/jp/javamagazine/Java-JF18-Interfaces.pdf</a></p>


<h2 id="%E9%A0%85%E7%9B%AE69-%E4%BE%8B%E5%A4%96%E7%9A%84%E7%8A%B6%E6%85%8B%E3%81%AB%E3%81%A0%E3%81%91%E4%BE%8B%E5%A4%96%E3%82%92%E4%BD%BF%E3%81%86">
<a class="header-anchor-link" href="#%E9%A0%85%E7%9B%AE69-%E4%BE%8B%E5%A4%96%E7%9A%84%E7%8A%B6%E6%85%8B%E3%81%AB%E3%81%A0%E3%81%91%E4%BE%8B%E5%A4%96%E3%82%92%E4%BD%BF%E3%81%86" aria-hidden="true"></a> 項目69 例外的状態にだけ例外を使う</h2>


<ul>
<li>
<p>「状態依存」メソッドを持つクラスは、一般にそのメソッドを呼び出すのが適切かを示す別の「状態検査」メソッドを持つべき</p>
<ul>
<li>Iteratorインターフェースは以下を持っている
<ul>
<li>状態依存メソッドnext</li>
<li>状態検査メソッドhasNext</li>
</ul>
</li>
</ul>
</li>
<li>
<p>状態検査メソッドの提供以外に、返却値にOptionalを使う方法もある。</p>
<ul>
<li>Optinalを使うのは、外部同期なしで並行したアクセスされる、もしくは外部要因で状態遷移する場合。
<ul>
<li>なぜなら、仮に状態依存メソッドとそれに対応する状態検査メソッドがある場合に、状態検査メソッドの呼び出しの後に状態依存メソッドを呼び出すまでの間に状態が変化する可能性があるから。</li>
</ul>
</li>
</ul>
</li>
</ul>
<p>ChatGPTにも聞いてみた。<br style="display:none">
<span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__fb9bdbb64c62e" src="https://embed.zenn.studio/card#zenn-embedded__fb9bdbb64c62e" data-content="https%3A%2F%2Fchat.openai.com%2Fshare%2F9bdbd5b9-48e0-4dff-b4af-ab39c04edba3" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://chat.openai.com/share/9bdbd5b9-48e0-4dff-b4af-ab39c04edba3" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://chat.openai.com/share/9bdbd5b9-48e0-4dff-b4af-ab39c04edba3</a></p>


<h2 id="%E9%A0%85%E7%9B%AE88-%E9%98%B2%E5%BE%A1%E7%9A%84%E3%81%ABreadobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%82%92%E6%9B%B8%E3%81%8F">
<a class="header-anchor-link" href="#%E9%A0%85%E7%9B%AE88-%E9%98%B2%E5%BE%A1%E7%9A%84%E3%81%ABreadobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%82%92%E6%9B%B8%E3%81%8F" aria-hidden="true"></a> 項目88 防御的にreadObjectメソッドを書く</h2>


<h3 id="readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%81%A8%E3%81%AF">
<a class="header-anchor-link" href="#readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%81%A8%E3%81%AF" aria-hidden="true"></a> readObjectメソッドとは</h3>
<ul>
<li>オブジェクトをストリームから読む込むときに使う</li>
<li>使い方(公式ドキュメントより)</li>
</ul>
<div class="code-block-container"><pre class="language-java"><code class="language-java">      <span class="token class-name">FileInputStream</span> fis <span class="token operator">=</span> <span class="token keyword">new</span> <span class="token class-name">FileInputStream</span><span class="token punctuation">(</span><span class="token string">"t.tmp"</span><span class="token punctuation">)</span><span class="token punctuation">;</span>
      <span class="token class-name">ObjectInputStream</span> ois <span class="token operator">=</span> <span class="token keyword">new</span> <span class="token class-name">ObjectInputStream</span><span class="token punctuation">(</span>fis<span class="token punctuation">)</span><span class="token punctuation">;</span>

      <span class="token keyword">int</span> i <span class="token operator">=</span> ois<span class="token punctuation">.</span><span class="token function">readInt</span><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token punctuation">;</span>
      <span class="token class-name">String</span> today <span class="token operator">=</span> <span class="token punctuation">(</span><span class="token class-name">String</span><span class="token punctuation">)</span> ois<span class="token punctuation">.</span><span class="token function">readObject</span><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token punctuation">;</span>
      <span class="token class-name">Date</span> date <span class="token operator">=</span> <span class="token punctuation">(</span><span class="token class-name">Date</span><span class="token punctuation">)</span> ois<span class="token punctuation">.</span><span class="token function">readObject</span><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token punctuation">;</span>

      ois<span class="token punctuation">.</span><span class="token function">close</span><span class="token punctuation">(</span><span class="token punctuation">)</span><span class="token punctuation">;</span>
</code></pre></div><ul>
<li>ObjectInputStreamクラスのメソッド</li>
</ul>
<blockquote>
<p>ObjectInputStreamクラスは事前に直列化されたオブジェクトを元に戻すために使います。ほかの使用方法としては、ソケット・ストリームの使用による、ホスト間でのオブジェクトの受け渡しや、リモート通信システムでの属性やパラメータの整列や整列解除があります。</p>
</blockquote>
<p>:::details<br>
オブジェクトをストリームから読み込むにはreadObjectメソッドを使います。希望の型を取得するには、Javaの安全なキャストを使う必要があります。Javaでは、文字列と配列はオブジェクトで、直列化の間はオブジェクトとして扱われます。それらを読み込む際には、希望の型にキャストされている必要があります。</p>
<p>プリミティブ・データ型をストリームから読み込むには、DataInputの適切なメソッドを使います。</p>
<p>オブジェクトのデフォルトの直列化復元メカニズムは、各フィールドの内容を、書き込まれたときの状態に戻します。transientまたはstaticと宣言されたフィールドは、直列化復元処理では無視されます。ほかのオブジェクトを参照すると、それらのオブジェクトは、必要に応じてストリームから読み込まれます。オブジェクトのグラフは、参照共有メカニズムを使って正しく復元されます。直列化復元が行われるときには、常に新しいオブジェクトが割り当てられ、それによって既存のオブジェクトへの上書きが防止されます。</p>
<p>オブジェクトの読込みは、新しいオブジェクトのコンストラクタの実行に似ています。メモリーがオブジェクトに割り当てられ、ゼロ(NULL)に初期化されます。直列化可能でないクラスに対して、引数なしのコンストラクタが呼び出されたあと、直列化可能クラスのフィールドが、java.lang.Objectにもっとも近いクラスから始まって、もっともオブジェクトに固有のクラスで終わるストリームから復元されます。</p>
<p>たとえば、ObjectOutputStreamの例で書き込まれたストリームからの読込みは、次のように行います。</p>
<pre><code>  FileInputStream fis = new FileInputStream("t.tmp");
  ObjectInputStream ois = new ObjectInputStream(fis);

  int i = ois.readInt();
  String today = (String) ois.readObject();
  Date date = (Date) ois.readObject();

  ois.close();
</code></pre>
<p>:::</p>
<h3 id="%E9%98%B2%E5%BE%A1%E7%9A%84%E3%82%B3%E3%83%94%E3%83%BC%E3%82%92%E4%BD%BF%E3%81%A3%E3%81%A6%E3%81%84%E3%82%8B%E4%B8%8D%E5%A4%89%E3%82%AF%E3%83%A9%E3%82%B9%E3%82%92%E9%85%8D%E6%85%AE%E7%84%A1%E3%81%97%E3%81%A7%E3%83%87%E3%82%A3%E3%82%B7%E3%83%AA%E3%82%A2%E3%83%A9%E3%82%A4%E3%82%BA%E3%81%99%E3%82%8B%E5%A0%B4%E5%90%88">
<a class="header-anchor-link" href="#%E9%98%B2%E5%BE%A1%E7%9A%84%E3%82%B3%E3%83%94%E3%83%BC%E3%82%92%E4%BD%BF%E3%81%A3%E3%81%A6%E3%81%84%E3%82%8B%E4%B8%8D%E5%A4%89%E3%82%AF%E3%83%A9%E3%82%B9%E3%82%92%E9%85%8D%E6%85%AE%E7%84%A1%E3%81%97%E3%81%A7%E3%83%87%E3%82%A3%E3%82%B7%E3%83%AA%E3%82%A2%E3%83%A9%E3%82%A4%E3%82%BA%E3%81%99%E3%82%8B%E5%A0%B4%E5%90%88" aria-hidden="true"></a> 防御的コピーを使っている不変クラスを配慮無しでディシリアライズする場合</h3>
<ul>
<li>防御的なコピーを使っている不変クラスは項目50で登場
<ul>
<li>防御的なコピーを使っている不変クラスとは、
<ul>
<li>不変クラスを自前で書くときに、p.351の中段の例のコンストラクタやstart()メソッドやend()メソッドのような工夫をしているクラス</li>
</ul>
</li>
</ul>
</li>
<li>クラス宣言にimplements Serializableを追加するだけだと、クラスはその重要じゃ不変式をもはや保証しません。
<ul>
<li>その理由はreadObjectメソッドが実質的にもう一つのpublicのコンストラクタだから
<ul>
<li>他のコンストラクタと同様にあらゆる配慮(以下の２点)が必要
<ul>
<li>コンストラクタの引数になりうる値の正当性の検査(項目49)</li>
<li>適切な箇所での防御的コピー(項目50)</li>
</ul>
</li>
<li>配慮を全てやらないと攻撃者がクラスの不変式を破ることは比較的簡単</li>
</ul>
</li>
</ul>
</li>
<li>readObjectは唯一のパラメータとしてバイトストリームをとるコンストラクタ
<ul>
<li>人工的に生成されたバイトストリームがreadObjectに渡されると問題が発生します
<ul>
<li>BogusPeriodの例
<ul>
<li>"最上位ビットがセットされているbyte値に対するキャストは、不幸にもbyte型を符号付きと決めたこととbyteリテラルがJavaに欠落しているためです。"がわからなかったのでChatGPTに聞いてみた。
<ul>
<li><a href="https://chat.openai.com/share/fca2fb70-e2f3-4dd2-bb52-7bcefd40b98b" target="_blank" rel="nofollow noopener noreferrer">https://chat.openai.com/share/fca2fb70-e2f3-4dd2-bb52-7bcefd40b98b</a></li>
<li>byteの範囲(-128~127)に収まらない場合、byte値にキャストすると違う数字に</li>
</ul>
</li>
</ul>
</li>
</ul>
</li>
<li>単にシリアライズ可能と宣言することで、クラスの不変式を破っているオブジェクトを生成することができてしまった</li>
</ul>
</li>
</ul>
<h3 id="%E5%AF%BE%E5%BF%9C%E6%A1%88">
<a class="header-anchor-link" href="#%E5%AF%BE%E5%BF%9C%E6%A1%88" aria-hidden="true"></a> 対応案</h3>
<h4 id="%E6%AD%A3%E5%BD%93%E6%80%A7%E6%A4%9C%E6%9F%BB%E3%81%AE%E3%81%BF%E3%81%99%E3%82%8Breadobject%E3%81%AE%E6%8F%90%E4%BE%9B">
<a class="header-anchor-link" href="#%E6%AD%A3%E5%BD%93%E6%80%A7%E6%A4%9C%E6%9F%BB%E3%81%AE%E3%81%BF%E3%81%99%E3%82%8Breadobject%E3%81%AE%E6%8F%90%E4%BE%9B" aria-hidden="true"></a> 正当性検査のみするreadObjectの提供</h4>
<ul>
<li>攻撃者が不正なPeriodインスタンスを生成することを防いだが、微妙な問題がある
<ul>
<li>正当なPeriodインスタンスから始まって、そのPeriodインスタンス内部のprivateのDateフィールドへの余分の参照を追加しているバイトストリームを作ることで、可変なPeriodインスタンスを生成できます</li>
<li>例(p.353中段の例)
<ul>
<li>不正オブジェクト参照の挿入とPeriodオブジェクト内のprivateのDateフィールドで参照されているオブジェクトへのアクセスを攻撃者に許している</li>
<li>(自分の理解)startとendで直接バイトストリームを読み込んだものをDateオブジェクトとして設定しようとしているのが悪い？</li>
</ul>
</li>
</ul>
</li>
</ul>
<h4 id="%E9%98%B2%E5%BE%A1%E7%9A%84%E3%82%B3%E3%83%94%E3%83%BC%E3%81%A8%E6%AD%A3%E5%BD%93%E6%80%A7%E6%A4%9C%E6%9F%BB%E3%82%92%E8%A1%8C%E3%81%86readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89">
<a class="header-anchor-link" href="#%E9%98%B2%E5%BE%A1%E7%9A%84%E3%82%B3%E3%83%94%E3%83%BC%E3%81%A8%E6%AD%A3%E5%BD%93%E6%80%A7%E6%A4%9C%E6%9F%BB%E3%82%92%E8%A1%8C%E3%81%86readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89" aria-hidden="true"></a> 防御的コピーと正当性検査を行うreadObjectメソッド</h4>
<ul>
<li>readObjectをメソッドを使うためには、finalを使用することができない
<ul>
<li>なぜなら、防御的コピーができなくなるから</li>
<li>(自分の理解)startとendでバイトストリームから復元したDateオブジェクトから別のDateオブジェクトを作成することで不正なバイトストリームによって作成された値を排除している</li>
</ul>
</li>
</ul>
<h3 id="readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%82%92%E6%8F%90%E4%BE%9B%E3%81%99%E3%82%8B%E3%81%8B%E5%90%A6%E3%81%8B%E3%80%81%E3%81%BE%E3%81%9F%E6%8F%90%E4%BE%9B%E3%81%99%E3%82%8B%E3%81%A8%E3%81%8D%E3%81%AE%E5%AF%BE%E5%BF%9C%E6%96%B9%E6%B3%95">
<a class="header-anchor-link" href="#readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%82%92%E6%8F%90%E4%BE%9B%E3%81%99%E3%82%8B%E3%81%8B%E5%90%A6%E3%81%8B%E3%80%81%E3%81%BE%E3%81%9F%E6%8F%90%E4%BE%9B%E3%81%99%E3%82%8B%E3%81%A8%E3%81%8D%E3%81%AE%E5%AF%BE%E5%BF%9C%E6%96%B9%E6%B3%95" aria-hidden="true"></a> readObjectメソッドを提供するか否か、また提供するときの対応方法</h3>
<ul>
<li>
<p>オブジェクト内のtransientではない個々のフィールドに対する値をパラメータとして受け取り、それらの値の正当性検査をせずにフィールドに保存するpublicコンストラクタを追加することに問題のないクラス→readObjectメソッド提供しなくておｋ</p>
</li>
<li>
<p>問題ありそうなとき→readObjectメソッド提供する</p>
<ul>
<li>正当性検査と防御的コピーを全て行う</li>
<li>シリアライズ・プロキシ・パターン
<ul>
<li>強く推奨</li>
</ul>
</li>
</ul>
</li>
</ul>
<h3 id="readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%81%A8%E3%82%B3%E3%83%B3%E3%82%B9%E3%83%88%E3%83%A9%E3%82%AF%E3%82%BF%E3%81%AE%E9%96%93%E3%81%AE%E9%A1%9E%E4%BC%BC%E7%82%B9">
<a class="header-anchor-link" href="#readobject%E3%83%A1%E3%82%BD%E3%83%83%E3%83%89%E3%81%A8%E3%82%B3%E3%83%B3%E3%82%B9%E3%83%88%E3%83%A9%E3%82%AF%E3%82%BF%E3%81%AE%E9%96%93%E3%81%AE%E9%A1%9E%E4%BC%BC%E7%82%B9" aria-hidden="true"></a> readObjectメソッドとコンストラクタの間の類似点</h3>
<ul>
<li>readObjectメソッドもコンストラクタもオーバーライド可能なメソッドを呼び出してはいけない
<ul>
<li>呼び出してしまったら、そのオーバーライドしているメソッドは、サブクラスの状態がディシリアライズされる前に実行され、その結果プログラムの失敗となる。</li>
<li><a href="https://chat.openai.com/share/c9f98b88-a4b4-4220-9def-2fe4e4c0bd37" target="_blank" rel="nofollow noopener noreferrer">https://chat.openai.com/share/c9f98b88-a4b4-4220-9def-2fe4e4c0bd37</a></li>
</ul>
</li>
</ul>
