无法在委托构造函数中从初始值设定项列表初始化向量

Question

我有一个类MyClass如下：

class MyClass {
public:
    MyClass(vector<vector<float>> arg) {
       // some code here
    }
    MyClass(std::initializer_list<std::initializer_list<float>> arg)
        : MyClass(vector<vector<float>>(arg)) {
    }
    // other class members
};

我正在尝试使用上面的委托构造函数，因为我希望从std::initializer_list<std::initializer_list<float>>和vector<vector<float>>类型以及构造函数代码构造MyClass的实例块是相同的。 所以我试图通过初始化一个多维向量并使用它的构造函数来委托嵌套初始化列表的构造。

但是，上面的代码给了我一个编译器错误：

no instance of constructor "std::__1::vector<_Tp, _Allocator>::vector [with _Tp=std::__1::vector<float, std::__1::allocator<float>>, _Allocator=std::__1::allocator<std::__1::vector<float, std::__1::allocator<float>>>]" matches the argument list -- argument types are: (std::initializer_list<std::initializer_list<float>>)
In file included from /opt/wandbox/gcc-9.3.0/include/c++/9.3.0/vector:67,
                 from prog.cc:11:
/opt/wandbox/gcc-9.3.0/include/c++/9.3.0/bits/stl_vector.h:622:7: note: candidate: 'std::vector<_Tp, _Alloc>::vector(std::initializer_list<_Tp>, const allocator_type&) [with _Tp = std::vector<float>; _Alloc = std::allocator<std::vector<float> >; std::vector<_Tp, _Alloc>::allocator_type = std::allocator<std::vector<float> >]'
  622 |       vector(initializer_list<value_type> __l,
      |       ^~~~~~
/opt/wandbox/gcc-9.3.0/include/c++/9.3.0/bits/stl_vector.h:622:43: note:   no known conversion for argument 1 from 'initializer_list<std::initializer_list<float>>' to 'initializer_list<std::vector<float>>'
  622 |       vector(initializer_list<value_type> __l,
      |              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~

我在这里做错了什么？

Answer 1

std::vector的 initializer_list 构造函数如下所示：

vector(std::initializer_list<value_type>)

其中value_type是std::vector的第一个模板参数。 在这种情况下， std::vector<std::vector<float>>具有value_type = std::vector<float> -- 这意味着它只能从std::initializer_list<std::vector<float>>构造std::initializer_list<std::vector<float>>直接。

为了使其正常工作，您需要通过以下方式之一进行更新：

1. 将您的std::initializer_list更新为std::initializer_list<std::vector<float>> ，
2. 只需使用std::vector<std::vector<float>>构造函数并忽略使用initializer_list完全¹ ，或
3. 构造函数中initializer_list<initializer_list<float>>的范围构造：

    MyClass(std::initializer_list<std::initializer_list<float>> arg) : vec{arg.begin(), arg.end()} { // each iterator points to an initializer_list, which implicitly // constructs each vector }

   编辑：由于这个问题是关于委托构造函数的，你会首先明确地构造一个临时向量向量：

    MyClass(std::initializer_list<std::initializer_list<float>> arg) : MyClass{std::vector<std::vector<float>>{arg.begin(), arg.end()}}

   在这种情况下，委托构造函数可能不是您问题的最佳解决方案。 见下文。

---

¹由于std::vector已经与初始化列表一起正常工作，即使嵌套在其他类型中，最简单的方法可能是完全忽略添加显式std::initializer_list构造函数——并在实现中正确使用移动语义。

如果您正确使用std::move ，无论如何，这个构造函数应该相对便宜——这可以使初始化列表功能免费提供。

Answer 2

您需要std::initializer_list的floats向量；

我相信这就是你要找的

class MyClass{
        public:
            MyClass(vector<vector<float>> arg ): vec( arg) {
                // some code here
            }
            MyClass(std::initializer_list<std::vector<float>> arg) 
            : vec( arg ) {}; 
            
            // other class members

        private:
            std::vector<vector<float>> vec;
};