C++ 03: конструктор по умолчанию для построения типов в станде :: Карта

Question

Я всегда думал, что следующий код

std::map<int, int> test; 
std::cout << test[0] << std::endl; 

напечатает случайное значение, поскольку это создало бы инициализировано значение в карте. Однако оказывается, что созданный int на самом деле всегда инициализируется нулем. И стандартные встроенные типы также инициализируются нулем при определенных обстоятельствах.

Вопрос: когда нулевое инициализация выполняется для стандартных типов (int/char/float/double/size_t)? Я уверен, что если я объявлю int i; в середине нигде, он будет содержать случайные данные.

P.S. Вопрос о стандарте C++ 03. Причина вопроса заключается в том, что теперь я не уверен, когда у есть, чтобы обеспечить инициализацию встроенных типов, таких как int/float/size_t или когда их можно безопасно пропустить.

Answer 1

Стандартные контейнеры (map, vector и т.д ...) всегда значение инициализации их элементов.

Грубо говоря, значение инициализация является:

• по умолчанию инициализация если есть конструктор по умолчанию
• нулевой инициализации иначе

(Некоторые говорят, что , лучшее из обоих миров)

Синтаксис прост: T t = T(); будет value-initialize t (и T t{}; в C++ 11).

Когда вы используете map<K,V>::operator[], «значение» части пары инициализируется значением, которое для встроенного типа дает 0.

Answer 2

Простейшим решением является просто создать оболочку шаблона, которая всегда будет инициализирована.

Answer 3

Я уверен, что если я объявлю int i; в середине нигде он будет содержать случайные данные.

Нет, не всегда.

Если создать объект типа POD, то он будет неинициализированными:

struct A 
{ 
    int iv; 
    float fv; 
}; 

int main() 
{ 
    A a; // here the iv and fv are uninitialized 
} 

Как только вы добавить конструктор, они становятся инициализирован:

struct A 
{ 
    A(){} // iv and fv initialized to their default values 
    int iv; 
    float fv; 
}; 

int main() 
{ 
    A a; // here the iv and fv are initialized to their default values 
} 

Answer 4

Обратите внимание, что типы данных как char, int, float, не инициализируются. , но вместо этого в этом конкретном случае он был инициализирован, потому что он использовался в классе контейнеров stl.

Все объекты класса контейнера stl инициализируются.

Answer 5

В частности, для приведенного выше случая:

std::map<int, int> test; 
std::cout << test[0] << std::endl; 

Мы используем std::map::operator[];

Отсносящийся http://www.cplusplus.com/reference/stl/map/operator[]/

Для T & карта :: оператор [] (Const key_type & х);

... Если x не соответствует ключу любого элемента в контейнере, функция вставляет новый элемент с этим ключом и возвращает ссылку на его отображаемое значение. Обратите внимание, что это всегда увеличивает размер карты на единицу, даже если для элемента не назначено сопоставленное значение (элемент построен по его конструктору по умолчанию).

Так, test[0] leades к test[0] = int();

Живой пример здесь: http://ideone.com/8yYSk

Также читайте: std::map default value for build-in type