Нет совпадения для оператора + и нет совпадения для вызова векторной конструкции в c ++ - PullRequest
Новая
       45

Нет совпадения для оператора + и нет совпадения для вызова векторной конструкции в c ++

0 голосов
/ 01 апреля 2019

Я пытаюсь реализовать Matrix Addition, используя шаблоны выражений. Я столкнулся с некоторыми проблемами. Вот мой код матрицы: 

#include<iostream>
#include<vector>
#include<cassert>

template <typename T>
class MatrixExpression {
  public:
    double operator[](size_t i) const { return static_cast<T const&>(*this)[i];}
    size_t size()const { return static_cast<T const&>(*this).size(); }
};
template<typename T>
class Matrix:public MatrixExpression<Matrix<T>>
{
    std::vector<std::vector<T>> mat;

    public:
    Matrix(std::size_t m, std::size_t n):mat(m,std::vector<T>(n)){}



    class Proxy
    {
        std::vector<T> vec;
        public:
        Proxy(std::vector<T> vec):vec(vec){ }

        T operator[](std::size_t i){ return vec[i];}
        //T &operator[](std::size_t i){ return vec[i];}
        std::size_t size() const{ return vec.size(); }
    };

    Proxy operator[](std::size_t i) const { return Proxy(mat[i]); }
    //Proxy &operator[](std::size_t i)      { return Proxy(mat[i]); }
    size_t size() const { return mat.size(); }

    Matrix(std::initializer_list<std::initializer_list<T>> lst)
    {
        int m=0,n=0;
        for(auto l:lst )
        {
            for(auto v:l)
            {
                n++;
            }
            m++;
        }
        int i=0,j=0;
        mat(m,std::vector<T>(n));
        for(auto l:lst )
        {
            for(auto v:l)
            {
                mat[i].push_back(v);
            }
            i++;
        }
    }


    Matrix(MatrixExpression<T> const& matx):mat(matx.size(),std::vector<T>(matx[0].size))
    {
        for(int i=0;i<matx.size();i++)
        {
            for(int j=0;j<matx[0].size();j++)
            {
                mat[i][j] = matx[i][j];
            }
        }
    }
};

template<typename T, typename X, typename Y>
class MatrixSum:public MatrixExpression<MatrixSum<T,X,Y>>
{
    X const& x;
    Y const& y;

    public:
    MatrixSum(X const& x1, Y const& y1):x(x1),y(y1){
        assert(x1.size()==y1.size());
        assert(x1[0].size()==y1[0].size());
    }

    class ProxySum
    {
        std::vector<T> vec1,vec2;
        public:
        ProxySum(std::vector<T> vec1,std::vector<T> vec2):vec1(vec1),vec2(vec2){ }

        T operator[](std::size_t i){ return vec1[i] + vec2[i];}
        //T &operator[](std::size_t i){ return vec1[i] + vec2[i];}
        std::size_t size() const{ return vec1[0].size(); }
    };
    ProxySum operator[](std::size_t i) const { return ProxySum(x[i],y[i]); }
    //ProxySum &operator[](std::size_t i){ return ProxySum(x[i],y[i]); }
    size_t size() const { return x.size(); } 

};

template<typename T,typename X,typename Y>
MatrixSum<T,X,Y>
operator+(X const& x, Y const& y)
{
    return MatrixSum<T,X,Y>(x,y);
}

Я получаю две ошибки при использовании класса Matrix. Во-первых, оператор + не существует для Matrix (я использовал int из тестирования), хотя я реализовал перегрузку оператора для '+', а другая ошибка во втором конструкторе для Matrix. Он говорит, что вызов, который я сделал для конструктора переменной mat, недопустим. Но векторы имеют такой конструктор

1 Ответ

1 голос
/ 01 апреля 2019

1) Следующая строка не является допустимым синтаксисом C ++: 

mat(m,std::vector<T>(n));

Вы должны инициализировать mat объект-член в списке инициализации конструктора, например так (при условии, что самый внешний initializer_list не пуст)): 

Matrix(std::initializer_list<std::initializer_list<T>> lst) : mat(lst.size(), std::vector<T>(begin(lst)->size()))

2) Что касается предоставленного вами operator +: 

template<typename T,typename X,typename Y>
MatrixSum<T,X,Y>
operator+(X const& x, Y const& y)
{
    return MatrixSum<T,X,Y>(x,y);
}

Обратите внимание, что параметр шаблона T не выводится, поэтому компилятор не может его выяснитьи, следовательно, не может использовать этот оператор.Единственный способ назвать это было бы так: 

matrix1.operator +<some_type>(matrix2);

... что, вероятно, не то, что вам нужно.

Правильный способ - попытаться вычислить T ввремя компиляции, основанное на типах X и Y, с использованием некоторого метапрограммирования.

...