Телеграмм чат группы rust_offtopic страница 17251

2020 August 14

CD

Reference implementation of relocate_at and uninitialized_relocate

template<class T>
T *relocate_at(T *source, T *dest)
{
    if constexpr (std::is_trivially_relocatable_v<T>) {
        std::memmove(dest, source, sizeof(T));
        return std::launder(dest);
    } else {
        T *result = ::new (dest) (std::move(*source));
        source->~T();
        return result;
    }
}

лол. так где там про деструктивный мув? :D

ты его весь прочитал?

источник

02:45пожаловаться #1

Т8

Т-34 85 in rust_offtopic

Т-34 85

ты точно внимательно читал? Там написано, что если хочешь всегдп кидать ошибку при дереференсе 0, юзай -fno-delete-null-pointer-checks

короче, Царь - гений, он мне глаза раскрыл

источник

02:47пожаловаться #2

RP

Roman Proskuryakov in rust_offtopic

Constantine Drozdov

ты его весь прочитал?

я дочитал до "As discussed in EWGI at San Diego, this proposal does not give us a general user-provided "destructive move" facility." Этого достаточно.

источник

02:47пожаловаться #3

Т8

Т-34 85 in rust_offtopic

класть на эти стандарты

источник

02:47пожаловаться #4

RP

Roman Proskuryakov in rust_offtopic

Тебе говорят, что в С++ мув не деструктивный. А ты говоришь, что говно вкусное, если его поперчить.

источник

02:47пожаловаться #5

RP

Roman Proskuryakov in rust_offtopic

окей.

источник

02:47пожаловаться #6

CD

Constantine Drozdov in rust_offtopic

Roman Proskuryakov

я дочитал до "As discussed in EWGI at San Diego, this proposal does not give us a general user-provided "destructive move" facility." Этого достаточно.

Именно. Зато если внимательно прочитать этот proposal будет ясна причина провала всех подобных попыток, дело всё в том, что семантическая категория is_destructive_moveable для C++ в точности совпадает с категорией std::is_move_constructible_v

источник

02:48пожаловаться #7

RP

Roman Proskuryakov in rust_offtopic

Constantine Drozdov

Именно. Зато если внимательно прочитать этот proposal будет ясна причина провала всех подобных попыток, дело всё в том, что семантическая категория is_destructive_moveable для C++ в точности совпадает с категорией std::is_move_constructible_v

семантическая категория должна совпадать с невозможностью использовать переменную после вызова std::move, остальное - сахарок и линейные типы. что из этих слов тебе не ясно?

источник

02:49пожаловаться #8

CD

Constantine Drozdov in rust_offtopic

Roman Proskuryakov

семантическая категория должна совпадать с невозможностью использовать переменную после вызова std::move, остальное - сахарок и линейные типы. что из этих слов тебе не ясно?

это неверно

источник

02:49пожаловаться #9

Т8

Т-34 85 in rust_offtopic

Т-34 85

класть на эти стандарты

лучше изучать компиляторы

источник

02:49пожаловаться #10

CD

Constantine Drozdov in rust_offtopic

Roman Proskuryakov

семантическая категория должна совпадать с невозможностью использовать переменную после вызова std::move, остальное - сахарок и линейные типы. что из этих слов тебе не ясно?

ответ неожиданно содержится вот в этой строке
We define a new verb, "relocate," which is equivalent to a move and a destroy (analogous to the existing verb "swap," which is equivalent to a move, two move-assignments, and a destroy).

источник

02:49пожаловаться #11

Ct

Casual tears in rust_offtopic

Т-34 85

ты точно внимательно читал? Там написано, что если хочешь всегдп кидать ошибку при дереференсе 0, юзай -fno-delete-null-pointer-checks

> assume that a memory access to address zero always results in a trap
Как assume переводится знаешь надеюсь?

источник

02:49пожаловаться #12

Т8

Т-34 85 in rust_offtopic

Casual tears

> assume that a memory access to address zero always results in a trap
Как assume переводится знаешь надеюсь?

знаю. Читай дальше

источник

02:50пожаловаться #13

Т8

Т-34 85 in rust_offtopic

что за манера такая - вырывать из контекста?

источник

02:50пожаловаться #14

RP

Roman Proskuryakov in rust_offtopic

Constantine Drozdov

ответ неожиданно содержится вот в этой строке
We define a new verb, "relocate," which is equivalent to a move and a destroy (analogous to the existing verb "swap," which is equivalent to a move, two move-assignments, and a destroy).

Костя, ты там головой не ударился с утра? Тебе сказали, что в С++ нет деструктивного мува. Ты сказал, что он есть.

источник

02:50пожаловаться #15

RP

Roman Proskuryakov in rust_offtopic

Ало

источник

02:50пожаловаться #16

RP

Roman Proskuryakov in rust_offtopic

Очнись

источник