From f7ae224f3e2530bb4b05166b6013f8a42432086e Mon Sep 17 00:00:00 2001 From: nsfisis Date: Mon, 20 Mar 2023 22:03:50 +0900 Subject: feat(nuldoc): rename simpara to para See also: https://tdg.docbook.org/tdg/sdocbook/5.1/para.html --- .../2021-10-02/ruby-then-keyword-and-case-in.xml | 80 +++++++++++----------- 1 file changed, 40 insertions(+), 40 deletions(-) (limited to 'content/posts/2021-10-02/ruby-then-keyword-and-case-in.xml') diff --git a/content/posts/2021-10-02/ruby-then-keyword-and-case-in.xml b/content/posts/2021-10-02/ruby-then-keyword-and-case-in.xml index 00afc01..64851fc 100644 --- a/content/posts/2021-10-02/ruby-then-keyword-and-case-in.xml +++ b/content/posts/2021-10-02/ruby-then-keyword-and-case-in.xml @@ -16,26 +16,26 @@ - + この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/787a8cf888a304497223 - - + +
- +
TL; DR - + case - in によるパターンマッチング構文でも、case - when と同じように then が使える (場合によっては使う必要がある)。 - +
<literal>then</literal> とは - + 使われることは稀だが、Ruby では then がキーワードになっている。次のように使う: - + - + このキーワードが現れうる場所はいくつかあり、if、unless、rescue、case 構文がそれに当たる。 上記のように、何か条件を書いた後 then を置き、式がそこで終了していることを示すマーカーとして機能する。 - +
なぜ普段は書かなくてもよいのか - + 普通 Ruby のコードで then を書くことはない。なぜか。次のコードを実行してみるとわかる。 - + - + 次のような構文エラーが出力される。 - + - + 二つ目のメッセージは無視して一つ目を読むと、then か ; か改行が来るはずのところ変数だかメソッドだかが現れたことによりエラーとなっているようだ。 - - + + ポイントは改行が then (や ;) の代わりとなることである。true の後に改行を入れてみる。 - + - + 無事 Hello, World! と出力されるようになった。 - +
なぜ <literal>then</literal> や <literal>;</literal> や改行が必要か - + なぜ then や ; や改行 (以下 「then 等」) が必要なのだろうか。次の例を見てほしい: - + - + then も ; も改行もないのでエラーになるが、これは条件式がどこまで続いているのかわからないためだ。 この例は二通りに解釈できる。 - + - + then 等はこの曖昧性を排除するためにあり、条件式は if から then 等までの間にある、ということを明確にする。 C系の if 後に来る (/) や、Python の :、Rust/Go/Swift などの { も同じ役割を持つ。 - - + + Ruby の場合、プログラマーが書きやすいよう改行でもって then が代用できるので、ほとんどの場合 then は必要ない。 - +
<literal>case</literal> - <literal>in</literal> における <literal>then</literal> - + ようやく本題にたどり着いた。来る Ruby 3.0 では case と in キーワードを使ったパターンマッチングの構文が入る予定である。この構文でもパターン部との区切りとして then 等が必要になる。 (現在の) Ruby には formal な形式での文法仕様は存在しないので、yacc の定義ファイルを参照した (yacc の説明は省略)。 - - + + https://github.com/ruby/ruby/blob/221ca0f8281d39f0dfdfe13b2448875384bbf735/parse.y#L3961-L3986 - + - + 簡略版: - + - + ここで、keyword_in は文字通り in、p_top_expr はいわゆるパターン、then は then キーワードのことではなく、この記事で then 等と呼んでいるもの、つまり then キーワード、;、改行のいずれかである。 - - + + これにより、case - when による従来の構文と同じように、then 等をパターンの後ろに挿入すればよいことがわかった。つまり次の3通りのいずれかになる: - + - + ところで、p_top_expr には if による guard clause が書けるので、その場合は if - then と似たような見た目になる。 - +