H
Трансмют любой формы всегда потенциально отстреленная нога
Size: a a a
2020 November 27
MB
Более того, я видел случай когда transmute_copy работал лучше чем transmute :)
p
Трансмют любой формы всегда потенциально отстреленная нога
&T -> &T трансмьют норм, я спрашивал в дискорде раста
ΑZ
Но ведь для тупого каста указателей типы должны быть ещё совместимыми (выравнивание и т.д.)
с указателями проще, они всегда одного размера)
ΑZ
&T -> &T трансмьют норм, я спрашивал в дискорде раста
транусмут &T -> &T это
id 🧟p
транусмут &T -> &T это
id 🧟да, но я не могу на уровне типов доказать что T == U
ΑZ
да, но я не могу на уровне типов доказать что T == U
T == T
p
я делаю if TypeId::of::<T>() == TypeId::of::<U>() { transmute::<&T, &U>(value) }
ΑZ
лан, уже не смешно. Я докопался до опечатки T вместо U. А ты и не заметил :/
MB
ах да.
transmute это же тоже копирование.
transmute это же тоже копирование.
p
лан, уже не смешно. Я докопался до опечатки T вместо U. А ты и не заметил :/
ну смотри. мне известно что T == U, то есть U=T, и можно сказать что T == T. но расту я объяснить это не могу. то есть раст считает что каст &T -> &U, а на самом деле каст &T -> &T
ΑZ
ну смотри. мне известно что T == U, то есть U=T, и можно сказать что T == T. но расту я объяснить это не могу. то есть раст считает что каст &T -> &U, а на самом деле каст &T -> &T
нельзя. У них дропы разные могут быть
ΑZ
а даже если один, это будет дабл фри
p
нельзя. У них дропы разные могут быть
у одного типа разные дропы? шта?
p
ах да.
transmute это же тоже копирование.
transmute это же тоже копирование.
Reinterprets the bits of a value of one type as another type.
transmute is semantically equivalent to a bitwise move of one type into another.
transmute is semantically equivalent to a bitwise move of one type into another.
MB
Reinterprets the bits of a value of one type as another type.
transmute is semantically equivalent to a bitwise move of one type into another.
transmute is semantically equivalent to a bitwise move of one type into another.
Да, но при этом аргумент в него мувается, то есть memcpy-ится
A
эмм. Если мувается, то владение передается, нет?
A
то есть реально байты вообще те же самые остаются
MB
Владение передается, но с ним данной ситуации проблем нет.
Речь именно про memcpy-и байтиков
Речь именно про memcpy-и байтиков
p
Да, но при этом аргумент в него мувается, то есть memcpy-ится
подкрепишь свои слова кодом из компилятора?