web-dev-qa-db-ja.com

テンプレート化された線形代数ベクトルクラスの奇妙な「メンバー関数が実行可能ではありません」エラー

テンプレート化されたベクトルクラス(データコンテナーではなく、線形代数の意味でのベクトル)を実装していますが、演算子のオーバーロードで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()など)を呼び出すたびに発生します。 2つのエラーが表示されます(1回は_VecXd<int>_で、もう1回は_VecXd<int>_で)。

また、コピーコンストラクターは、次の行のオーバーロードされた+ operator関数では認識されません。

_VecXd<T> temp = *this;
_

助けて?

13
Simon Ayzman

constオブジェクトで関数を呼び出せるようにするには、関数がオブジェクトを変更しないことをコンパイラーに約束する必要があります。これを行うには、引数リストの後にキーワードconstを使用して関数をマークします。たとえば、getDimensionconstメンバー関数にするには、次のように変更します。

const ULL getDimension() const { return dimension; }

(戻り値の型のconstはまったく効果がないため、削除する必要があることに注意してください)

30