一応釘刺しとくけど一般的に文字列変数は値型じゃなくて参照型
文字型をもつ言語ならそれは値型の可能性はあるけども

そもそもなんで最初に「値型の変数では」って話を切り出したの？