swiftで書籍の通りに記述しているが警告が出る

Question

前提・実現したいこと

swiftで基礎を学んでいる初学者です。
将来的にiphoneアプリを作成したいと考えていますが、基礎知識があまりにも少な過ぎるので基礎から学んでいます。
書籍「詳細!Swift iPhoneアプリ開発入門ノート: iOS 12+Xcode 10対応」を見ながら打ち込んでいます。

警告の箇所を解決したいのですが、解決方法が分からず困っています。
原因はある程度分かっているのですがどう記述したらよいかというところで止まってしまいました。

発生している問題・エラーメッセージ

bigger = bの部分で下記の警告
Will never be executed
警告をクリックすると下記の文が表示されます。
1. Condition always evaluates to true

まず警告文「Will never be executed」をそのままコピペで検索してみました。

「if文の条件式が常に真(true)か偽（false）になるようなコードを書いてしまうと、このような警告が発生する原因となる。」

とあり、
2つ目の警告文「1. Condition always evaluates to true」を読み解くと確かに記述しているコードは真しか常に選ばれてないなと感じました。
しかし、この警告を解決するためにどう記述し直せば良いかが分からず困っています。

該当のソースコード

//if文　a、bを比較して大きな値をbiggerに代入する
    func ifBigger(){
        let a = 57
        let b = 45
        var bigger : Int
        if a>b {
            bigger = a
        } else  {
            bigger = b
        }
        print("aは(a)　bは(b) biggerは(bigger)")
    }

試したこと

elseの部分をelse if a<bに変更してみましたが変わらずでした
もしかしたらバージョンが異なるので記述方法が古い可能性

補足情報（FW/ツールのバージョンなど）

マシンの環境
macOS Catalina Version 10.15.3
Xcode Version 11.4
Swift version 5.1.3

書籍のバージョン
Xcode Version 10
Swift version 4.2

Comments

[hoshi-takanori]

それって黄色く表示されてると思いますが、黄色は警告で、エラーは赤です。
エラーだと実行できませんが、警告はそのまま実行できます。

たとえば将来的には a と b をユーザーに入力してもらうんだけど、とりあえず今は適当な値を代入して、その先の処理を書きたい、みたいなことがプログラミングをしているとよくあります。そういう場合に、警告は出ているけど実行してその先の処理が正しいことを確認できる、というのは重要です。もちろん、実際のプロダクト開発であれば後で a と b に目的の値を入力する処理を書く必要がありますが、それを忘れないために警告を出している、ということでもあります。

[wesker.alice]

すみません、ご指摘ありがとうございます。
エラーではなく警告でした。
質問の文章をエラーから警告に修正させていただきました。

[hoshi-takanori]

書籍の意図としては、「if 文の挙動を理解してもらうためのサンプルコードを示したけど、a と b の値が決めうちだと実際にはどちらかしか実行されなくて if 文の意味はない。それは分かってるけど、a や b をユーザーに入力してもらうにはもっと難しいコードを書かないといけないので、今の段階では警告はとりあえず無視して実行して、その代わりに a や b の値をいろいろな値に変えて実行して、if の挙動を理解してくださいね。」って感じだと思います。

[wesker.alice]

なるほどですね。
ランダム要素を含ませると警告が出にくい・回避できる事を教えて頂きました。
プログラミングとはとても奥が深いですね。
日々勉強になります。

Answer 1

let a = 57
let b = 45

ですので if a > b { しか成り立ちません。

従って、

    } else  {
        bigger = b
    }

は絶対に到達しないコードとなり、表記のようなエラーとなってしまいます。

---

例えば、Int.random(in:)のようなメソッドを覚えておくと、実行ごとに異なる結果が得られる練習問題も作れますので、覚えておいて損はないとおもます。

playground を使えば余計なコードを書く必要もないので便利です。

import Foundation
// Playground で実行できます。

let a = Int.random(in: 1...10)
let b = Int.random(in: 1...10)

print("変数 a の値: (a)")
print("変数 b の値: (b)")

let bigger: Int

if a > b {
    print("変数 a の値が大きい")
    bigger = a
} else if b > a{
    print("変数 b の値が大きい")
    bigger = b
} else {
    print("2つの変数 a, b の値は同じ")
    bigger = a
}

print("大きい方の値は (bigger) です")

// 他の制御構文の練習にも使える
switch bigger {
case ...4:
    print("大きい方の値は 5 未満です")
case ...9:
    print("大きい方の値は 10 未満です")
default:
    print("10以上の値が代入されました")
}

Comments

[TsukubaDepot]

> しかし、このエラーを解決するためにどう記述し直せば良いかが分からず困っています。

一つは、aとｂに代入している値を入れ替えてみることです。

[wesker.alice]

ご回答ありがとうございます。

aとbを入れ替えてみたところ、今度は常に偽のみという逆の結果のエラー「1. Condition always evaluates to false」が表示されました。

let a = Int.random(in: 1...10)
let b = Int.random(in: 1...10)
でエラーが解決されました。

Int.random(in:)メソッド、教えて頂きありがとうございます。
非常に勉強になりました。

[TsukubaDepot]

値を入れ替えた、つまり
let a = 45
let b = 57

であれば、a > b は成り立たない、つまり「Conditions always evaluates to false（条件式は常に false と評価されます）」となります。

[wesker.alice]

常に真、常に偽にならない方法→ランダムに設定で解決。毎回どちらかの可能性があるということでエラーを回避できるということですね。

「Int.random(in:)」
大変素晴らしいメソッドを教えていただきありがとうございます。

[TsukubaDepot]

値を固定して実行している関係上、コンパイラが実行前に真理値を判定し、エラー（正確には Warning）を出してしまうことは致し方がないと思います。

C言語の scanf/printf や他の言語の同様の関数とは違い、Swift はコンソールベースで簡単にインタラクティブなサンプルコードを書くのはちょっと大変ですから、randomメソッド（Int型以外にもあります）を使って、少しでもランダム要素を含ませた方がいいかもしれませんね。

[wesker.alice]

なるほどですね。
たしかに値を固定してしまうと真理値でどちらかが必ず選ばれない警告が出るということですね。
ランダム要素、警告を回避できる方法の一つとして、また一つ成長できました。
ありがとうございます。