K
Когда приводишь к void*
Size: a a a
2021 July 07
@N
Фраза звучит как "вилка для разведения костра норм"
@N
Ну приводи к const void*
K
А если изначально тип не был константным?
@N
Берешь cv-квалификатор, извлекаешь из типа, добавляешь их к новому типу. Проблемы где?
K
Да нигде, const cast выручает
@N
Или проблемы в том, что stl и Александреску не читали?
K
Хз где ты тут проблемы увидел ) сам придумал что то
@N
Ну ты предложил const_cast делать для type erasure. Это как шуруповёртом варить борщ
@N
Вещи и задачи вообще не связанные
K
Нет же, это для того чтобы убирать cv у типа
@N
Зачем?
@N
Пусть останется как есть
K
А если функция принимает только void*, без cv?
@N
Ну это проблемы функции и проблемы нарушения контрактов
@N
Это с type erasure не связано
K
Да не проблема это
@N
Нет. Это нарушение cv-контракта, если ты туда const пихаешь
K
Вот пример как это используется