Kotlinのwhen文でis Stringによる判定で条件分岐したい。

Question

前提・実現したいこと

Kotlinのwhen文でis Stringによる判定で条件分岐したい。

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

Kotlinスタートブックという本でKotlinを学習しています。
その中でKotlinのwhen文は、Javaのswitch文のように特定の数値だけでなく、様々な条件文を選択肢に取れると書かれていました。
その例としてis Stringによる判定が含まれていたので、早速コードを写経してみたのですがエラー//errormessage1が出てしまいます。
これではis Stringによる条件分岐ができないのですが、どのようにしたら上手くいくか、また上手くいかない要因は何かを知りたいです。

Incompatible types: String and Int  //errormessage1
'when' with subject should be used more... //errormessage2

該当のソースコード

fun p2(){
        val y=17 //error
        val blank=when(y){
            is String->y.isBlank()
            else->true
        }
        println(blank)

        var z:Int=88
        val grade=when{
            z>=90->'A'
            z>=80->'B'
            z>=70->'C'
            z>=60->'D'
            else->'F'
        }
        println(grade)
}

試したこと

//errorのy=17を、y="abc"にしてみた所成功。
最初は、when(y)のカッコ内のパラメータy(Int)と、条件文is String(Boolean)を比較しているからエラーが出ているのだと思ったのですが、試しにString型の"abc"に変えて見た所通ってしまいました。
そもそもこの推測はerrormessage1に沿ってはいないのですが。

//when(y){is String〜}を、when{y is String->〜}としてみた所失敗
下でwhen{z>=〜}としていたのでこれで通るのではと思いましたが、今度は//errormessage2が表示され、通りませんでした。

Answer 1

whenは全く関係なくて、これで同じエラーが出ます。

val y = 17
println(y is String)
//=> error: incompatible types: String and Int

おそらくですが、Intは絶対にStringにならないからエラーになっているんだと思います。（warningでいいような気もするのですが‥）

val y: Any = 17

にすれば正しく実行されます。

Comments

[shal0ne]

解決しました。
そもそもStringとかの親クラス(Any)で中身を隠してからでないと、isが使えないのですかね。
あくまでキャストができるかどうかの判定だから、最初からこういうのは例外みたいな感じなのかなんなのか。
でも、いずれにせよなり得ないのであればfalseで通してくれても良さそうなのですが、、、
ありがとうございました。

[fuzzball]

>>中身を隠してからでないと、isが使えないのですかね
"hoge" is Stringはエラーにならない（trueが返る）ので、使えないわけではないですね。

>>falseで通してくれても良さそうなのですが
意味のないコードというのはミスの可能性がありますので、エラーなりワーニングなりは出すべきだと思います。

[shal0ne]

返信がきちんと送れていませんでした。
自身で確認したのを忘れていましたが、そうでしたね。
その方が仕様としては適切なのですね。
十分に理解はできていませんが、そう思い至れるよう精進します。
回答ありがとうございました。