Глядя на этот пример: https://github.com/PacktPublishing/Hand ... function.C
который представляет собой реализацию std::function с небольшой оптимизацией буфера, я заметил, что оператор вызова является const, и происходит const_cast on.
Теперь, если кто-то создает константную функцию foo, которая оборачивает вызываемый объект неконстантным voidoperator()(), который изменяет внутреннее состояние, поскольку небольшой буфер хранится в объекте (и должен быть константным, потому что foo), из-за приведения const происходит изменение константной памяти. Мне было интересно, является ли это UB, и если нет, то каково объяснение?
Я попытался изложить приведенный выше пример в приведенном ниже коде, где есть объект X с модифицирующим оператором вызова, который стирается по типу в Foo, и его оператор вызова все еще можно вызвать.
#include
#include
struct X
{
void operator()()
{
++x; // Modifies state
std::println("{}", x);
}
int x{};
};
struct Foo
{
Foo(int x) { ::new (buf.data()) X{ x }; }
void operator()() const
{
auto* ptr{ static_cast(buf.data()) };
(*static_cast(const_cast(ptr)))();
}
std::array buf{};
};
int main()
{
const Foo foo{ 0 }; // foo is const
foo(); // modifies foo memory
}
Подробнее здесь: https://stackoverflow.com/questions/798 ... d-behavior
Является ли это const_cast в контексте неопределенного поведения со стиранием типа? ⇐ C++
Программы на C++. Форум разработчиков
1761996089
Anonymous
Глядя на этот пример: https://github.com/PacktPublishing/Hands-On-Design-Patterns-with-CPP-Second-Edition/blob/main/Chapter06/09_function.C
который представляет собой реализацию std::function с небольшой оптимизацией буфера, я заметил, что оператор вызова является const, и происходит const_cast on.
Теперь, если кто-то создает константную функцию foo, которая оборачивает вызываемый объект неконстантным voidoperator()(), который изменяет внутреннее состояние, поскольку небольшой буфер хранится в объекте (и должен быть константным, потому что foo), из-за приведения const происходит изменение константной памяти. Мне было интересно, является ли это UB, и если нет, то каково объяснение?
Я попытался изложить приведенный выше пример в приведенном ниже коде, где есть объект X с модифицирующим оператором вызова, который стирается по типу в Foo, и его оператор вызова все еще можно вызвать.
#include
#include
struct X
{
void operator()()
{
++x; // Modifies state
std::println("{}", x);
}
int x{};
};
struct Foo
{
Foo(int x) { ::new (buf.data()) X{ x }; }
void operator()() const
{
auto* ptr{ static_cast(buf.data()) };
(*static_cast(const_cast(ptr)))();
}
std::array buf{};
};
int main()
{
const Foo foo{ 0 }; // foo is const
foo(); // modifies foo memory
}
Подробнее здесь: [url]https://stackoverflow.com/questions/79806491/is-this-const-cast-in-the-context-of-type-erasure-undefined-behavior[/url]
Ответить
1 сообщение
• Страница 1 из 1
Перейти
- Кемерово-IT
- ↳ Javascript
- ↳ C#
- ↳ JAVA
- ↳ Elasticsearch aggregation
- ↳ Python
- ↳ Php
- ↳ Android
- ↳ Html
- ↳ Jquery
- ↳ C++
- ↳ IOS
- ↳ CSS
- ↳ Excel
- ↳ Linux
- ↳ Apache
- ↳ MySql
- Детский мир
- Для души
- ↳ Музыкальные инструменты даром
- ↳ Печатная продукция даром
- Внешняя красота и здоровье
- ↳ Одежда и обувь для взрослых даром
- ↳ Товары для здоровья
- ↳ Физкультура и спорт
- Техника - даром!
- ↳ Автомобилистам
- ↳ Компьютерная техника
- ↳ Плиты: газовые и электрические
- ↳ Холодильники
- ↳ Стиральные машины
- ↳ Телевизоры
- ↳ Телефоны, смартфоны, плашеты
- ↳ Швейные машинки
- ↳ Прочая электроника и техника
- ↳ Фототехника
- Ремонт и интерьер
- ↳ Стройматериалы, инструмент
- ↳ Мебель и предметы интерьера даром
- ↳ Cантехника
- Другие темы
- ↳ Разное даром
- ↳ Давай меняться!
- ↳ Отдам\возьму за копеечку
- ↳ Работа и подработка в Кемерове
- ↳ Давай с тобой поговорим...
Мобильная версия