c言語の除算における商の切り捨てについて

質問
知恵袋でのやり取り
知恵袋でのベストアンサーの説明の中に、C言語の規格として下記のことがあり、

整数同士の除算の場合、/演算子の結果は、代数的な商から小数部を切り捨てた値とする(注87)。商a/bが表現できる場合、式(a/b)*b+a%bは、aに等しくなければならない。

注87 これは、"0方向への切り捨て"とも呼ぶ。

こちらについてなのですが、どうして「(a/b)*b+a%bは、aに等しくなければならない。」という規格にしているのでしょうか？
もし具体的な場面で、「このような場面でこの規格の方が良いから」という説明がありましたら嬉しいです。

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

回答3件

ベストアンサー

割り算の結果と余りの結果が合うように、ってことですな。
算数の結果としては当然のことを文章に書いてるだけですね

投稿2021/04/24 04:54

y_waiwai

総合スコア88051

kai20000803

2021/04/24 05:44

「(a/b)*b+a%bは、aに等しくなければならない。」についてどうして初めの(a/b)のところで一の位未満の商の値を出さないかということがわかりません。もし一の位未満の商の値を出すなら、「(a/b)*b+a%bは、aに等しくなければならない。」が成り立たなくなります。僕が質問したかった内容は、どうしてC言語の規格で商の値を一の位未満を切り捨てるのかということです。具体的に切り捨てた方が都合が良い場面が具体的にありましたら教えていただければ嬉しいです！

hoshi-takanori

2021/04/24 06:24 編集

横から失礼します。 > どうして初めの(a/b)のところで一の位未満の商の値を出さないかということがわかりません。 C 言語では整数同士の割り算は整数を返すことになってます。そのためには小数点以下を切り捨てる、切り上げる、四捨五入する、ランダムにどちらかを選ぶ、などの選択肢がありますが、C 言語では　0 方向に切り捨てることに決めたということです。 > もし一の位未満の商の値を出すなら、「(a/b)*b+a%bは、aに等しくなければならない。」が成り立たなくなります。話は逆で、「(a/b)*b+a%bは、aに等しくなければならない。」というのは商と余りの関係を定めたものであり、この条件を満たすように、商の定義が変われば余りの定義も変える必要があります。小数点以下を丸めないのであれば余りは常に 0 になります (実際には誤差が発生しますが、ここでは無視します) し、もしも商の小数点以下を切り上げることにしたら、1 / 2 = 1 かつ 1 % 2 = -1 になるでしょう。 > 具体的に切り捨てた方が都合が良い場面が具体的にありましたら教えていただければ嬉しいです！例えば幅 1000px の画面に横幅 300px のカラムをいくつ配置できるか考えた場合、1000 / 300 の結果を整数で求める必要がありますし、画面からはみ出さないようにするには小数点以下は切り捨てるのが自然な選択になります。