Question

我正在用c ++实现一个容器，实际上是一个数组的包装器。我不知道如何从initializer_list实现构造函数。我最终得到了这个实现，但在我看来真的很难看。因此可以是在由initializer_list初始化的堆中分配的数组。或者有一种优雅的方式如何做到这一点？

template <typename T> class sequence {
public:
    sequence (size_t n): _data {new T[n]}, _size {n} {};
    sequence (std::initializer_list<T> source);
    ~sequence() { delete[] _data; };
private:
    pointer     _data;
    size_type   _size;
};

//Initializer list constructor
template <class T> sequence<T>::sequence (std::initializer_list<T> source)
: sequence(source.size()) {
    auto iterator = source.begin();
    for ( int i=0; i < _size; i++) {
        _data[i] = *iterator;
        ++iterator;
    }
};

Answer 1

取决于你想要做什么。

如果您确实需要使用有限大小的序列（在编译时确定），那么使用std::array<T,std::size_t>，它是C样式数组的包装器（就像您正在实现的那样），在C ++ 11中引入。

但是，正如您在其中一条评论中所说，您这样做主要是出于教育目的。在那种情况下，你拥有的是体面的。语法可以稍微清理一下。考虑：

//Initializer list constructor
template <class T> 
sequence<T>::sequence (std::initializer_list<T> source)
  : sequence(source.size()) 
{
  auto it = source.begin();
  auto const e = source.cend();
  auto d = data_;
  while (it != e) {
     *d++ = *it++;
  } 
};

这样你就不会明确地依赖size()。您可以考虑通过将it和e迭代器转换为“移动”迭代器来提高效率：

auto it = std::make_move_iterator(source.begin());
auto e = std::make_move_iterator(source.end());

这样，只要它被解除引用，它的值就被转换为右值引用，允许移动赋值。

来自initializer_list

1 个答案: