Question

考虑以下代码：

#include <iostream>
#include <vector>

template<typename Type> class MyClass
{
    public:
        MyClass(Type* ptr) : _ptr{ptr}, _val{*ptr} {;}
        inline Type*& getptr() {return _ptr;}
        inline Type*& getptrc() const {return _ptr;}
        inline Type& getval() {return _val;}
        inline Type& getvalc() const {return _val;}
    protected:
        Type* _ptr;
        Type _val;
};

int main()
{
    std::vector<double> v = {0, 1, 2};
    MyClass<const double> x(&v[0]);
    x.getval();
    x.getvalc(); // <- OK
    x.getptr();
    x.getptrc(); // <- ERROR : "invalid initialization of reference of type 'const double*&' from expression of type 'const double* const'"
    return 0;
}

GCC会为getptrc函数invalid initialization of reference of type 'const double*&' from expression of type 'const double* const'生成错误。但函数getvalc编译得很好。我不明白getvalc和getptrc之间的区别在于错误的起源。

错误的原因是什么？为什么我不能为返回指针引用的函数设置const？

Answer 1

const double*&是对指向const double的指针的引用。

const double* const是指向const double的 const 指针。

这意味着你必须返回一个常量指针。

inline Type* const & getptrc() const {return _ptr;}

关于方法的

const意味着您不会修改数据成员。要填充该合同，您必须返回一个常量指针，否则，您可以修改数据成员_ptr。但是，在getvalc的其他情况下，您已经通过返回const double已完成该合同。

Answer 2

在MyClass<const double>中，名称Type引用const double。因此，返回getvalc()的成员函数Type&很好：它返回const double&，并且无法通过该引用修改_val。

Type*&还有另一层间接;虽然Type是const double，但指向它的指针是可修改的;这就是编译器抱怨的原因：_ptr是const成员函数中的const，但函数试图将其作为可修改的指针返回。

引用初始化无效：指针和值之间的差异？

2 个答案: