无法从委托构造函数中的初始化列表中初始化向量

Unable to initialize vector from initializer list in delegating constructor

我有一个classMyClass如下:

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
};

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

但是,上面的代码给我一个编译错误:

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,
      |              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~

我做错了什么?

您需要 std::initializer_listfloats 的向量;

我相信这就是您要找的

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;
};

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

vector(std::initializer_list<value_type>)

其中 value_typestd::vector 的第一个模板参数。在这种情况下,std::vector<std::vector<float>>value_type = 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_list1,或
  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
    }
    
    编辑: 因为这个问题是关于 委派构造函数 的,所以你会首先明确地构造一个临时的 vector-of-vectors:
    MyClass(std::initializer_list<std::initializer_list<float>> arg)
      : MyClass{std::vector<std::vector<float>>{arg.begin(), arg.end()}} 
    
    在这种情况下,委派构造函数可能不是解决问题的最佳方法。见下文。

1 由于 std::vector 已经可以正常使用初始化列表,即使嵌套在其他类型中,也可能最简单地忽略添加显式 std::initializer_list 完全构造函数——并在实现中正确使用移动语义。

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