Можно ли надеяться, что код вида void purge_some_fields(X& x) {

Question

Можно ли надеяться, что код вида void purge_some_fields(X& x) {

const auto f1{move(x.f1)};
const auto f2{move(x.f2) };
}
с оптимизациями превратится в вызов деструкторов in-place?
Или как можно его улучшить?
Гарантируется, что X умрёт в скоупе, в котором эта функция вызывается

#c #embedded #programming #russian

0

29.07.2022

14 ответов

42 просмотра

Dmitriy [Отпуск] Автор вопроса

Boris Usievich
Деструкторы f1 f2 очевидно вызовутся и поля в них ...

Да... И я в раздумьях, можно ли переписать этот костыль лучше

0

29.07.2022

Anatoly Shirokov

Dmitriy [Отпуск]
Да... И я в раздумьях, можно ли переписать этот ко...

А в чем костыль? Ну мувнул состояние и что?

0

29.07.2022

Boris Usievich

Dmitriy [Отпуск]
Да... И я в раздумьях, можно ли переписать этот ко...

А цель?

0

29.07.2022

Dmitriy [Отпуск] Автор вопроса

Anatoly Shirokov
А в чем костыль? Ну мувнул состояние и что?

Фактически - это аналог .reset() для нескольких полей. Нужен для разрыва цепочки зависимостей: x.f через некие системные вызовы держит CoW-ссылку на X

0

29.07.2022

Dmitriy [Отпуск] Автор вопроса

Boris Usievich
А цель?

Мысли в слух. Не perf-critical

0

29.07.2022

Till Schneider

Нет не гарантируется, Мне не нравится, что x передается в функцию по ссылке, лучше через указатель

0

29.07.2022

Dmitriy [Отпуск] Автор вопроса