• Home
• Syllabus
• Schedule
• Checkin
• Homework
  • HW0
  • HW1
  • HW2
  • HW3
  • HW4
  • HW5
  • HW6
  • HW7
• Piazza
• Slides
• Other Info

See this page as a slide show

CS253 Initializer Lists

Initialization

Consider this code:

    vector<int> v = {11,22,33,44,55};

• What sort of thing is {11,22,33,44,55}?
• What type is it?
• No, not a flowery description—a C++ type.

initializer_list

• {11,22,33,44,55} is an object of the type initializer_list<int>.
• The compiler figures it out, just like it figures out that 2.71828 is a double.
• It’s a real class, with methods and everything.
  • iterator
  • .size()
  • .begin()
  • .end()
  • There is no .empty(), for are no empty initializer lists.
    • If it were empty, what type would it be?
    • initializer_list<what?>

The name

Why is the name so god-awful long?

• You think of a better name.
• We’re introducing a new word to the standard.
• If you call it, say, init, that breaks many user programs that already use init.
• That’s why these names are sometimes unwieldy—to maximize backward compatibility.

Standalone

Since an initializer_list has iterators, .begin(), and .end(), we can use it in a for loop:

for (auto v : {11,22,33,44,55})
    cout << v << ' ';

11 22 33 44 55 

or, more explicitly:

auto il = {11,22,33,44,55};
auto it = il.begin() + 3;
cout << *it << '\n';

44

or, even:

auto il = {11,22,33,44,55};
cout << *(il.begin()+3) << '\n';

44

Interaction with standard containers

So, how does this work?

unordered_set<int> us = {345,678,901,234,567,890};
for (auto v : us)
    cout << v << ' ';

890 567 234 901 678 345 

• The first line must be a ctor, since we are creating us.
• What is the declaration of that ctor?

Constructor using initializer_list

The ctor must be this:

    unordered_set(const initializer_list<value_type> &);

• As you recall, value_type is a typedef for the type being stored by the vector.
• Similarly, the assignment operator must be:

    unordered_set<value_type> &operator=(const initializer_list<value_type> &)

Not Free

• To use { … } for your container, you must write methods:
  • ctor
  • assignment operator
• It doesn’t just come for free.

Example

class Hundred {
    int data[100];
  public:
    int &operator[](int n) { return data[n]; }
};

Hundred h;
h[1] = 123;
h[4] = 456;
cout << h[1]+h[4] << '\n';

579

Example that fails

class Hundred {
    int data[100];
  public:
    int &operator[](int n) { return data[n]; }
};

Hundred h = {11,22,33,44,55};
cout << h[1]+h[4] << '\n';

c.cc:7: error: could not convert '{11, 22, 33, 44, 55}' from '<brace-enclosed 
   initializer list>' to 'main()::Hundred'

Example

class Hundred {
    int data[100];
  public:
    Hundred(const initializer_list<int> &il) {
        copy(il.begin(), il.end(), data);
    }
    int &operator[](int n) { return data[n]; }
};

Hundred h = {11,22,33,44,55};
cout << h[1]+h[4] << '\n';

77

Example

class Hundred {
    int data[100];
  public:
    Hundred(const initializer_list<int> &il) {
        copy(il.begin(), il.end(), data);
    }
    int &operator[](int n) { return data[n]; }
};

Hundred h = {11,22,33,44,55};
cout << h[1]+h[4] << '\n';
h = {6,7,8,9};
cout << h[2] << '\n';

77
8

How did that work?

Example

class Hundred {
    int data[100];
  public:
    Hundred(const initializer_list<int> &il) {
        *this = il;
    }
    Hundred &operator=(const initializer_list<int> &il) {
        copy(il.begin(), il.end(), data);
        return *this;
    }
    int &operator[](int n) { return data[n]; }
};

Hundred h = {11,22,33,44,55};
cout << h[1]+h[4] << '\n';
h = {6,7,8,9};
cout << h[2] << '\n';

77
8

That’s better.

Don’t be fooled

Of course, sometimes, a brace is just a brace:

int a[5] = {11, 22, 33}; // initializer_list<int>?
cout << a[0] + a[2] << '\n';

44

Or, a more brutal example:

cout << {11,22,33}.size() << '\n';

c.cc:1: error: expected primary-expression before '{' token

Somehow, the compiler figures it out.

Introspection on the cheap

Here’s a cheap way to learn the type of anything:

auto a = {1.2, 3.45};
throw a;

terminate called after throwing an instance of 'std::initializer_list<double>'
SIGABRT: Aborted

More introspection

throw 1e6;

terminate called after throwing an instance of 'double'
SIGABRT: Aborted

throw 1234567890;

terminate called after throwing an instance of 'int'
SIGABRT: Aborted

throw 123456789012345;

terminate called after throwing an instance of 'long'
SIGABRT: Aborted

Introspection with strings

throw 'a';

terminate called after throwing an instance of 'char'
SIGABRT: Aborted

throw "b";

terminate called after throwing an instance of 'char const*'
SIGABRT: Aborted

throw "c"s;

terminate called after throwing an instance of 'std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >'
SIGABRT: Aborted

User: Guest

Apply to CSU | Contact CSU | Disclaimer | Equal Opportunity
Colorado State University, Fort Collins, CO 80523 USA
© 2018 Colorado State University