CD
посылать = static_assert(иди суй uniq_ptr)
так никаких проблем у того же variant нет
Size: a a a
2020 August 22
AF
а что такое MoveAssignable?
AF
но не constructable
EV
AF
или у меня порядок не в ту сторону?
CD
а что такое MoveAssignable?
надо вспоминать, навскидку - представь аллокатор без propagate
CD
constructible требует уметь создавать новый объект по образцу
CD
пусть даже в раздолбанном состоянии, но чтобы над ним сработали operator = и (внутренний) swap
Е
Для простого ифа - да. А вот для констекспр - нет. Компилятор просто удалит невалидный код из нужной(ненужной) ветки ифа, он же constexpr
CD
или у меня порядок не в ту сторону?
в ту, move ctor требует создать еще один объект и допускает разрушение прошлого, move assign - нет
CD
вообще надо уже библиотеку долбанутых примеров сделать
Е
А че там? Мой инет не вытягивает
struct foo {
int a;
int bar() {
if constexpr (false)
return *a; // ошибка
else
return a;
}
};EV
Видимо, не всегда :) ну я только с трейтами и шаблонами тестил, с ними всё как надо 👍🏾
CD
или у меня порядок не в ту сторону?
как минимум, свидетель: DestructiveMoveConstructible + MoveAssignable означает возможность поместить в вектор (релоцируемость), и тебе надо что-то из этого обязательно удалять для нерелоцируемого объекта
почему означает - надо перечитать внимательно семантики операций
почему означает - надо перечитать внимательно семантики операций
EV
struct foo {
int a;
int bar() {
if constexpr (false)
return *a; // ошибка
else
return a;
}
};Хотя вообще странно. Выглядит как валидный код О___о
CD
или у меня порядок не в ту сторону?
увы, passkey в деструктор запихать не получится :(
CD
давно мечтаю о параметрах деструктора
EV
давно мечтаю о параметрах деструктора
А как их передавать туда?
CD
А как их передавать туда?
Да как угодно