Czy elementy dodawane do pliku std :: map zostały zainicjalizowane automatycznie?

Question

Załóżmy, że mam mapę

std::map<int, double> foo;

to zachowanie w moim piśmie foo[2] += 3.0; zdefiniowane? To znaczy, czy w moim przypadku automatycznie zainicjowano jakieś domyślnie dodane elementy mapy (mam nadzieję, że do 0.0)?

Jeśli nie, czy wprowadzam ciężarówkę o niezdefiniowanym zachowaniu? Jeśli tak, czy mogę zrobić coś ciekawego z alokatorem, aby wymusić inicjalizację na 0.0?

Answer 1

Tak, w twoim przypadku będzie to value-initialized (jako 0.0). Według cppreference:

Zwraca odwołanie do wartości, które są mapowane do klucza odpowiednik klucza wykonywania wstawiania jeśli taki klucz nie istnieje.

Jeśli wykonywane jest wstawianie, odwzorowana wartość jest zainicjowana wartością (konstruowana domyślnie dla typów klas, zero inicjowana inaczej) i odwołanie do niej jest zwracane.

Answer 2

Tak, są automatycznie inicjowane wartości podczas używania operator[] na nieistniejącym kluczyku. Konkretnie w normie to opisano w §23.4.4.3/1 (gdy mówimy o operator[]):

Efekty: Jeśli nie ma klucza równoważne x na mapie, wstawia value_type(x, T()) na mapie.

Dla większości typów numerycznych, w tym double wyrażenie T() daje element wartości inicjalizacji tego typu, w związku z tym w wyniku czego otrzymano 0.0 w danym przypadku.

Answer 3

N3337 [map.access]/1Efekty: Jeśli nie ma klucza równoważne x na mapie, wkładki value_type(x,T()) na mapie.

T() jest wartości inicjalizacji, co ma miejsce w przypadku wbudowanych typów powoduje zero inicjalizacji. W związku z tym foo[2] wstawi zainicjowany zero double do mapy, aby Twój kod był dobrze zdefiniowany.