Question

我有一个Matrix类，它是Row的集合。数据类型定义如下：

行：

template <typename Index>
class Row {
public:

    Row()
    {
        _index_vector = std::vector<Index, aligned_allocator<Index> > ();
    }

    Row& operator=( const Row& source )
    {
        //some copy logic here
        return *this;
    }

private:
    std::vector<Index, aligned_allocator<Index> >       _index_vector;
};

矩阵

template <typename Index>
class Matrix {
public:
    typedef std::vector<Row<Index> > Rep;

    Matrix () : _m (0), _n (0)
    {}

    Matrix (size_t n, size_t m) :
            _m (m),
            _n (n)
    {
        _A = Rep (n);
    }

private:
    Rep     _A;
    size_t      _m;
    size_t      _n;
};

Row数据类型使用分配器，主要功能是：

template <class T>
class aligned_allocator
{
public:
       //Other methods; members...

    pointer allocate ( size_type size, const_pointer *hint = 0 ) {
        pointer p;
        posix_memalign((void**)&p, 16, size * sizeof (T));

        return p;
    };

    void construct ( pointer p, const T& value ) {
        *p=value;
    };

    void destroy ( pointer p ) {
        p->~T();
    };

    void deallocate ( pointer p, size_type num ) {
        free(p);
    };
};

我使用这个简单的程序来测试代码：

#include "types.h"

int main(int argc, char **argv)
{
    Matrix<int> AA (100, 100);
}

当我在没有-std=c++0x的情况下编译它时，它编译没有任何错误。但是，如果启用-std=c++0x，则会收到以下错误：

error: invalid operands to binary expression ('_Tp_alloc_type'
      (aka 'aligned_allocator<int>') and '_Tp_alloc_type')
        if (__x._M_get_Tp_allocator() == this->_M_get_Tp_allocator())

./types.h:26:17: note: in instantiation of member function 'std::vector<int, aligned_allocator<int> >::operator=' requested here
                _index_vector = std::vector<Index, aligned_allocator<Index> > ();

这可能是什么原因？以及可能的修复/解决方法。我使用的是gcc version 4.7.2和clang version 3.1。

（对于冗长的代码感到抱歉。）

Answer 1

错误消息实际上包含提示。我在这里稍微重新阐述了它：

错误：[类型aligned_allocator<int>]的操作数无效到二进制表达式[...] __x._M_get_Tp_allocator() == this->_M_get_Tp_allocator()

换句话说，您的分配器类型需要提供operator ==。

这是分配器要求的一部分（第17.6.3.5节，表28）。一直都是如此。但是在C ++ 11分配器无状态且operator ==因此始终返回true之前，标准库容器可能从未调用过运算符。这可以解释为什么代码在没有-std=++0x的情况下编译。

Answer 2

看起来它想要align_allocator＆lt;＆gt;拥有operator ==（）。

在启用-std = c ++ 0x时编译自定义分配器的问题

2 个答案: