Как пояснить работу с типом &str?

Question

[TicSo]

Почему второй вариант из кода ниже не работает
и можно ли сделать конкатенацию в одну строку кода:

fn main() {
    
    let mut s: &str = "x";
    println!("1. {:?}", s);   // "x"

    // вариант 1:
    let b = s.to_string() + "y";
    s = &b;

    // вариант 2.1:
    // s = (s.to_string() + "z").as_str();
    // или
    // вариант 2.2: 
    // s = &(s.to_string() + "z");
    //
    println!("2. {:?}", s);   // "xy"
}

Answer 1

[Василий Банников]

Для конкатенации строк нужно одно из двух:
1. Одна из строк должна быть String, а не &str и тогда ты просто добавляешь к ней вторую
2. Ты должнен в процессе конкатенации создавать новый String.

А второй вариант у тебя не работает из-за того что ты дропаешь String, который был создан при конкатенации.

Первый вариант имхо не очень читабельный получился. Лучше попробуй вот так:

fn main() {
    let a = "x";
    println!("1. {:?}", a);   // "x"

    let b = format!("{}y", a);
    println!("2. {:?}", b);    // "xy"
}

Либо:

fn main() {
    let mut s = "x".to_string();
    println!("1. {}", s);   // "x"
    s += "y";
    println!("2. {}", s);   // "xy"
}

Comments

[TicSo]

Спасибо за помощь.

Я поправил код, чтобы уточнить, что второй вариант - это два отдельных и равнозначных выражения, которые у меня не работают. Разделил их на 2.1 и 2.2.

Понимаю, что для конкатенации нужна конструкция: String + &str

Если переменная s будет исходно типом данных String, то промежуточная переменная b не нужна. Вот спрашиваю теорию, почему для моего случая,
когда переменная s задана типом &str, - не могу обойтись без промежуточной
переменной. Т.е. в чём причина, по разному передаются в функцию переменные из стека (клонирует) и кучи?

[Василий Банников]

TicSo,

Разделил их на 2.1 и 2.2.

В обоих случаях у тебя дропается String ещё в пределах выражения и ссылка становится невалидной. Об этом вроде даже компилятор говорит со стрелочками.

Т.е. в чём причина, по разному передаются в функцию переменные из стека (клонирует) и кучи?

Ну тут надо снова читать про ownership и borrowing. Куча и стек тут никак не влияют.

Если переменная s будет исходно типом данных String, то промежуточная переменная b не нужна. Вот спрашиваю теорию, почему для моего случая,
когда переменная s задана типом &str, - не могу обойтись без промежуточной
переменной.

Тебе нужна промежуточная переменная с типом String, так как Для &str не определен оператор для конкатенации.
Переменная с типом String будет владеть памятью, которая будет выделена для новой строки.
В примерах 2.1 и 2.2 ты дропаешь этот String => исчезает владелец этой памяти => все ссылки на эту строку/память становятся невалидными.

[TicSo]

Василий Банников,

В примерах 2.1 и 2.2 ты дропаешь этот String

дропаю соответственно этим: `as_str()` и `&` ?
Понятно.
Тогда промежуточная переменная - это обязательное, в моём случае, условие?
Спасибо.

[Василий Банников]

дропаю соответственно этим: `as_str()` и `&` ?

Ну типа. Дропаешь ты тем фактом, что не выделил String в перменную.
Промежуточная переменная получается, что обязательная, но я бы пересмотрел бы код - есть смысл порефакторить (вот в ответе пример есть, что можно получить ровно то же самое, но гораздо более читабельное)

[TicSo]

Исходя из отмеченного решением,
конкатенация в одну строку кода,
если все слагаемые типа &str:

fn main() {
    
    let s: &str = "x";
    println!("1. {:?}", s);     // "x"
    println!("1. {:p}\n", &s);  // 0x7ffd82dd8b70

    // вариант 2.1 не даёт пересоздать:
    // let s: &str = (s.to_string() + "y" + "z").as_str();
    //
    // вариант 2.2 даёт пересоздать: 
    let s: &str = &(s.to_string() + "y" + "z");
    //
    println!("2. {:?}", s);    // "xyz"
    println!("2. {:p}", &s);   // 0x7ffd82dd8c28
}

[Василий Банников]

TicSo, почему вы так упорно избегаете вариант через format!? С ним же гораздо чище получается.
let s = format!("{s}yz");
И зачем сразу всё превращать в &str? Чем не устраивает String? Зачем обязательно в одну строку?
Если это важно, то дайте контекст, где это будет проявляться или хотябы явно напишите об этом.