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.

Новые блоги и статьи Все статьи Все блоги /
Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .

@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