将参数传递给"类似数组"容器构造函数

时间:2016-08-25 22:02:54

标签: c++ arrays c++11 memory-management initializer-list

背景

我正在使用嵌入式平台,但有以下限制:

  • 没有堆
  • 没有Boost库
  • C ++ 11 支持

我过去曾多次处理过以下问题:

  

创建一个类类型为T的数组,其中T没有默认构造函数

该项目最近才添加了C ++ 11支持,到目前为止,每次我必须处理此问题时,我一直在使用ad-hoc解决方案。既然C ++ 11可用,我想我会尝试制定一个更通用的解决方案。

解决方案尝试

我复制了an example of std::aligned_storage来为我的数组类型提出框架。结果如下:

#include <type_traits>

template<class T, size_t N>
class Array {
  // Provide aligned storage for N objects of type T
  typename std::aligned_storage<sizeof(T), alignof(T)>::type data[N];

public:
  // Build N objects of type T in the aligned storage using default CTORs
  Array()
  {
    for(auto index = 0; index < N; ++index)
      new(data + index) T();
  }

  const T& operator[](size_t pos) const
  {
    return *reinterpret_cast<const T*>(data + pos);
  }

  // Other methods consistent with std::array API go here
};

这是一种基本类型 - Array<T,N>仅在T默认可构造时才编译。我对模板参数打包不是很熟悉,但是看一些例子让我得到以下结论:

template<typename ...Args>
Array(Args&&... args) 
{
  for(auto index = 0; index < N; ++index)
    new(data + index) T(args...);
}

这绝对是朝着正确方向迈出的一步。 Array<T,N>现在编译,如果传递的参数匹配T的构造函数。

我唯一剩下的问题是构造一个Array<T,N>,其中数组中的不同元素具有不同的构造函数参数。我想我可以把它分成两种情况:

1 - 用户指定参数

这是我对CTOR的抨击:

template<typename U>
Array(std::initializer_list<U> initializers)
{
  // Need to handle mismatch in size between arg and array
  size_t index = 0;
  for(auto arg : initializers) {
    new(data + index) T(arg);
    index++;
  }
}

除了需要处理数组和初始化列表之间的维度不匹配之外,这似乎工作正常,但有许多方法可以处理那些不重要的方法。这是一个例子:

struct Foo {
  explicit Foo(int i) {}
};

void bar() {
  // foos[0] == Foo(0)
  // foos[1] == Foo(1)
  // ..etc
  Array<Foo,10> foos {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
}

2 - 参数遵循模式

在我之前的示例中,使用递增列表初始化foos,类似于std::iota。理想情况下,我想支持以下内容,其中range(int)返回可以初始化数组的SOMETHING。

// One of these should initialize foos with parameters returned by range(10)
Array<Foo,10> foosA = range(10);
Array<Foo,10> foosB {range(10)};
Array<Foo,10> foosC = {range(10)};
Array<Foo,10> foosD(range(10));

谷歌搜索告诉我std::initializer_list不是&#34;正常&#34;容器,所以我不认为我可以让range(int)根据函数参数返回std::initializer_list

同样,这里有几个选项:

  • 在运行时指定的参数(函数返回?)
  • 在编译时指定的参数(constexpr函数返回?模板?)

问题

  1. 到目前为止,此解决方案是否存在任何问题?
  2. 有没有人建议生成构造函数参数?除了硬编码std::initializer_list之外,我无法在运行时或编译时考虑解决方案,因此欢迎任何想法。

2 个答案:

答案 0 :(得分:0)

如果我理解你的问题,我也偶然发现了std :: array关于元素构造的完全不灵活性,支持聚合初始化(以及缺少具有灵活元素构造选项的静态分配容器)。我想出的最好的方法是创建一个类似于自定义数组的容器,它接受一个迭代器来构造它的元素。 这是完全灵活的解决方案:

  • 适用于固定大小和动态大小的容器
  • 可以向元素构造函数传递不同或相同的参数
  • 可以使用一个或多个(元组分段构造)参数调用构造函数,甚至可以调用不同元素的不同构造函数(具有控制反转)

对于你的例子,它将是:

const size_t SIZE = 10;

std::array<int, SIZE> params;
for (size_t c = 0; c < SIZE; c++) {
    params[c] = c;
}

Array<Foo, SIZE> foos(iterator_construct, &params[0]); //iterator_construct is a special tag to call specific constructor
// also, we are able to pass a pointer as iterator, since it has both increment and dereference operators

注意:你可以通过使用自定义迭代器类完全跳过参数数组分配,自定义迭代器类从它的位置即时计算它的值。

对于多参数构造函数:

const size_t SIZE = 10;

std::array<std::tuple<int, float>, SIZE> params; // will call Foo(int, float)
for (size_t c = 0; c < SIZE; c++) {
    params[c] = std::make_tuple(c, 1.0f);
}

Array<Foo, SIZE> foos(iterator_construct, piecewise_construct, &params[0]);

具体的实现示例是一个很大的代码,所以如果您想要了解除了一般想法之外的实现细节,请告诉我 - 我会更新我的答案。

答案 1 :(得分:0)

我使用工厂lambda。

lambda获取指向构造位置和索引的指针,并负责构造。

这使得复制/移动也易于编写,这是一个好兆头。

template<class T, std::size_t N>
struct my_array {
  T* data() { return (T*)&buffer; }
  T const* data() const { return (T const*)&buffer; }

  // basic random-access container operations:
  T* begin() { return data(); }
  T const* begin() const { return data(); }
  T* end() { return data()+N; }
  T const* end() const { return data()+N; }
  T& operator[](std::size_t i){ return *(begin()+i); }
  T const& operator[](std::size_t i)const{ return *(begin()+i); }

  // useful utility:
  bool empty() const { return N!=0; }
  T& front() { return *begin(); }
  T const& front() const { return *begin(); }
  T& back() { return *(end()-1); }
  T const& back() const { return *(end()-1); }
  std::size_t size() const { return N; }

  // construct from function object:
  template<class Factory,
    typename std::enable_if<!std::is_same<std::decay_t<Factory>, my_array>::value, int> =0
  >
  my_array( Factory&& factory ) {
    std::size_t i = 0;
    try {
      for(; i < N; ++i) {
        factory( (void*)(data()+i), i );
      }
    } catch(...) {
      // throw during construction.  Unroll creation, and rethrow:
      for(std::size_t j = 0; j < i; ++j) {
        (data()+i-j-1)->~T();
      }
      throw;
    }
  }
  // other constructors, in terms of above naturally:
  my_array():
    my_array( [](void* ptr, std::size_t) {
      new(ptr) T();
    } )
  {}
  my_array(my_array&& o):
    my_array( [&](void* ptr, std::size_t i) {
      new(ptr) T( std::move(o[i]) );
    } )
  {}
  my_array(my_array const& o):
    my_array( [&](void* ptr, std::size_t i) {
      new(ptr) T( o[i] );
    } )
  {}
  my_array& operator=(my_array&& o) {
    for (std::size_t i = 0; i < N; ++i)
      (*this)[i] = std::move(o[i]);
    return *this;
  }
  my_array& operator=(my_array const& o) {
    for (std::size_t i = 0; i < N; ++i)
      (*this)[i] = o[i];
    return *this;
  }
private:
  using storage = typename std::aligned_storage< sizeof(T)*N, alignof(T) >::type;
  storage buffer;
};

它定义了my_array(),但只有在你尝试编译时才会编译它。

支持初始化列表相对容易。当il不够长或太长时,决定做什么很难。我想你可能想要:

template<class Fail>
my_array( std::initializer_list<T> il, Fail&& fail ):
  my_array( [&](void* ptr, std::size_t i) {
    if (i < il.size()) new(ptr) T(il[i]);
    else fail(ptr, i);
  } )
{}

要求你传递&#34;失败时该做什么&#34;。我们可以默认抛出:

template<class WhatToThrow>
struct throw_when_called {
  template<class...Args>
  void operator()(Args&&...)const {
    throw WhatToThrow{"when called"};
  }
};

struct list_too_short:std::length_error {
  list_too_short():std::length_error("list too short") {}
};
template<class Fail=ThrowWhenCalled<list_too_short>>
my_array( std::initializer_list<T> il, Fail&& fail={} ):
  my_array( [&](void* ptr, std::size_t i) {
    if (i < il.size()) new(ptr) T(il[i]);
    else fail(ptr, i);
  } )
{}

如果我写得正确,会使一个太短的初始化列表导致一个有意义的抛出消息。在您的平台上,如果您没有例外,则可以exit(-1)