Если я выделяю память для некоторого типа T
- пусть это в шаблоне, скажем -
template<typename T>
char* alloc(size_t n) { return new char[n*sizeof(T)] ; }
то места гарантированно хватит для n
элементов с типом T
или нет? Какие-то проблемы из-за выравнивания могут быть? И если могут - то как их правильно решить?
Дополнение - по совету @VladD я ппробовал выделить память с особыми требованиями к выравниванию:
#include <iostream>
#include <typeinfo>
using namespace std;
struct alignas(256) D {
char a;
char b;
};
template<typename T>
void* alloc(size_t n) {
return reinterpret_cast<void*>(new
aligned_storage<sizeof(T), alignof(T)>[n]);
}
template<typename T>
int allocSize() {
cout << "sizeof = " << sizeof(T) << ", alignof = " << alignof(
T) << endl;
cout << "type = " << typeid(typename
aligned_storage<sizeof(T), alignof(T)>::type).name() << endl;
return sizeof(typename
aligned_storage<sizeof(T), alignof(T)>::type);
}
int main() {
cout << allocSize<D>() << endl;
cout << alloc<D>(5) << endl;
}
GCC это не смог отработать - https://ideone.com/dgo75h. Но Visual Studio нормально отработал, но выдал:
sizeof = 256, alignof = 256
type = union std::_Align_type<double,256>
256
004A1258
т.е. понял и размер, и выравнивание, но адрес дал выровненный явно не на 256. Мне это выравнивание не нужно, это так, игры - но тем не менее получается, что так выделять память не получается?