質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.75%

  • Java

    13159questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

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

解決済

回答 4

投稿 編集

  • 評価
  • クリップ 0
  • VIEW 493

lupus_dingo

score 251

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

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

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

if(isA){
 //something 
} else if (isB){
 //something 
} else {
  assert false;//通ってはいけない分岐
}

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

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • 退会済みユーザー

    退会済みユーザー

    2018/06/15 11:42 編集

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

    キャンセル

  • lupus_dingo

    2018/06/15 12:40

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

    キャンセル

回答 4

checkベストアンサー

+2

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

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

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

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

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

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

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/06/15 23:15

    回答ありがとうございます。
    例外を使用することにします。

    キャンセル

+2

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

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

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

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

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/06/15 09:41 編集

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

    assert true;はミスですので修正しました。
    前半の説明ですと、アサート機能をONをする必要があり、外部から変数を受けとる場合は不適切とあるのでisA,isBが外部からの場合は不適切ということですね。
    そもそも外部かろ受けとる場合も例外を使用すればよいとおもうのでやっぱりアサートをどう使うか腑に落ちないです。

    キャンセル

  • 2018/06/15 09:52

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

    キャンセル

  • 2018/06/15 12:38 編集

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

    キャンセル

+1

Javaでの話ではないですがassertって使うことないですね。
仮のエラー処理を書くときくらいかな。

assertの定義としては、

  • falseで止まる(落ちる)
  • リリース時にはコードが無くなる、もしくは無効化される。

を想定しています。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/06/15 23:12

    回答ありがとうございます。参考にさせていただきます。

    キャンセル

0

目的によって例外と使い分けたら良いと思います。

  • 普段ならうまくいく処理なのにサーバが落ちてて失敗ました。例外
  • 処理を実行するとここは必ずXYZとなるはず、でも毎回評価するほどではないにせよ、なんか不安。アサート
  • if文書いてて絶対ありえないelseが余っちゃった、コメント残す?否、アサート

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/06/15 12:29

    >普段ならうまくいく処理なのにサーバが落ちてて失敗ました。例外

    ここでいう普通とはどのような場合でしょうか?入力が同じという意味でしょうか?

    キャンセル

  • 2018/06/15 13:06

    その意味も含みますが、もっと一般的に普通という意味で普段という言葉を選びました。言い換えると通常時の反対である異常時、又は想定内の反対である想定外のの事態に例外を使うと良いと思います。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.75%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る

  • Java

    13159questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。