Размер класса в контейнере (например std::vector)

Question

[dansheb]

Хочется узнать размер(sizeof) класса, который хранится в контейнере (например std::vector).

Если контейнер не пуст, то это элементарно. Я вижу такое решение:

std::vector<int> v;
if(v.size > 0){
    std::cout << sizeof(v[0]) << std::endl;
}else{
//эта часть смущает
    v.push_back(0);
    std::cout << sizeof(v[0]) << std::endl;
    v.clear();
}

или просто

std::vector<int> v;
v.push_back(0);
std::cout << sizeof(v[0]) << std::endl;
v.pop_back();

Минусы обоих подходов:
1. Если наш класс не int и у него нет конструктора по умолчанию, то не понятно, что передавать как аргумент push_back().
2. Так же, если это обернуть методом класс, то этот метод нельзя сделать const, что не логично, так как метод по идее не должен менять члены класса.
3. На самом деле, мы можем изменить этим v. Может поменяться v.capacity(). Конечно можно сохранить v.capacity() до, а потом востановить её через v.reserve() (но это совсем не дело)

P.S. Столкнулся с этой проблемой при написании метода/функции которая сохраняет массив в бинарный файл в формате:
размер элемент1 элемент2 ... элементN
а потом считывает его.

Answer 1

[zvorygin]

А такое подойдет? -

typedef std::vector<int> my_container;
my_container v;
size_t size = sizeof(my_container::value_type);

Т.е. отталкиваться не от значений а от типа - что должно быть правильнее.

Comments

[dansheb]

@zvorygin, спасибо, это то что надо

[jcmvbkbc]

Касаемо вашего оригинального подхода: значение операнда sizeof никогда не вычисляется (см. например, стандарт С++98, п. 5.3.3:1), тип его известен на этапе компиляции. sizeof(v[0]) или sizeof(v.front()) будет работать правильно и даже для пустого контейнера.

[dansheb]

@jcmvbkbc, спасибо. Только знакомлюсь с c++ и ещё не вошло в привычку сразу смотреть стандарт. То что вы предложили действительно лучше подходит для моих нужд (во всяком случае на данном этапе). Кстати, при беглом просмотре стандарта(ISO+IEC+14882-2011, то есть c++11) не нашёл, вычисляется ли value_type на этапе компиляции.
Ещё возник вопрос к @zvorygin, как понять "отталкиваться не от значений, а от типа"? Разве не будет рвенства между sizeof(v[0]) и sizseof(std::vector::value_type) (подразумевая что v - std::vector)?