C++11 came with the new brace initializer syntax {}
. Its purpose was to allow for aggregate initialization, but also for usual constructor calling. Unfortunately, it was too easy to express the wrong thing when combining this syntax with the auto
variable type. C++17 comes with an enhanced set of initializer rules. In this recipe, we will clarify how to correctly initialize variables with which syntax in C++17.
Variables are initialized in one step. Using the initializer syntax, there are two different situations:
- Using the brace initializer syntax without
auto
type deduction:
// Three identical ways to initialize an int: int x1 = 1; int x2 {1}; int x3 (1); std::vector<int> v1 {1, 2, 3}; // Vector with three ints: 1, 2, 3 std::vector<int> v2 = {1, 2, 3}; // same here std::vector<int> v3 (10, 20); // Vector with 10 ints, // each have value 20
- Using the brace initializer syntax with
auto
type deduction:
auto v {1}; // v is int auto w {1, 2}; // error: only single elements in direct // auto initialization allowed! (this is new) auto x = {1}; // x is std::initializer_list<int> auto y = {1, 2}; // y is std::initializer_list<int> auto z = {1, 2, 3.0}; // error: Cannot deduce element type
Without auto
type deduction, there's not much to be surprised about in the brace {}
operator, at least, when initializing regular types. When initializing containers such as std::vector
, std::list
, and so on, a brace initializer will match the std::initializer_list
constructor of that container class. It does this in a greedy manner, which means that it is not possible to match non-aggregate constructors (non-aggregate constructors are usual constructors in contrast to the ones that accept an initializer list).
std::vector
, for example, provides a specific non-aggregate constructor, which fills arbitrarily many items with the same value: std::vector<int> v (N, value)
. When writing std::vector<int> v {N, value}
, the initializer_list
constructor is chosen, which will initialize the vector with two items: N
and value
. This is a special pitfall one should know about.
One nice detail about the {}
operator compared to constructor calling using normal ()
parentheses is that they do no implicit type conversions: int x (1.2);
and int x = 1.2;
will initialize x
to value 1
by silently rounding down the floating point value and converting it to int. int x {1.2};
, in contrast, will not compile because it wants to exactly match the constructor type.
Note
One can controversially argue about which initialization style is the best one.Fans of the bracket initialization style say that using brackets makes it very explicit, that the variable is initialized with a constructor call, and that this code line is not reinitializing anything. Furthermore, using {}
brackets will select the only matching constructor, while initializer lines using ()
parentheses try to match the closest constructor and even do type conversion in order to match.
The additional rule introduced in C++17 affects the initialization with auto
type deduction--while C++11 would correctly make the type of the variable auto x {123};
an std::initializer_list<int>
with only one element, this is seldom what we would want. C++17 would make the same variable an int
.
Rule of thumb:
auto var_name {one_element};
deducesvar_name
to be of the same type asone_element
auto var_name {element1, element2, ...};
is invalid and does not compileauto var_name = {element1, element2, ...};
deduces to anstd::initializer_list<T>
withT
being of the same type as all the elements in the list
C++17 has made it harder to accidentally define an initializer list.