2

是否可以在构造时以某种方式将静态初始化器列表“传递”给容器包装器类，然后再初始化其成员？

struct bar {
  bar(void * ptr): ptr(ptr) {}
  void * ptr;
};

template<class T, int N>
struct foo
{
  foo( args ) :store(args)  {}  // here the arg list should be passed

  T store[N];
};

int main()
{
  bar b[2]={NULL,NULL};
  foo<bar,2> f(NULL,NULL); // This should be possible
}

不幸的是，我不能使用 STL 或 Boost。

让我解释一下，如果你怀疑它的用处。首先，这是一个非常“成熟”的设置。解释整个设置不足以在此处发布，也无济于事。想象一个例子，你有一个嵌套的表达式模板树，你在编译时遍历它并收集涉及的对象并将它们存储在像上面这样的容器包装器中。如果您还有其他问题，请询问。

编辑：不应调用T 的默认构造函数。

4

1 回答 1

2

方法一：va_args

如果您同意制作 bar POD，可以通过以下方式完成va_args：

#include <stdarg.h>

struct bar {
  void * ptr;
};

template<class T, int N>
struct foo
{
  foo(...)  { // here the arg list should be passed
    va_list ap;
    va_start(ap, N);

    for (int i = 0; i < N; ++i) {
      store[i] = va_arg(ap, T);
    }
    va_end(ap);
  }

  T store[N];
};

int main()
{
  foo<bar,2> f(bar(),bar());
}

但这并不是很好 - 你必须对我的喜好过于信任调用者，而且 POD 要求可能非常有限。

方法二：范围

如果您同意让您的类型T既默认可构造又可分配，您可以使用此方法：

#include <assert.h>
#include <stdlib.h>

struct bar {
  bar(void * ptr): ptr(ptr) {}
  bar() {}
  void * ptr;
};

template<class T, int N>
struct foo
{
  foo(T *begin, const T *end)  { // here the arg list should be passed
    // Normally I'd use std::copy here!
    int i = 0;
    while (begin != end) {
       assert(i < N);
       store[i] = *begin++;
    }
  }

  T store[N];
};

int main()
{
  bar b[2]={NULL,NULL};
  foo<bar,2> f(&b[0], &b[sizeof(b)/sizeof(bar)]);
}

它不是很无缝——你最终得到了一个数组和一个对象实例，但你可以制作数组static const并至少对其余代码保持良好的隐藏。

方法三：运算符重载技巧

您还可以使用一种技巧operator,将所有项目减少为一个参数，IIRC 类似于Boost.Assign所做的。

于 2011-08-20T11:46:16.760 回答