文字列補間
💡 お知らせ: このドキュメントは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)
文字列補間はネストさせることもできますが、推奨されません。