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

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

ただいまの
回答率

90.47%

  • C

    4661questions

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

  • C++

    4526questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

演算子の優先度 part2

解決済

回答 2

投稿

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

strike1217

score 564

前回の質問
先ほどは、コメントが長くなりすぎてしまったので、演算子の優先度ということで、続きを!

#include<stdio.h>

int main() {
    int c = 0;
    int b = 100;
        int z = 432;

    ++c || ++b && ++z;
    printf("c = %d, b = %d\n", c, b);  // c = 1, b = 100;
    return 0;
}

||についてなのですが、
if()の条件式の中でしか使ったことがないんですが・・・

左側が0以外なら右側を評価しない理由を教えてください。

++c || (++b && ++z)
(++b && ++z) こちらが最初に実行されるのではないのですか??

++c && ++b && ++z → (++c && ++b) && ++z
こちらも、左側が0以外なら右は評価しないのでしょうか??

++c && ++b || ++z → (++c && ++b) || ++z

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

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

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

    クリップを取り消します

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

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

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

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

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

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

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

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

    質問の評価を下げる

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

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

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

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

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

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

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

    詳細な説明はこちら

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

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

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

回答 2

checkベストアンサー

+6

C言語の場合、演算の順序は基本的に決まっていません

/* foo()、bar()、baz()の3つは、
  どれが先に実行されるか不定 
*/
int a = foo() + bar() * baz(4);

ただし、いくつか例外となるポイントがあって、副作用完了点と呼ばれています。

  • 1つの式(セミコロンで区切られた式文や、ifなどの制御構文の中に書かれた式)が終わる時点
  • 関数呼び出し(関数を呼び出した場合、関数の引数の評価→関数の実行→関数の返り値を使った式の処理、という順で実行されます)
  • 条件演算子(&&||? :)の左側(右側を評価するかを決める以上、左側でいったん評価は完結する)
  • コンマ演算子(関数呼び出しのコンマとは別物です)

ということで、&&||のある場合、「左側→条件判断→(必要なら右側)」となるように実装されています。

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2017/04/30 13:22

    &&, ||
    != や == もそうなるんでしょうか?
    条件判断が先かと思っていました。

    キャンセル

  • 2017/04/30 13:23

    いえ、!=や==は普通の演算子ですので、これらに絡む式でもどのような順で実行されるかはわかりません。

    キャンセル

  • 2017/04/30 13:28

    コンマ演算子(関数呼び出しのコンマとは別物です)

    関数呼び出しのコンマ とは何のことでしょう?
    func(3, 7); パラメータを区切るコンマですか?

    キャンセル

  • 2017/04/30 13:30

    はい、「関数呼び出しのコンマ」は引数を区切る用のコンマを意図したものです。

    コンマ演算子は、「a=2, b=5, c=8;」のように式と式を区切るような演算子です(あまり使う機会も多くないかもしれませんが)。

    キャンセル

  • 2017/04/30 13:34

    演算の順序は基本的に決まっていないけど、例外があり、
    演算子「&&」, 「||」, 「? :」 のときは、順序決まっている!ということですね。

    && や || といった演算子が、if()内ではなく、質問内のプログラムのようにドドーーンと途中に記述するなんていう使い方をする時なんてあるんでしょうか??

    見たことないんですが・・・

    キャンセル

  • 2017/04/30 13:38

    それこそif文の代わりに使うことがあります(基本構文がC言語と同じJavaScriptでコードを最小化すると、そのような&&、||が頻出する形になります)。

    キャンセル

  • 2017/04/30 13:40

    あああ!!
    なるほど!

    if()の代わりにこそ使うのですね!!

    「条件判断によって、左側を実行するか否か」確かに条件分岐になっておりますね!

    キャンセル

  • 2017/04/30 13:43

    演算の順序が決められている
    条件演算子(&&、||、? :)や コンマ演算子
    というのは、特別扱いですね!

    キャンセル

+5

結合順位と評価順序は違います。

簡単な例としてa || b && cを挙げますと、

イメージ説明

図にかけばいいというものでもないですが・・・

「演算子の結合順位」は特定の式がどの式と演算されるのかを決めますが、それは式の全体の実行順序ではありません。この絵でいうと木の末端に近い方が「結合順位が高い演算」です。優先順位が一番高い演算子(ここでは&&)から枝が出て左右のオペランドがその下にぶら下がると考えてください。

一方「実行順序」はこの絵でいう木の根元から末端へ、左から右への順番になります。ごちゃごちゃしてしまってわかりにくくなってしまいましたが赤の線で書いたように「深さ優先」で木を順番に辿って行って実行(式の評価)が行われます。

なにか、計算機の教科書でこんなような図をみた気がします・・・


追記:あ・・・大事なことを言い忘れました。この実行順序は「考えやすさ」のためにこう書いてますが、このように評価したときと同じ結果になるのであればコンパイラーが勝手に演算順序を変えてしまうこともあり得たと思います。しかし、言語仕様で決まった意味を変えるような滅茶苦茶な変え方はもちろんしません。
追記2: Cの演算順序の「仕様」についてはmaisumakunさんがコメントされていることが正確と思います。この絵は「結合優先度」「演算順序」が一致しない点を示すことを意図したものであることをご承知おきください。つまり分かりやすさを意図しています。

投稿

編集

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2017/04/30 13:37

    木の根元とは、||の評価開始(1)のところでしょうか?

    キャンセル

  • 2017/04/30 13:40

    おっしゃるとおりです。計算機科学ではこのような木構造はよく出てきますが根本(root)がどこかは常に同様ですので覚えておくとよいですよ。この絵での||ですね。

    キャンセル

  • 2017/04/30 13:46

    「演算子の結合順位」は特定の式がどの式と演算されるのかを決めますが、それは式の全体の実行順序ではありません。

    そうなんですか? 分かりにくいですね・・・
    結合順序 = 実行順序

    a = b +=2;  → b = b+2; a = b;
    こちらは、結合順序ですよね?

    キャンセル

  • 2017/04/30 13:47

    実行順序というのは、maisumakunさんが言っている「演算順序」と同じものでしょうか?

    キャンセル

  • 2017/04/30 13:52

    代入演算子の「代入動作そのもの」は最後に行われます。
    = を上の図の||の位置に、+=を&&の位置に置いてみてください。代入動作が行われるのは図の(8)と(9)の場所なので、結局同じことである捉えられるんですよ。

    キャンセル

  • 2017/04/30 13:53

    実行順序=演算順序=評価順序
    です。

    キャンセル

  • 2017/04/30 13:56

    「代入演算子の「代入動作そのもの」は最後に行われます。」
    これは、代入演算子の優先度がかなり低いから・・・ですよね?

    キャンセル

  • 2017/04/30 13:58

    (8), (9)両方とも、結果そのものは、1(true) or 0(false)ですよね??

    キャンセル

  • 2017/04/30 14:02 編集

    あくまで上の絵で表現するなら
    「優先度が低いものは優先度が高いものより根っこに違いところに置かれる」その結果自然に「後の方で評価される」とはいえます。

    注意してほしいのは上の絵の(3),(9)のように||,&&は評価の際に複数のタイミングで制御が行われる点です。||の最終的な結果は(9)で決まると言えますが、(9)に到達する前に(3)の時点である条件によって「それ以降の評価が打ち切られる」という制御が入っている点が特別と捉えるといいかと思います。

    キャンセル

  • 2017/04/30 14:07 編集

    ちなみに・・・Cの厳密な仕様という意味ではmaisumakunさんの書かれていることを把握することの方が「正しい」と思います。

    自分の回答は「結合優先度」と「評価順序」は一致してないですよということをイメージしやすさを第一に回答したものです。

    しかし、やはり混乱させちゃうかな・・・

    キャンセル

  • 2017/04/30 14:12

    「「結合優先度」と「評価順序」は一致していない」ということを伝えたいのは、分かります。
    条件演算子の場合は、演算順序が決まっているから、分かりにくいんでしょうかね・・・・

    キャンセル

  • 2017/04/30 14:15

    (8), (9)両方とも、結果そのものは、1(true) or 0(false)ですよね??

    キャンセル

  • 2017/04/30 14:15

    捉え方次第だと思います。慣れてしまうとmaisumakunさんが回答されているように、一つ一つの規則の列挙の意味を頭の中におさめて、その結果「ふむ、こういう順序で評価されるはず」ということがわかってくるようになるのです。言語仕様を読み解く「慣れ」ということになると思います。

    そういう慣れは多数のコードを書いているうちになんとなく身についたり「ぐっと考え込んで、あ!わかった」と理解したり、人それぞれではないかと思います。

    キャンセル

  • 2017/04/30 14:16

    > (8), (9)両方とも、結果そのものは、1(true) or 0(false)ですよね??
    そうです。

    キャンセル

  • 2017/04/30 14:17

    わかりました。
    ありがとうございました。

    木の絵自体はわかりやすいです。

    キャンセル

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

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

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

  • C

    4661questions

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

  • C++

    4526questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。