C++ Динамический размер объекта

Question

Как определить размер среды выполнения объекта?

Мы не говорим о size of the type, но фактический размер объекта, который может изменяться во время выполнения, например:

vector<int> v; 
auto a = MagicSizeF(v); // magic size function 
v.push_back(2); 
v.push_back(2); 
// this should hold - ok there's small consainer optimizations and initial 
// vector capacity and implementation details, but you get what I mean 
assert(MagicSizeF(v) > a); 

В векторном случае это может быть реализовано, как это:

template<typename T> 
auto MagicSizeF(vector<T> const& v) { 
    return v.size()*sizeof(T); // or v.capacity() to be strict 
    // other implementation details memory consumers could be added 
} 

но существует ли стандартный/общий способ сделать это для объектов произвольного типа? Должен ли ABI обойти все детали реализации?

Answer 1

Нет, нет общего способа сделать это, потому что вам понадобится общий способ определения указателей внутри объектов и определения размера их референтов. Что, если вы найдете пустоту *? Что, если вы найдете указатель на массив? Вы даже не можете рассчитать размер этих вещей в некоторых случаях!