c++重载赋值运算符函数参数initializer_list引用问题。

Question

定义了这样的一个类似vector的一个类StrVec，成员的类型默认是string，也就是简单实现vector<string>这个类型。vector<string>有这样的一种赋值运算符：

vector<string> v1;
v1 = {"ni","hao"}

就是接受initialzer_list<string>作为参数，我实现这个重载运算符的时候，首先这个initializer_list<string>& s参数使用引用形式，结果使用的时候并没有成功，但是把这个重载赋值运算符函数的initialzer_list<string> s参数没有使用引用就成功了。所以问题是为什么这个参数不能使用引用形式：

StrVec& StrVec::operator=(std::initializer_list<string> il)
{
    auto data = alloc_n_copy(il.begin(), il.end());
    free();
    elements = data.first;
    first_free = cap = data.second;
    std::cout << "succeed" << std::endl;
    return *this;
}

int main()
{
    StrVec v1,v2;
    v1 = { "ni","hao","kan" };
    system("pause");
    return 0;
}

就是这个为什么函数的il不能使用引用形式。谢谢。

Answer 1

Is this an error? error: invalid initialization of non-const reference of type 'std::initializer_list<int>&' from an rvalue of type 'std::initializer_list<int>'. If this is wrong, it is because your formal parameter is an lvalue reference and the actual parameter passed in is an rvalue.

#include <initializer_list>
#include <iostream>

using namespace std;
//test1
//int func(initializer_list<int>& test)

//test2
//通过在左值引用前加上const可以延长右值的lifetime
//这样就可以传右值了
//int func(const initializer_list<int>& test)

//test3
int func(initializer_list<int>& test)
{
    for (auto it : test)
    {
        cout << it << endl;
    }
}

int main()
{
    /*
    test1
    initializer_list<int> l = {1, 2, 3}; 
    func(l);
    */

    /*
    test2
    func({1, 2, 3});
    */

    //test3
    func({1,2,3}); //error!
    return 0;
}