Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

文字列補間

💡 お知らせ: このドキュメントはAIによって翻訳されています。表現に違和感がある場合は、原文(英語)を参照するか、翻訳にご協力ください。

Flix の文字列は補間をサポートしています。文字列の中で "${e}" という形式を書くと、e を評価して値にし、ToString トレイトを使って文字列に変換します。例えば:

let fstName = "Lucky";
let lstName = "Luke";
"Hello Mr. ${lstName}. Do you feel ${fstName}, punk?"

文字列補間(String interpolation)は、ToString インスタンスを実装している任意の型に対して機能します。例えば:

let i = 123;
let o = Some(123);
let l = 1 :: 2 :: 3 :: Nil;
"i = ${i}, o = ${o}, l = ${l}"

文字列補間には任意の式を含めることができます。例えば:

let x = 1;
let y = 2;
"${x + y + 1}"

2 つの文字列を連結するには、文字列補間を使うのが推奨される方法です:

let x = "Hello";
let y = "World";
"${x}${y}" // x + y と同等

値を文字列に変換する場合も、文字列補間を使うのが推奨される方法です:

let o = Some(123);
"${o}"

これは、ToString トレイトの toString 関数を明示的に使うのと同等です:

ToString.toString(o)

文字列補間はネストさせることもできますが、推奨されません。