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

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

ただいまの
回答率

91.03%

  • C

    3067questions

    C言語は、1972年にAT&Tベル研究所の、デニス・リッチーが主体となって作成したプログラミング言語です。 B言語の後継言語として開発されたことからC言語と命名。そのため、表記法などはB言語やALGOLに近いとされています。 Cの拡張版であるC++言語とともに、現在世界中でもっとも普及されているプログラミング言語です。

C言語で加算、乗算のオーバーフロー検出をするには?

解決済

回答 4

投稿

  • 評価
  • クリップ 1
  • VIEW 310

anndonut

score 229

C言語で加算・乗算のオーバーフローを検出するにはどうすればいいでしょうか。
アセンブラだとオーバーフローフラグがあります。
Adaはオーバーフローしないように数値指定してしまいます。
LISPやJavascriptは多めに精度を取っています(というかdouble?)。

例えば
uint64_t sum = (2 << 63) + 1;
uint32_t a = (2 << 31) + 2;
uint32_t b = (2 << 31) + 3;
sum += a * b;
のときオーバーフローすると思うのですが、どうすればいいでしょうか?
ご回答のほど、よろしくお願いいたします。

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

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

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

    クリップを取り消します

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

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

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

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

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

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

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

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

    質問の評価を下げる

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

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

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

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

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

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

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

    詳細な説明はこちら

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

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

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

回答 4

checkベストアンサー

+2

検出なら、下記のサイトが参考になります。
https://qiita.com/a4lg/items/3b92538049969715bf10
対処法は貴方次第なので、一口では言えません。多倍長整数、で検索してみてください。

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2017/10/08 17:19

    majiponiさんの言うとおりだと思います。言語が扱っている数だから何でもしてくれると思ったらいけないですよね。了解です。

    キャンセル

+1

符号なし整数型の場合、C言語では「入らないビットは切り捨てて、下位のビットを取る」というように挙動が決まっています。

逆を返せば、剰余演算のほうが都合がいい場面では意図的に使うこともできますので、特に警告されることもありません

なお、符号付き整数がオーバーフローした場合の動作は未定義です(もっとも、一般的な2の補数であれば、符号なしと同様に下位ビットだけ取られることになるとは思います)。

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2017/10/08 17:21

    maisumakunさん、いつもお世話になっております。Cの詳細についてご解説頂きありがとうございます。

    キャンセル

+1

オーバーフローを完全に検出するかどうかは疑問ですが、単純に考えると
逆演算をして、元に戻らなければオーバーフローしている
はどうでしょう?

c = a * b;
x = c /a;
b != x ならオーバーフローしている
です。

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2017/10/08 17:20

    nob.さん、ご回答ありがとうございます。確かにその方法でもいけそうですね。

    キャンセル

0

私の場合、マシンスペックをフル活用したいので多倍長整数は断念です。加減乗除の前にassertを付けて理論的にオーバーフローが発生しないようにしてみます。

uint64_t a, b;
...
assert(a < (1 << 32)); // 必要に応じてコメントアウト
assert(b < (1 << 32)); //
uint64_t c = a * b;

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

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

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

関連した質問

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

  • C

    3067questions

    C言語は、1972年にAT&Tベル研究所の、デニス・リッチーが主体となって作成したプログラミング言語です。 B言語の後継言語として開発されたことからC言語と命名。そのため、表記法などはB言語やALGOLに近いとされています。 Cの拡張版であるC++言語とともに、現在世界中でもっとも普及されているプログラミング言語です。