std::initializer_list with Multiple Types

Question

I'm having trouble with std::initializer_list. I reduced it down to a simple example:

#include <initializer_list>
#include <cstdio>


class Test {
    public:
        template <typename type> Test(const std::initializer_list<type>& args) {}
};

int main(int argc, char* argv[]) {
    Test({1,2});

    getchar();
    return 0;
}

When compiled using g++ test_initializer.cpp -std=c++0x, it compiles and runs well. However, if line 11 is changed to Test({1,2.0});, one gets:

ian@<host>:~/Desktop$ g++ test_initializer.cpp -std=c++0x
test_initializer.cpp: In function ‘int main(int, char**)’:
test_initializer.cpp:11:14: error: no matching function for call to ‘Test::Test(<brace-enclosed initializer list>)’
test_initializer.cpp:11:14: note: candidates are:
test_initializer.cpp:7:28: note: template<class type> Test::Test(const std::initializer_list<_Tp>&)
test_initializer.cpp:5:7: note: constexpr Test::Test(const Test&)
test_initializer.cpp:5:7: note:   no known conversion for argument 1 from ‘<brace-enclosed initializer list>’ to ‘const Test&’
test_initializer.cpp:5:7: note: constexpr Test::Test(Test&&)
test_initializer.cpp:5:7: note:   no known conversion for argument 1 from ‘<brace-enclosed initializer list>’ to ‘Test&&’

I suspect this happens because the compiler can't figure out what type to make the initializer list. Is there a way to fix the example so that it works with different types (and still uses initializer lists)?

If you need multiple types, provide a constructor that's a variadic template: template <typename... T> Test(T... args);. I don't believe you can use an initializer list for this. — Igor Tandetnik
– Igor Tandetnik, Commented Jan 13, 2014 at 22:31

ManuelAtWork · Accepted Answer · 2018-10-09 09:09:03Z

12

An std::initializer_list takes only one type. If you need different types, you can use variadic templates:

template<typename... Args>
Test(Args&&... args);

/* ... */

int main()
{
    Test(1, 2.0);
}

edited Oct 9, 2018 at 9:09

ManuelAtWork

2,47835 silver badges38 bronze badges

answered Jan 13, 2014 at 22:38

David G

97.6k41 gold badges173 silver badges258 bronze badges

Sign up to request clarification or add additional context in comments.

Comments

Jonathan Geisler · Accepted Answer · 2022-12-14 23:57:14Z

1

Would a std::tuple<int.double> work for the OP? If the code will always have a int followed by a double, then the OP could get strict type-checking for all arguments, which the variable arguments solution does not allow. The std::tuple<>, however, would not work for any number or order of values, so may not be appropriate for all use cases.

answered Dec 14, 2022 at 23:57

Jonathan Geisler

4924 silver badges16 bronze badges

1 Comment

user202729 Apr 10 at 4:33

Note that this only work if the types are known in advance, the types cannot be deduced: stackoverflow.com/q/50031190/5267751

Darian H. · Accepted Answer · 2017-02-05 20:29:44Z

-6

Let the initializer_list hold the most arbitrary pointers, void*, and do your own casting from there. Here is an example.

#include <initializer_list>
#include <iostream>

using std::initializer_list;
using std::cout;
using std::endl;

class Person {
    private:
        string _name;
        int _age;
    public:
        Person(initializer_list<void*> init_list) {
            auto it = init_list.begin();
            _name = *((string*)(*it));
            it++;
            _age = *((int*)(*it));
        }
        void print() {
            cout << "name: " << _name << ". age: " << _age << endl;
        }
};

int main(void) {
    string name{"Vanderbutenburg};
    int age{23};
    Person p{&name,&age};
    p.print(); // "name: Vanderbutenburg. age: 23"

    return 0;
}

answered Feb 5, 2017 at 20:29

Darian H.

212 bronze badges

6 Comments

Jonathan Wakely Over a year ago

For this to work you have to know in advance the number of arguments and their types, to be able to cast them back. If you know that why not just write Person(string, int) instead?

Darian H. Over a year ago

Your suggestion would certainly be nicer to the eyes, but I was just commenting on a way to circumvent the issue posed by the author. Afterall, this is what the author asked. "Is there a way to fix the example so that it works with different types (and still uses initializer lists)?" The main point is that it is possible. Would I ever do it that way? Of course not.

Jonathan Wakely Over a year ago

The OP's issue is that std::initializer_list is not the right tool for the job. Smacking the problem with a large hammer until it compiles doesn't change that.

underscore_d Over a year ago

When someone asks a question, sometimes it's better to tell them what they need to know, not what they want to know. What people need to know is that code like this is terrible and defeats the point of a language that goes to lengths to be type-safe and expressive.

crow Over a year ago

@JonathanWakely Please be more concrete. You can say the problem with the question without resorting to arbitrary metaphors that may not apply and server to confuse. It makes it hard to understand what you're trying to say otherwise.

|

Collectives™ on Stack Overflow

std::initializer_list with Multiple Types

3 Answers 3

Comments

1 Comment

6 Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

3 Answers 3

Comments

1 Comment

6 Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related