Комментарии / Профиль NN1 / Хабр

Передача по ссылке предполагает, что писатель должен думать когда нужно перемещать, а когда нет и не забыть последнее использование переместить для эфективности.

Можно посмотреть как с этим дела обстоят в C++ и убедиться, что это неудобно и создаёт ошибки при использовании после перемещения.

struct A {}

fn x(a : A) {}

fn main() {
    let a = A {};
    
    x(a);
    x(a);
}

error[E0382]: use of moved value: a
--> src/main.rs:11:7
|
8 | let a = A {};
| - move occurs because a has type A, which does not implement the Copy trait
9 |
10 | x(a);
| - value moved here
11 | x(a);
| ^ value used here after move

А когда мы хотим ссылку, то есть заимствевоние то пишем об этом явно

struct A {}

fn x(a : &A) {}

fn main() {
    let a = A {};
    
    x(&a);
    x(&a);
}

Внезапным исключением являются "методы", где компилятор за нас умеет ставить заимствевование

https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=a0919eb2079c6a9c2b5508998159eebf

trait IA {
    fn x(self: &mut Self);
    fn y(self: &Self);
}

struct A {}

impl IA for A {
    fn x(self: &mut Self) {}
    fn y(self: &Self) {}
}

fn main() {
    let mut a = A {};
    
    a.x();
    a.x();
    a.y();
    a.y();
}

Ну и конечно если мы перемещаем, то не соберёться

trait IA {
    fn x(self: Self);
}

struct A {}

impl IA for A {
    fn x(self: Self) {}
}

fn main() {
    let a = A {};
    
    a.x();
    a.x();
}

error[E0382]: use of moved value: a
--> src/main.rs:15:5
|
12 | let a = A {};
| - move occurs because a has type A, which does not implement the Copy trait
13 |
14 | a.x();
| --- a moved due to this method call
15 | a.x();
| ^ value used here after move

А про макросы всё верно.

Видимо не посмотрели как сделано в других языках и вышло что вышло.

Обещают поправить в будущем.
Надеюсь сделают как полагается с нормальной типизацией и гигиеной.

Итоги встречи ISO C++ на Гавайях: начинаем полировку стандарта С++26

NN1 6 дек в 08:18

При создании вектора тоже надо указать тип. Тут нет в этом различия.

Да ещё одна функция. Но в стандарт не может предусмотреть на все случаи жизни. У нас будет книга на тысячи страниц тогда.

Насчёт holds_alternative, тут можно было бы сделать, но тогда в шаблонных классах пришлось бы писать v.template holds_alternative<T>.

Это ещё сложнее понять. К тому же есть свободные функции как get.

Итоги встречи ISO C++ на Гавайях: начинаем полировку стандарта С++26

NN1 3 дек в 09:14

То, что можно сделать функций вспомогателем не будет в стандарте без серьёзных аргументов.

template <typename Container>
constexpr Container with_capacity(size_t capacity)
{
   Container c;
   c.reserve(capacity);
   return c;
}

auto v = with_capacity<vector<int>>(10);

А вот с таскаи, да беда.
Есть пару попыток сделать нормально, но пока нет заинтересованности больших компаний видимо не будет продвижения.

https://github.com/lewissbaker/cppcoro
https://github.com/David-Haim/concurrencpp

В MSVC вообще есть свой Concurrency Runtime ( https://learn.microsoft.com/en-us/cpp/parallel/concrt/concurrency-runtime )