Можно ли избежать такой конструкции?

Question

[iihaarr]

Есть некая структура m, для нее и ссылки на нее реализуются арифмитические операции.
Можно ли избежать такого:

let a = m::new(...);
let b = m::new(...);
let c = &a + &(&a + &b);

То есть чтобы не писать ссылки, но при этом не перемещалось и не копировалось.
let c = a + (a + b); //Без перемещений

Comments

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

А что является результатом операции &a + &b новый объект типа m?

[iihaarr]

Василий Банников, Да, именно новый объект.

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

iihaarr, значит там в недрах всё равно происходит копирование и создание чего-то нового.
Почему бы тогда не реализовать сложение для значения, а не для ссылки?

[iihaarr]

Василий Банников, Не хочу, чтобы после операций значения из переменных перемащилсь.
То есть, мог написать так:

let a = m::new(...);
let b = m::new(...);

let c = a + (a + b);
println!(“{}”, a);

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

iihaarr, а что из себя представляет m?
Может можно реализовать Copy?

[iihaarr]

Василий Банников, Я писал ради теста матрицу.
Я понимаю, так нельзя?

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

iihaarr, ну вроде бы нужно явно & в твоём случае писать.
Но сейчас проверю на всякий случай, как rustc ищет реализацию для операторов.
Ну по крайней мере реализация std::ops::Add для значения избавит тебя от необходимости писать & около скобок

Answer 1

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

Чтобы было чуть проще, тебе нужно реализовать оператор для:
1. m + m
2. &m + &m
3. m + &m
4. &m + m

https://stackoverflow.com/questions/38811387/how-t...

Но совсем избавиться от & не получится - компилятор в любом случае должен знать, когда ты хочешь копирование/move, а когда ты хочешь заимствовать.