Question

我想要一个包围数组的包装器，例如，它将存储在堆栈中 - 不关心内存释放 - 可以通过大括号列表进行初始化，并且可能在普通数组的任何位置都是可替换的。然后，我生成了以下代码。现在我想知道，我错过了什么。 - 那么 - 这就是我想要的吗？

template<class T, size_t size>
struct Array
{
    T body[size];

    operator T* () { return body; }
};

修改

我可能不精确。包装仅用于结构目的。当它处于初始化列表（主要是）时，它将用于从大括号列表构造数组。像

class A {
    protected: A(int array[])
    ...

class B : public A {
    public: B() : 
        A( (Array<int, 2>) {{ 1, 2 }} )
        ...

有一个const版本的投射算子的命题。 - 我一直在考虑这个问题，但我不确定，是不是真的需要。虽然通过现有运算符隐式地转换为const T[]，并且可以通过给出T = const ...来定义常量数组，但还有原因吗？

Answer 1

对于一个基本的例子，我认为你可以改进很多，除了一些辅助函数。特别是，有一个返回大小的方法会很好：

constexpr std::size_t size() const { return size; }

此外，还有其他几个：

const /非const重载operator[N]：

正如@ChristianRau在评论中所述，operator T*提供了非 - const版本。我们可以这样实现const版本：
```
T const& operator [](std::size_t n) const
{
    return body[n];
}
// similarly for non-const:
T& operator [](std::size_t n) { return body[n]; }
```

begin()和end()序列发生器（非常有用，例如基于C ++ 11范围）：

T* begin() { return body; }
T* end()   { return body + size; }

// const versions... very much the same
T const* cbegin() const { return body; }
T const* cend()   const { return body + size; }
T const* begin()  const { return cbegin(); }
T const* end()    const { return cend(); }

at()方法，其中包括边界检查（与约定operator[]相反）：

T const& at(std::size_t offset) const
{
    // You should do bounds checking here
    return body[offset];
}
// also a non-const version again..

拥有一个std::initializer_list<T>的构造函数也不错，这样你就不必使用聚合初始化了：

#include <algorithm>
#include <initializer_list>

template <typename T, std::size_t N>
struct Array
{
    ...
    Array(std::initializer_list<T> const& list)
    {
        std::copy(list.begin(), list.end(), body);
    }
    ...
};

这是@DyP建议的另一个（初始化列表总是复制，完美转发试图避免这种情况）：

template <typename T, std::size_t N>
struct Array
{
    ...
    template <typename... Args>
    // possibly constexpr
    Array(Args&&... args) : body{ std::forward<Args>(args)... } 
    {}
    ...
};

如果你想看到它，可以使用以下程序 - http://ideone.com/Zs27it#view_edit_box

您可以包含其他功能，但正如我所说，这是一个基本示例，您最有可能更好地使用std::array之类的方法，这些方法或多或少有相同的方法。

C ++数组包装器

1 个答案: