R
Size: a a a
2020 April 29
ПК
То есть реально сегфолт как будто в операторе присваивания
Просрал this, инфа сотка
ПК
Расскажите пожалуйста, в чем принципиальное отличие
от
?
std::aligned_storage<16,16>
от
std::aligned_storage<16,4>
?
Это два разных типа
q
Provides the nested type type, which is a trivial standard-layout type suitable for use as uninitialized storage for any object whose size is at most Len and whose alignment requirement is a divisor of Align.
в первый я могу положить что угодно, у чего alignof == 1,2,4,8,16
а во второй только alignof == 1,2,4 ?
в первый я могу положить что угодно, у чего alignof == 1,2,4,8,16
а во второй только alignof == 1,2,4 ?
v
Provides the nested type type, which is a trivial standard-layout type suitable for use as uninitialized storage for any object whose size is at most Len and whose alignment requirement is a divisor of Align.
в первый я могу положить что угодно, у чего alignof == 1,2,4,8,16
а во второй только alignof == 1,2,4 ?
в первый я могу положить что угодно, у чего alignof == 1,2,4,8,16
а во второй только alignof == 1,2,4 ?
Да.
NP
using Align1616 = std::aligned_storage<16,1>::type;
Int3 object;
Align1616 alignedObj;
new (&alignedObj) Int3{object};
На том же cppref написано, что если вы явно задаёте 2ой параметр шаблона, то это должен быть alignof(T), иначе UB
NP
🤯 то есть его нельзя использовать для набора типов с разным alignof?
кажется, просто не стоит трогать второй параметр в этом случае
NP
кажется, просто не стоит трогать второй параметр в этом случае
The default value of Align is the most stringent (the largest) alignment requirement for any object whose size is at most Lenq
На том же cppref написано, что если вы явно задаёте 2ой параметр шаблона, то это должен быть alignof(T), иначе UB
какое то противоречие между 2 и 1 абзацем
в первом говорится что должен быть делителем, во втором, что должен совпадать
в первом говорится что должен быть делителем, во втором, что должен совпадать
NP
какое то противоречие между 2 и 1 абзацем
в первом говорится что должен быть делителем, во втором, что должен совпадать
в первом говорится что должен быть делителем, во втором, что должен совпадать
Вообще по логике вещей для кейса с набором типов
Но явно об этом ничего не написано
T1, …, TN должен прокатывать вариант с НОК(alignof(T1), …, alignof(TN))Но явно об этом ничего не написано