単体のテストパターン(入れ子)が分かりません

Question

単体でのテストパターンがイメージできません。
if文の入れ子でつまずいています。フローチャートを書いてみても途中で分からなくなりました。

条件が1～3あって、文1～3が処理結果として表示されるのでしょうか？
ご回答お待ちしています。よろしくお願いいたします。

if(●●==■■){ 条件1
if(▲▲==(U2)0x70{ 条件2
if((◆◆==OFF) 条件3
&&(〇〇〇<=◇◇◇)){
▽▽=(U1)ON; 文1
☆☆=(U1)ON;
}
else{
▽▽=(U1)OFF; 文2
☆☆=(U1)OFF;
}
}
else{
▽▽=(U1)ON; 文3
☆☆=(U1)OFF;
}

Answer 1

decision-table書きなされ。こんなの↓

式1    式2    式3
false  ----- ----- → なにもしない
true   false ----- → 文3
true   true  false → 文2
true   true  true  → 文1

※ ----- は 「true/false どっちでもいい」の意

Comments

[hasune]

やはりそのテーブルが条件分岐を分かりやすくするのに適してるんですね・・・。
紙に書いてみても途中からよく分からなくなってしまっている状態です。

そもそもelseが2つあるのが謎です。
elseというのは、「全ての条件式が偽の時に実行する処理」だと思います。
これならelseはひとつあれば十分なのではないのでしょうか？

if(●●==■■){ 条件1
if(▲▲==(U2)0x70{ 条件2
if((◆◆==OFF) 条件3
&&(〇〇〇<=◇◇◇)){
▽▽=(U1)ON; ①
☆☆=(U1)ON;
}
else{
▽▽=(U1)OFF; ②
☆☆=(U1)OFF;
}
}
else{
▽▽=(U1)ON; ③
☆☆=(U1)OFF;
}

[episteme]

インデントつけてよーく見てみ。 if～else～else にはなってないよ。

[hasune]

Chironianさんがつけてくださったインデントありのコードを見てみて考えました。
elseが2つあるのはおかしいと思ったのは、
私の中で条件1に対して2つelseがあると思えたため違和感となっていました。
インデントをつけたのを見るとそれぞれのifとセットになっているのですね。

まだどのifとelseがセットなのかパッとひらめけませんが、
インデントをつけることで少しだけ理解できました。
ありがとうございます。

Answer 2

](f2f7879d941a58eafa81cbfb327bed61.png)

IF構文は、(a) IFで判断する条件、(b) 条件が成立した時(THEN)に行う処理、(c) 条件が成立しなかった時(ELSE)に行う処理、の３つから出来ていて、THENブロックやELSEブロックが無い場合もあります。

質問のコードのフローチャートを書いてみると上の図のようになります。
・最初のIF（条件１）には　条件が成立しない時(ELSE)の処理が無くて、条件が成立した時(①THEN)には、IF(条件２)に行きます。
・二つ目のIF(条件２)で条件が成立した時(②THEN)はIF(条件３）に行き、条件が成立しない時(②ELSE)は文３が実行されます。
・三つ目のIF(条件３）で条件が成立した時(③THEN)は文１が実行され、条件が成立しない時(③ELSE)には文１が実行されます。

分かりづらかったのは、最初のIFのELSEブロックが無いためではないかと思います。あるいは、THENブロックに"THEN"とは書かれていないからかも。

IFが３つあったら、THENブロックとELSEブロックも、それぞれ３つあるのが標準的な構成で、THENブロックやELSEブロックが無い（処理すべきものが無いので省略されている）場合もあるというふうに理解してください。

Comments

[hasune]

自分だと上手く作れなかったためフローチャートは非常に助かります。ありがとうございます！

＞分かりづらかったのは、最初のIFのELSEブロックが無いためではないかと思います。
仰る通りで、ひとつ疑問が解決されました。
最初のIF（条件１）elseが省略されているのは処理がないからなんですね。
すごく合理的ですが、初心者の私にはそこまで考えが及びませんでした・・・。

二つ目のIF(条件２)で条件が成立しない時(②ELSE)は文３にいくのは、
そういう書き方だからなのでしょうか？
すみません、 条件と文がどうセットになっているのかピンときていません。
考え方としては、外から中に条件と文がセットになっていく感じでしょうか？

[hasune]

＞分かりづらかったのは、最初のIFのELSEブロックが無いためではないかと思います。

レスへのコメントをいただけませんでしたが、
おそらくもうコメントはつかないと思われるので締め切らせていただきます。
こちらのコメントが大きな手掛かりとなったためベストアンサーとさせていただきます。
皆様、どうもありがとうございました。

Answer 3

こんにちは。

インデントを付け直してみました。一目瞭然ではないでしょうか？

if(●●==■■)                              条件1
{
    if(▲▲==(U2)0x70                       条件2
    {
        if((◆◆==OFF) &&(〇〇〇<=◇◇◇))  条件3
        {
            ▽▽=(U1)ON;                    文1
            ☆☆=(U1)ON;
        }
        else
        {
            ▽▽=(U1)OFF;                   文2
            ☆☆=(U1)OFF;
        }
    }
    else
    {
        ▽▽=(U1)ON;                        文3
        ☆☆=(U1)OFF;
    }

ところで、最後の}が抜けてますね。

Comments

[hasune]

わざわざ見やすいようインデントをつけていただいたのに理解ができませんでした。
大変申し訳ないです・・・。

何が分からなくさせているのか考えてみたところ、
「全ての条件式が偽の時に実行する処理をする」elseが2つもあることが一番の謎です。

p.s.最後の}ご指摘ありがとうございます。
ふつうは1つで十分なのではないのでしょうか？

[Chironian]

「全ての条件式が偽の時に実行する処理をする」という判定式は存在していないですよ。
if文についてもう一度学習されると良いと思います。
↓に良い例題があると思います。
https://www.sejuku.net/blog/25214

> ふつうは1つで十分なのではないのでしょうか？
{ と } は対応がとれていないといけません。

[hasune]

仰る通りif文への理解がまだまだ浅いです・・・。理解が足らず申し訳ないです。
実はこちらのサイトは既に閲覧済みでしたが、
やはり入れ子の場合のテストパターンがイメージできません・・。

ただ、ifがどのelseとセットなのか分からないのですが、
以下のコメントで何かつかみかけました。ありがとうございます！
> ふつうは1つで十分なのではないのでしょうか？
{ と } は対応がとれていないといけません。