const 函数的编译器错误

Question

我不确定我是否缺少一些基本的东西。 但我无法理解为什么编译器会为此代码生成错误：

class A
{
};

class B
{
public:
    B();
    A* get() const;

private:
    A* m_p;
};

B::B()
{
    m_p = new A;
}

A* B::get() const
{
    //This is compiling fine
    return m_p;
}

class C
{
public:
    A* get() const;
private:
    A m_a;
};

A* C::get() const
{
   //Compiler generates an error for this. Why? 
    return &m_a;
}

编辑：编译器错误是：错误 C2440：'return'：无法从 'const class A *' 转换为 'class A *' 转换丢失限定符

Answer 1

函数签名中的const告诉编译器该对象的成员不能被修改。 然而，您返回一个指向成员的非 const 指针，从而违反了该承诺。

在您的类 B 中，您不许诺/不许诺，因为您不返回指向成员的指针，而是返回它的副本（并且该成员恰好是一个指针）。

Answer 2

这是因为您从 const 函数返回一个指向成员的非常量指针。

第一部分有效，因为您返回成员指针的副本，因此这不会违反 get 函数的常量性：

class B
{
public:
    B();
    A* get() const;

private:
    A* m_p;
};

A* B::get() const
{
    //This is compiling fine
    return m_p;
}

但是下一位会生成编译错误（在 gcc 4 上） ）

testfile.cpp:37: 错误：从“const A*”到“A*”的转换无效

因为您的 const get 函数通过返回指向 m_a 的非常量指针来提供对 m_a 的非常量访问。

class C
{
public:
    A* get() const;
private:
    A m_a;
};

A* C::get() const
{
   //Compiler generates an error for this. Why?
    return &m_a;
}

Answer 3

因为返回的指针不是const。 将其更改为：

class C
{
public:
    const A* get() const;
private:
    A m_a;
};

const A* C::get() const
{
    //Compiler generates an error for this. Why? 
    return &m_a;
}

请注意，C::get() 现在返回一个指向 A 的 const 指针。

Answer 4

标记为 const 的成员函数不能返回非常量引用或指向私有变量的指针。 如果编译器允许这样做，类之外的任何人都可以修改所述私有变量，并且函数上的 const 限定符将失去意义。

Answer 5

这个问题可以用一个更简单的例子来说明：

class MyClass {
public:
    int *get() const;
private:
    int value;
};

int *MyClass::get() const {
    return &value;
}

在MyClass::get() const中，value的类型为const int。 当您取消引用它时，您将得到 const int *。 该类型无法安全（隐式）转换为 int *。 要纠正您的问题，请让 get() 返回 const int *。

Answer 6

A* C::get() const
{
   //Compiler generates an error for this. Why? 
    return &m_a;
}

由于 get() 是 const 函数，因此编译器将其引用的所有成员变量视为 const。 当您获取此类成员的地址时，您将获得一个指向 const 的指针。 但你的函数返回一个非常量指针。 您需要将代码更改为

const A* C::get() const
{
    return &m_a;
}

Answer 7

基本上只需在前面添加一个 const，

const A* C::get() const
{
   //Compiler generates an error for this. Why? 
    return &m_a;
}

然后如果你想访问它，基本上就这样做：

C something;

const A* a = something.get();

但是，对我来说，你的程序没有什么意义。

IMO，这样做是最有意义的：

class A{
};

class C : public A
{
};

这样你就不必进行返回 A 实例的“get”。