OS
если пересылается пакет по сети, то он тоже как бы неоткуда, но жить как-то можно
можно потому сеть написана на С и компиляторы не будут это ломать
Size: a a a
2020 June 05
OS
и в C многие трюки а-ля type punning разрешены
IZ
можно потому сеть написана на С и компиляторы не будут это ломать
Вовсе нет
IZ
это я знаю. меня скорее интересовало какие гарантии я могу ожидать по расположению структур данных в памяти, если приложения которыё с этими структурами работают собираются из разных кодовых баз
У тебя должен быть совместимый ABI , и ты должен это гарантировать.
Как - дело твоё.
Стандарт языка тебе по этому поводу не скажет ничего
Как - дело твоё.
Стандарт языка тебе по этому поводу не скажет ничего
AT
в C++ тоже многое разрешено: reinterpret_cast, Type aliasing,
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 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.IZ
И вот еще вопрос, если структура создана другим приложением, как мое приложение будет знать о времени жизни обьекта в этой памяти. Я ведь буду делать reinterpret_cast сырых байт в структуру
Никак, у тебя должен быть какой-то интерфейс, протокол обмена этих приложений.
ПК
можно потому сеть написана на С и компиляторы не будут это ломать
С сетью точно так же надо лайфтайм через placement new начинать
AT
С сетью точно так же надо лайфтайм через placement new начинать
а просто reinterpret_cast — это за рамками дозволенного?
ПК
а просто reinterpret_cast — это за рамками дозволенного?
Да
OS
в C++ тоже многое разрешено: reinterpret_cast, Type aliasing,
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 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.здесь сказано обратное - ты можешь делать reinterpret_cast обьекта в байты, а не наоборот
ПК
здесь сказано обратное - ты можешь делать reinterpret_cast обьекта в байты, а не наоборот
Но ты можешь делать memcpy в уже созданный объект
ПК
bit cast и есть memcpy
OS
Но ты можешь делать memcpy в уже созданный объект
да, если обьект - trivially copyable. Но ведь я не хочу ничего никуда копировать
OS
я хочу прямо читать и писать в shmem
ПК
я хочу прямо читать и писать в shmem
Чтение и запись и есть memcpy по сути
OS
bit cast и есть memcpy
разве?
AT
ясно. Объект не может появиться, если не был вызван конструктор. Получается для случая разделяемой памяти придётся копировать объект в какую-то свою локацию в процессе, который его не создавал в этой разделяемой памяти
ПК
разве?
Да, шаблонный memcpy с возможностью constexpr и доп проверками на этапе компиляции
AT
ясно. Объект не может появиться, если не был вызван конструктор. Получается для случая разделяемой памяти придётся копировать объект в какую-то свою локацию в процессе, который его не создавал в этой разделяемой памяти
то есть я не могу получить из другого процесса объект непосредственно в разделяемой памяти в неизменном виде, если у него нет тривиального default конструктора
IZ
ясно. Объект не может появиться, если не был вызван конструктор. Получается для случая разделяемой памяти придётся копировать объект в какую-то свою локацию в процессе, который его не создавал в этой разделяемой памяти
Ну, если объект standard layout или pod по старому, то можно и так, без конструкторов работать...