Подтвердить что ты не робот

Странная ошибка "Функция члена не жизнеспособна" в шаблоне линейного алгебраического класса

Я реализую шаблонный векторный класс (а не контейнер данных, но вектор в смысле линейной алгебры), и я получаю довольно много ошибок, когда я обращаюсь к rhs при перегрузке моего оператора. Кроме того, мой конструктор копий не работает.

#ifndef __VecXd__VecXd__
#define __VecXd__VecXd__

#define ULL unsigned long long
#include <iostream>

using namespace std;

template <class T>
class VecXd
{

public:

    explicit VecXd(ULL newDimension = 1) { dimension = newDimension; vector = new T[newDimension];}
    VecXd(const VecXd<T> &rhs);
    VecXd<T>& operator=(const VecXd<T> &rhs);
    const VecXd<T> operator+(const VecXd<T> &rhs) const;
    VecXd<T>& operator+=(const VecXd<T> &rhs);
    friend ostream& operator<<(ostream &out, VecXd<T> vec);
    friend istream& operator>>(istream &in, VecXd<T>& vec);
    ~VecXd() { delete[] vector; }

    const ULL getDimension() { return dimension; }
    const T itemAtIndex(ULL index) { if(index >= dimension) throw 1; return vector[index]; }

private:

    ULL dimension;
    T *vector;

};

template <class T>
VecXd<T>::VecXd(const VecXd<T> &rhs)
{
    dimension = rhs.getDimension();
    vector = new T[dimension];
    for (ULL i = 0; i < dimension; ++i)
        vector[i] = rhs.itemAtIndex(i);
}

template <class T>
VecXd<T>& VecXd<T>::operator=(const VecXd<T> &rhs)
{
    if (this != &rhs)
    {
        if (dimension != rhs.getDimension())
        {
            delete [] vector;
            dimension = rhs.getDimension();
            vector = new T[dimension];
        }
        for (ULL i = 0; i < dimension; ++i)
            vector[i] = rhs.itemAtIndex(i);
    }
    return *this;
}

template <class T>
VecXd<T>& VecXd<T>::operator+=(const VecXd<T> &rhs)
{
    if (dimension != rhs.getDimension())
    {
        cout << "\nCannot perform addition. Vectors do not have the same dimensions.\n";
        throw 1;
    }
    else
    {
        for (ULL i = 0; i < dimension; ++i)
            vector[i] += rhs[i];
    }
    return *this;
}

template <class T>
const VecXd<T> VecXd<T>::operator+(const VecXd<T> &rhs) const
{
    VecXd<T> temp = *this;
    temp += rhs;
    return temp;
}

template <class T>
ostream& operator<<(ostream &outs, VecXd<T> vec)
{
    for (ULL i = 0; i < vec.dimension; ++i)
        out << vec.vector[i] << (i+1 < vec.dimension ? " " : "");
    return out;
}

template <class T>
istream& operator>>(istream &in, VecXd<T> &vec)
{
    ULL newDim = 1;
    cin >> newDim;
    if (!cin.good())
    {
        cout << "\nImproper input.\n";
        throw 1;
    }
    else
    {
        delete [] vec.vector;
        vec.dimension = newDim;
        vec.vector = new T[vec.dimension];
        for (ULL i = 0; i < vec.dimension; ++i)
            in >> vec.vector[i];
    }
    return in;
}

#endif /* defined(__VecXd__VecXd__) */

Я получаю ошибки в этом стиле:

Member function 'getDimension' not viable: 'this' argument has type 'const VecXd<int>', but function is not marked const

Это происходит каждый раз, когда rhs вызывает функцию (например, getDimension() или itemAtIndex()); появляются две ошибки (один раз для VecXd<int> и другой для VecXd<int>).

Кроме того, конструктор копирования не распознается в перегруженной + операторской функции в этой строке:

VecXd<T> temp = *this;

Справка

4b9b3361

Ответ 1

Чтобы иметь возможность вызывать функцию в объекте const, вам нужно пообещать компилятору, что функция не будет изменять объект. Для этого вы помечаете функцию с помощью ключевого слова const после списка своих аргументов. Например, чтобы создать функцию-член getDimension a const, вы измените ее на:

const ULL getDimension() const { return dimension; }

(Обратите внимание, что const в возвращаемом типе не будет иметь абсолютно никакого эффекта, поэтому вы должны избавиться от него)