1

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

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 ...,但还有原因吗?

4

1 回答 1

6

对于一个基本的例子,我认为除了一些辅助函数之外,你没有什么可以改进的。特别是,最好有一个返回大小的方法:

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

此外,还有一些其他的:

  • const/非const重载operator[N]

    正如@ChristianRau 在评论中所说, a提供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具有或多或少相同方法的东西。

于 2013-05-12T21:57:14.360 回答