Skip to main content
本文に 120 文字追加
ソース リンク
mjy
  • 1.2万
  • 3
  • 22
  • 53

これ以下の理由で、これは不可能です。
特に

  • &str は不変の参照なのでこれを通してデータの変更はできない
  • &str により参照されている間は、元のデータも変更できない
  • 配列の生存期間を終わらせる以外に、参照を「返す」ような操作は無い

特に、文字列リテラルで作られたデータは、読み出し専用メモリ領域に置かれるようなので、unsafe な機能を使っても変更できないと思います。

これは不可能です。
特に、文字列リテラルで作られたデータは、読み出し専用メモリ領域に置かれるようなので、unsafe な機能を使っても変更できないと思います。

以下の理由で、これは不可能です。

  • &str は不変の参照なのでこれを通してデータの変更はできない
  • &str により参照されている間は、元のデータも変更できない
  • 配列の生存期間を終わらせる以外に、参照を「返す」ような操作は無い

特に、文字列リテラルで作られたデータは、読み出し専用メモリ領域に置かれるようなので、unsafe な機能を使っても変更できないと思います。

ソース リンク
mjy
  • 1.2万
  • 3
  • 22
  • 53

v..snow さんの回答にある通り、String を使うのが実用的な書き方だと思います。

以下では、&str(文字列リテラル)のまま行なう場合を考えます。
この条件だと、「新しい配列を用意せず」の意味合いによって可不可が変わります。

別のメモリ領域を確保したくない、という場合

これは不可能です。
特に、文字列リテラルで作られたデータは、読み出し専用メモリ領域に置かれるようなので、unsafe な機能を使っても変更できないと思います。

変換結果の要素を別の配列に入れるのではなく、最初の配列に入れたい、という場合

これは可能です。
必要なのは、

  • 変換結果をメモリ領域に保持する
  • そのメモリ領域の生存期間を目的の配列以上にする
  • 目的の配列の各要素を、確保したメモリ領域への参照とする(借用する)

の3点です。
質問者さんのコードが「letを使ってと言われる」のは、上記の生存期間を確保できていないからです。コンパイラの提案に従って let を使うと下記のようになり、エラーなく実行可能です。

let mut data = ["Hello", "World"];
                                                      
let buf0 = data[0].chars().rev().collect::<String>();
let buf1 = data[1].chars().rev().collect::<String>();
data[0] = &buf0;
data[1] = &buf1;
                                                      
dbg!(&data);
assert!(data == ["olleH", "dlroW"]);

要素の数だけ let を書くのは大変なので、一つの変数にまとめる場合は、下のようなコードが考えられます。

Vec を使う例:

let mut data = ["Hello", "World"];
let mut buf: Vec<String> = Vec::new();
                                                   
for s in data.iter() {
    buf.push(s.chars().rev().collect::<String>());
}
                                                   
for (i, s) in buf.iter().enumerate() {
    data[i] = &s;
}
                                                   
dbg!(&data);
dbg!(&buf);
assert!(data == ["olleH", "dlroW"]);

String を使う例:

let mut data = ["Hello", "World"];
let mut buf = String::new();
                                     
for s in data.iter() {
    for c in s.chars().rev() {
        buf.push(c);
    }
}
                                     
let mut head = 0;
for i in 0..data.len() {
    let tail = head + data[i].len();
    data[i] = &buf[head..tail];
    head = tail;
}
                                     
dbg!(&data);
dbg!(&buf);
assert!(data == ["olleH", "dlroW"]);

以上のように、コンパイラを満足させるためループが2つに分かれており、いささか非効率かも知れません。もっと良い方法があれば知りたいです。