- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
// Приведение численного типа к структуре с битовыми полями
template <class STRUCT_T, typename T>
STRUCT_T struct_cast(const T n)
{
static_assert(std::is_integral<T>::value, "Integral type required as T");
static_assert(std::is_class<STRUCT_T>::value, "class or struct type required as STRUCT_T");
static_assert(sizeof(T) == sizeof(STRUCT_T), "Incompatible types passed");
return *(reinterpret_cast<const STRUCT_T*>(&n));
}
// Приведение структур с битовыми полями к численному типу
template <typename T, class STRUCT_T>
T integral_cast(const STRUCT_T& s)
{
static_assert(std::is_integral<T>::value, "Integral type required as T");
static_assert(std::is_class<STRUCT_T>::value, "class or struct type required as STRUCT_T");
static_assert(sizeof(T) == sizeof(STRUCT_T), "Incompatible types passed");
return *(reinterpret_cast<const T*>(&s));
}
PolinaAksenova 12.05.2021 21:22 # 0
Whenever an attempt is made to read or modify the stored value of an object of type DynamicType through a glvalue of type AliasedType, the behavior is undefined unless one of the following is true:
AliasedType and DynamicType are similar.
AliasedType is the (possibly cv-qualified) signed or unsigned variant of DynamicType.
AliasedType is std::byte (since C++17), char, or unsigned char: this permits examination of the object representation of any object as an array of bytes.
MAKAKA 12.05.2021 21:32 # 0
какой дефинишен)
а если стрикт алайзинг отключить? или не поможет?
PolinaAksenova 12.05.2021 21:37 # 0
В Стандарте есть формальное определение, просто оно (по традиции) длинное и запутанное.
> а если стрикт алайзинг отключить?
Поможет, просто отключатся някоторые оптимизации. Ну и код няпортабельный будет, конячно, хотя это по задаче смотреть нядо.
PolinaAksenova 12.05.2021 21:26 # +2
Примерня так будет по Стандарту.
А с 20-й версии можня не городить велосипед: https://en.cppreference.com/w/cpp/numeric/bit_cast .