用值列表初始化模板数组

Question

在标准C++中，我们可以写成：

int myArray[5] = {12, 54, 95, 1, 56};

我想使用模板写同样的内容：

Array<int, 5> myArray = {12, 54, 95, 1, 56};

假设前提是，

template <class Type, unsigned long N>
class Array
{
public:

    //! Default constructor
    Array();

    //! Destructor
    virtual ~Array();

    //! Used to get the item count
    //! @return the item count
    unsigned long getCount() const;

    //! Used to access to a reference on a specified item
    //! @param the item of the item to access
    //! @return a reference on a specified item
    Type & operator[](const unsigned long p_knIndex);

    //! Used to access to a const reference on a specified item
    //! @param the item of the item to access
    //! @return a const reference on a specified item
    const Type & operator[](const unsigned long p_knIndex) const;

private:

    //! The array collection
    Type m_Array[N];
};

我认为这是不可能的，但可能有一些巧妙的方法可以做到！

- chris

Answer 1

我的解决方案是编写一个类模板，累加传递给构造函数的所有值。以下是如何初始化您的Array：

Array<int, 10> array = (adder<int>(1),2,3,4,5,6,7,8,9,10);

下面是完整演示的adder实现：

template<typename T>
struct adder
{
   std::vector<T> items;
   adder(const T &item) { items.push_back(item); }
   adder& operator,(const T & item) { items.push_back(item); return *this; }
};

template <class Type, size_t N>
class Array
{
public:

    Array(const adder<Type> & init) 
    {
         for ( size_t i = 0 ; i < N ; i++ )
         {
               if ( i < init.items.size() )
                   m_Array[i] = init.items[i];
         }
    }
    size_t Size() const { return N; }
    Type & operator[](size_t i) { return m_Array[i]; }
    const Type & operator[](size_t i) const { return m_Array[i]; }

private:

    Type m_Array[N];
};

int main() {

        Array<int, 10> array = (adder<int>(1),2,3,4,5,6,7,8,9,10);
        for (size_t i = 0 ; i < array.Size() ; i++ )
           std::cout << array[i] << std::endl;
        return 0;
}

输出：

1
2
3
4
5
6
7
8
9
10

请自行查看ideone的在线演示： http://www.ideone.com/KEbTR

- Nawaz

Answer 2

使用初始化列表，C++0x使此操作成为可能。目前没有其他方法可以实现。

如果没有这个功能，您可以尝试使用Boost.Assign来达到最接近的效果。

- Björn Pollex

Answer 3

另一个不需要 adder 类模板的解决方案。现在你可以这样做：

int main() {

        Array<int, 10> array;
        array = 1,2,3,4,5,6,7,8,9,10;
        for (size_t i = 0 ; i < array.Size() ; i++ )
           std::cout << array[i] << std::endl;
        return 0;
}

输出：

1
2
3
4
5
6
7
8
9
10

这是完整的解决方案：http://www.ideone.com/I0L1C

- Nawaz

---

@nawaz ideone的链接已经失效了。你能否发布一下代码？谢谢。 - Koushik Shetty

@Koushik：我已经发布了两个解决方案。请查看另一个包含“Array”实现的解决方案。你可以在ideone上使用它并进行实验。 :-) - Nawaz

@Nawaz，实际上我认为我知道你是如何实现的，但只是想确认一下。:-)非常好，这是我第一次看到有人重载，.+1。 - Koushik Shetty

Answer 4

这其实非常简单；只需删除构造函数并将数据成员设为公共的即可。模板问题是一个误导，与任何类别相同的规则适用：如果它是聚合体，则可以使用聚合初始化；否则就不行。

-- James Kanze

- James Kanze

---

如果我将数据成员设置为公共的，这将破坏模板类实现的访问安全性。 - chris

@chris 是的。如果隐藏元素很重要，那么您不能使用这种格式。在许多情况下，数组是抽象的一部分，因此将其公开不是问题。在其他情况下，数组完全隐藏，因此即使想使用聚合初始化也会违反抽象。在这两个极端之间的情况下，您有点困难。 - James Kanze

Answer 5

你说得对。用当前标准的 C++ 是不可能做到的。但是，在下一个标准 (C++0x) 中，初始化列表就可以做到这一点！

- ltjax