Std::copy / memcpy

@h3mbr0 · Регистрация: 12.03.2012

Студворк — интернет-сервис помощи студентам

Щас сойду с ума

C++
1
2
3
4
5
6
7
8
template<typename T, typename U>
constexpr auto convert(T val)
{
    auto *buf = reinterpret_cast<uint8_t*>(&val);
    std::remove_cv_t<U> ret;
    memcpy(&ret, buf, sizeof T);
    return ret;
}

работает идеально

C++
1
2
3
4
5
6
7
8
template<typename T, typename U>
constexpr auto convert(T val)
{
    auto *buf = reinterpret_cast<uint8_t*>(&val);
    std::remove_cv_t<U> ret;
    std::copy(buf, buf + sizeof T, &ret);
    return ret;
}

возвращает мусор и перетирает стек
ЧЯНДТ?

@h3mbr0 · 25.06.2019, 23:09 **[ТС]**

Сообщение от rat0r

std::bit_cast

C++20, увы.

@oleg-m1973 · 25.06.2019, 23:26

Сообщение от h3mbr0

Сообщение от rat0r
std::bit_cast
C++20, увы.

C++
1
2
3
4
5
template<typename U, typename T>
constexpr auto convert(T val)
{
    return *(U *)&val;
}

@zayats80888 · 25.06.2019, 23:29

Сообщение от oleg-m1973

return *(U *)&val;

Вот тут пишут что это может быть UB
https://en.cppreference.com/w/... e_aliasing

@oleg-m1973 · 25.06.2019, 23:44

Сообщение от zayats80888

Вот тут пишут что это может быть UB
https://en.cppreference.com/w/... e_aliasing

Точно такое же UB, как memcpy

@zayats80888 · 25.06.2019, 23:54

Сообщение от oleg-m1973

Точно такое же UB, как memcpy

Цитата из ссылки:

When it is needed to interpret the bytes of an object as a value of a different type, std::memcpy or std::bit_cast (since C++20)can be used:

C++
1
2
3
4
5
6
double d = 0.1;
std::int64_t n;
static_assert(sizeof n == sizeof d);
// n = *reinterpret_cast<std::int64_t*>(&d); // Undefined behavior
std::memcpy(&n, &d, sizeof d); // OK
n = std::bit_cast<std::int64_t>(d); // also OK

@h3mbr0 · 01.07.2019, 20:41 **[ТС]**

Сообщение от oleg-m1973

Точно такое же UB, как memcpy

Не по теме:

Зачем люди заходят в треды и не читая остальных постов отвечают ахинею?

@MegaBatcher2000 · 01.07.2019, 20:44

Не по теме:

"ЧЯНДТ" расшифровывается как "Что я не делаю так?"

@rat0r · 02.07.2019, 00:22

Не по теме:

Сообщение от h3mbr0

Зачем люди заходят в треды и не читая остальных постов отвечают ахинею?

Вы, видимо, не согласны с тем, что копировать memcpy между разными типами это UB? И можете показать пункты в стандарте, которые определяют поведение?

@GbaLog- · 02.07.2019, 05:46

Сообщение от rat0r

Вы, видимо, не согласны с тем, что копировать memcpy между разными типами это UB?

ну, смотря какие типы.

§3.9.2
For any object (other than a base-class subobject) of trivially copyable type T, whether or not the objectholds a valid value of typeT, the underlying bytes (1.7) making up the object can be copied into an array of char or unsigned char.[42] If the content of the array of char or unsigned char is copied back into the object, the object shall subsequently hold its original value.
[Example:

C++
1
2
3
4
5
6
#define N sizeof(T)
char buf[N];
T obj; //objinitialized to its original value
std::memcpy(buf, &obj, N); // between these two calls to std::memcpy,
//obj might be modified
std::memcpy(&obj, buf, N);// at this point, each subobject of obj of scalar type holds its original value

— end example]

42) By using, for example, the library functions (17.6.1.2)std::memcpy or std::memmove

@rat0r · 02.07.2019, 06:02

GbaLog-, это тривиальный случай.
Я имею в виду что-нибудь вроде

C++
1
2
3
4
5
6
double d = 0.1;
std::int64_t n;
static_assert(sizeof n == sizeof d);
// n = *reinterpret_cast<std::int64_t*>(&d); // Undefined behavior
std::memcpy(&n, &d, sizeof d); // OK <- ??????
n = std::bit_cast<std::int64_t>(d); // also OK

@GbaLog- · 02.07.2019, 06:04

del

@h3mbr0 · 03.07.2019, 20:27 **[ТС]**

Сообщение от rat0r

Я имею в виду что-нибудь вроде

А в чем UB, можно поинтересоваться?

@rat0r · 03.07.2019, 20:31

Сообщение от h3mbr0

А в чем UB, можно поинтересоваться?

В том, что в стандарте C++ нет адекватного описания того, что делает std::memcpy(&n, &d, sizeof d);.

@h3mbr0 · 03.07.2019, 20:53 **[ТС]**

Сообщение от rat0r

нет адекватного описания того

N4296 17.5.1.5

C library
Paragraphs labeled “See also:” contain cross-references to the relevant portions of this International Standard and the ISO C standard, which is incorporated into this International Standard by reference

N1548 9899:201x
7.23.2.1

Description
The memcpy function copies n characters from the object pointed to by s2 into the object pointed to bys1. If copying takes place between objects that overlap, the behavior is undefined.

Там же 6.5.7

An object shall have its stored value accessed only by an lvalue expression that has one ofthe following types:88)— a type compatible with the effective type of the object,— a qualified version of a type compatible with the effective type of the object,— a type that is the signed or unsigned type corresponding to the effective type of theobject,— a type that is the signed or unsigned type corresponding to a qualified version of theeffective type of the object,— an aggregate or union type that includes one of the aforementioned types among itsmembers (including, recursively, a member of a subaggregate or contained union), or— a character type.

@rat0r · 07.07.2019, 09:32

h3mbr0, подождём, что в C++20/23 примут насчёт memcpy.

Новые блоги и статьи Все статьи Все блоги /
Транскрипция 55-минутного видео через Whisper: WhisperDesktop облажался, спас Google Colab[ anaschu 01.06.2026 Понадобилось получить текст из свежезагруженного видео на YouTube. Казалось бы, задача на пять минут. Заняла полтора часа. Делюсь опытом — может кому пригодится последовательность решений. . . .	21 мат мед. Планы на развитие модели здравоСохранения anaschu 01.06.2026 AnyLogic: план развития симуляционной модели рабочего коллектива — динамический абсентеизм, реальные данные, три сценария сравнения Продолжаю серию постов о дискретно-событийной модели рабочего. . .	20. Мат мед. Абсентеизм как отдельный тип простоя anaschu 29.05.2026 Апдейт модели: исправленные баги, абсентеизм и новые механизмы Продолжаю развивать ранее описанную модель рабочего коллектива на AnyLogic. За последние несколько дней был проведён серьёзный. . .	19. здоровье, усталость и психотип работника влияют на производительность предприятия, и наоборот, производительность на здоровье, усталось и психотип anaschu 28.05.2026 Дискретно-событийная модель рабочего коллектива на AnyLogic: здоровье, выгорание, психотипы и микростимуляция Привет, коллеги. Хочу поделиться итогами нескольких недель работы над симуляционной. . .
"Прокси" для последовательного порта Eddy_Em 28.05.2026 Эту штуку написал я достаточно давно. Но сейчас вот понадобилось настроить датчик грозы, но при этом не отключать его от "метеодемона". Соответственно, надо запустить этот "прокси": метеодемон будет. . .	Рефакторинг программы уравнивания. Massaraksh7 26.05.2026 Пример по предыдущей записи в блоге. Но, надо заметить, что, во-первых, там оптимизация не только математики, но и работы с базой данных, и с графами, а во-вторых, это ещё не всё.	Использование TThread в Lazarus для математических вычислений. Massaraksh7 25.05.2026 Производя рефакторинг своих программ на предмет ускорения их работы, обратил внимание на такой аспект, как сокращение времени матвычислений. Дело в том, что приходится работать с большими матрицами. . .	Модель здравосохранения 18. Чем здоровее работник, тем быстрее выгорает anaschu 24.05.2026 Имитационная модель корпоративного здравоохранения: что показывает математика Сегодня в модели рабочего коллектива на AnyLogic появились три новые механики — выгорание через накопленную усталость,. . .

@MegaBatcher2000
	01.07.2019, 20:44
	Не по теме: "ЧЯНДТ" расшифровывается как "Что я не делаю так?" 0

@GbaLog- Любитель чаепитий 3745 / 1801 / 566 Регистрация: 24.08.2014 Сообщений: 6,020 Записей в блоге: 1
	02.07.2019, 06:04
	del 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	07.07.2019, 09:32
	h3mbr0, подождём, что в C++20/23 примут насчёт memcpy. 0