例外とアサートの使い分け

お世話になっております。

assertをコードに書いたことがないのですが、
どのような場合に使用してますか？
例えばメソッドの先頭でobjAはnullでないことを前提に処理が行われる場合に
assert objA != null ;
を入れたりすると思いますが、
これはnullの場合に例外をスローする、でも置き換えられます。(アサートをONにしている場合のみ)

また、先頭ではなく、以下のような使い方ってどうでしょうか？

java
1if(isA){
2 //something 
3} else if (isB){
4 //something 
5} else {
6  assert false;//通ってはいけない分岐
7}

皆さんがどのような場合に例外ではなくアサートを使用しているか気になります。

退会済みユーザー

2018/06/15 02:42 編集

同様の質問があります。 https://teratail.com/questions/92801

lupus_dingo

2018/06/15 03:40

一度検索すべきでしたね。連携ありがとうございます。

行動規範の内容に同意します

回答4件

assertの特徴としては、明示的に有効にしないと機能しないことがあります（IPA）。

なので、「メソッドの先頭でobjAはnullでないことを前提に処理が行われる場合に」使うものは、メソッドが外部からobjAを引数として受け取る（つまり、nullを渡されることを想定せざるを得ない）場合は不適切になります（assertをオフのまま処理を進めると、そのまま進んでしまいます）。

MET01-J. メソッドの引数の検証にassertを使わない

一方で、ロジックが正しければ絶対に来ない分岐にassert false;を置いておくのはありかもしれません（assert true;は何の意味も持ちません）。

投稿2018/06/15 00:19

編集2018/06/15 00:35

maisumakun

総合スコア145183

lupus_dingo

2018/06/15 00:41 編集

>一方で、ロジックが正しければ絶対に来ない分岐にassert false;を置いておくのはありかもしれません（assert true;は何の意味も持ちません）。 assert true;はミスですので修正しました。前半の説明ですと、アサート機能をONをする必要があり、外部から変数を受けとる場合は不適切とあるのでisA,isBが外部からの場合は不適切ということですね。そもそも外部かろ受けとる場合も例外を使用すればよいとおもうのでやっぱりアサートをどう使うか腑に落ちないです。

maisumakun

2018/06/15 00:52

よく「// ここでは○○のはず」というようなコメントがありますが、そういうもの（引数など外部の状況に依存されず、絶対に成立するはずの条件）をassertにしておけば、自動的にチェックできる、という話です。

lupus_dingo

2018/06/15 03:39 編集

過去の質問も軽く見ましたが、コメント代わり程度に使うのが良さそうですね。そもそもアサート機能onにしないと実施されないですし、別処理から渡ってくる場合は(質問に記載したソースのassertも含め)例外処理を組むのが良さそうだなと思いました。

行動規範の内容に同意します

ベストアンサー

契約プログラミングではアサーションを記述すべき個所は3つあります。

事前条件
事後条件
不変条件

必ずしもメソッドの先頭に記述すべきものではありません。

Java言語では「契約プログラミング」におけるアサーションの記述の方法は2つあると思います。

assert文による記述
throw文による記述

どちらを使ってもよいと思いますが、前者は他の回答にあるとおり-eaオプションを設定しないと有効になりません。一般的にJUnitでのテストなどでは-eaオプションを設定し、本番環境では設定しないことが多いと思います。逆に後者はオプションで有効/無効を切り替えることはできず、標準ライブラリの中でも積極的に使用されています。
アサーションによるオーバーヘッドは小さいもので本番時に無効にするメリットはないと思います。「性能向上のため標準ライブラリで引数のチェックをやめるべき」という議論は聞いたことがありません。だからassert文ではなくthrow文による記述をすべきだと思います。

投稿2018/06/15 05:13

編集2018/06/15 05:16

退会済みユーザー

総合スコア0