Kotlinの「エルビス演算子を使って早期リターンする」はどこで説明されているのか

Question

kotinの「エルビス演算子を使って早期リターンする」について教えてください。
最近、ある人から「エルビス演算子を使って早期リターンする」を使うように指示されました。

私は、この技法をkotlinの教科書でみたことがありませんし、
ネットで調べて見ても、断片的な記述しかありません。

Kotlinのエルビス演算子を使って早期リターンする
https://ymmtshny.com/2019/04/07/kotlin-elivs-operator/

皆さんは、この技法を何を見て習得されたのでしょうか？

例えば、
(1)Kotlinの公式ドキュメントのどこかに書かれている
(2)KotlinのSampleプログラムの中で見つけて模倣している

後学のために教えてください。よろしくお願いします。

Comments

[hoshi-takanori]

qiita で…。(または何かの勉強会の資料だったかも…。)
https://qiita.com/magie-pooh/items/b1179af28f5e0d50b62a
https://qiita.com/koher/items/d9411a00986f14683a3f
https://qiita.com/tick-taku/items/cf7e8c0a0ad12082daa7
https://qiita.com/itmammoth/items/918835d1433809e4def6
https://qiita.com/AAkira/items/d2cb56eff8952ecfc66b
https://qiita.com/tamappe/items/64027b87e6ee075e5f51

Answer 1

僕は今回見て「便利だね。今度使おう」と思いました。 というように、他人のコードや記事や本を見て覚えます。

kotlinの公式にもこういうイディオム週があってエルビス演算子の例もありますね

Comments

[tsussy]

そうですね。参考にさせていただきます。ありがとうございます！

Answer 2

皆さんは、この技法を何を見て習得されたのでしょうか？

どこかで見たのかもしれないけれど、おぼえていない。けれど、?: error("...")とはよく書いていた。

fun sample(user_name: String?) {
    user_name ?: error("user_name is null")

error すなわち throw IllegalStateException(...) なので、であれば、returnもできるだろうな、と思ったのかもしれない、けれど、思い出せはしない。

fun sample(user_name: String?) {
    user_name ?: return
    //do something
}

Comments

[shiketa]

改めてドキュメントを読んでみると、書いてありますね。 https://kotlinlang.org/docs/null-safety.html#elvis-operator
> Since throw and return are expressions in Kotlin, they can also be used on the right-hand side of the Elvis operator. This can be handy, for example, when checking function arguments:

[tsussy]

Kotlinの公式ドキュメントに書いてあったのですね。やはり公式ドキュメントは目を通さなければ。ありがとうございます！

[shiketa]

5/12公開のビデオ。こういうものも参考になります。
* Return and Throw with the Elvis Operator | Kotlin Tips https://www.youtube.com/watch?v=L8aFK7QrbA8