关于 operator[] 的编译错误

Compilation error concerning operator[]

我创建了一个模板 class vect,它允许我创建类型为 T 的元素数组,从 1 到 n(而不是 0 到 n-1)访问它们并排列它们(我必须排列以这种方式排列它们,而不是以 classical 方式排列它们)。

这是头文件:

#ifndef VECT_HPP

#define VECT_HPP

#include <vector>

template <class T>
class vect
{
public:
    vect(int=0);
    ~vect();
    void show(void) const;
    void permute(int,int);
    T& operator[](int);
    const T& operator[](int) const;
    void init_perm(void);
private:
    int n;
    double* p;
    std::vector<int> s;
};

#endif /* GUARD_VECT_HPP */
#include "vect.cpp"

这是源文件:

#ifndef VECT_CPP
#define VECT_CPP

#include "vect.hpp"
#include <iostream>

using namespace std;

template <class T>
vect<T>::vect(int a): n(a)
{
    p=new double[n];
    s.resize(n);
    init_perm();
}

template <class T>
vect<T>::~vect()
{
    delete [] p;
}

template <class T>
void vect<T>::show(void) const
{
    for (int i = 0; i < n; i++)
        cout << p[i] << endl;
}

template <class T>
void vect<T>::permute(int a,int b)
{
    static int c;
    a--;
    b--;
    c=s[a];
    s[a]=s[b];
    s[b]=c;
}
template <class T>
T& vect<T>::operator[](int i)
{
    return p[s[i-1]-1];
}

template <class T>
const T& vect<T>::operator[](int i) const
{
    return p[s[i-1]-1];
}

template <class T>
void vect<T>::init_perm(void)
{
    for (int i = 0; i < n; i++)
        s[i]=i+1;
}

#endif

这是我用来测试 class:

的文件 main.cpp
#include "vect.hpp"
#include <iostream>

using namespace std;

int main(void)
{
    vect<int> v(5);
    v.show();
    for (int i = 1; i <=5; i++)
        v[i]=10*i;
    v.show();
    cout << "Permuted 3 and 5" << endl;
    v.permute(3,5);
    v.show();
    v.init_perm();
    cout << "Initialized permutations" << endl;
    v.show();
    return 0;
}

我收到以下错误:

In file included from vect.hpp:25:0,
                 from main.cpp:1:
vect.cpp: In instantiation of ‘T& vect<T>::operator[](int) [with T = int]’:
main.cpp:11:6:   required from here
vect.cpp:43:19: error: invalid initialization of non-const reference of type ‘int&’ from an rvalue of type ‘int’
  return p[s[i-1]-1];

我在 Internet 上搜索了有关此错误的信息,以及它是如何由 operator[] 的错误执行引起的,但在更正后我仍然遇到相同的错误,即使我 return [=15] =] 而不是 p[s[i-1]].

你能帮帮我吗?

问题源于 p 的 type-mismatch 与模板 T 相比。

您有一个 double 的数组,由 p 指向。而模板 T 是一个 int。通常这不是什么大问题,因为 double 可以隐式转换为 int。但这不是正常情况,因为您想 return referenceint.

编译器会为您转换为 int,但此转换后的值是一个 rvalue 和一个临时值,引用不能绑定到 rvalues。

解决方案是不要让类型不匹配,而是让 p 指向 T 的数组。或者更好的是,它是 std::vector.

问题出在这里:

template <class T>
T& vect<T>::operator[](int i)
{
    return p[s[i-1]-1];
}

在您的示例中,T 被推导为 int,但 p 始终是 double 类型。因此,当您 return p[s[i-1]-1] 时,int& 会尝试绑定到 double。此时 double 值隐式转换为右值 int,不能绑定到 int&.