为什么编译器会警告返回类型上的 const 没有意义？

Question

我正在尝试使用 const MyClass * const 的返回类型。 但是，我收到警告：

警告：#815-D：返回类型上的类型限定符毫无意义。

这不是一个有效的类型吗？ 我想要一个不能更改的指针，并且我希望它指向的东西也不能被更改。

Answer 1

指针本身具有值类型，因此将其设置为 const 是没有意义的。 调用函数对返回值执行的操作不受被调用函数的限制。 这类似于尝试定义类似的东西：

const int getInt();

getInt()，在这种情况下，只返回一个 int 值（而不是引用）。 它进入寄存器，然后调用者函数接收它并用它做任何它想做的事。

Answer 2

我同意朱利亚诺的回答，你希望指针的常量位于调用站点。

完成您正在寻找的操作的更好方法是让您的函数返回对该对象的 const 引用：

const MyClass& getMyClass()
{ 
  return myClass;
}

根据定义，引用不能被修改，所以您会更好。

当然，如果您的函数尝试创建 MyClass 对象，则这将不起作用。 在这种情况下，您只需将额外的常量移至调用站点即可。

// function definition
const MyClass* createMyClass()
{ 
  return new MyClass("I Love C++");
}

// use of a const pointer to a MyClass which is const
const MyClass* const myClassInstance = creatMyClass();

Answer 3

为什么要关心指针是否改变？ 这样做就像在说：

const int f() {
   ...
}

f() 返回的值是一个副本 - 更改它不会改变任何内容，因此将其设为 const 没有任何意义。

Answer 4

确保定义所需返回类型的一种简单方法是始终在原始类型的右侧（而不是左侧）添加修饰符。

MyClass                 // MyClass object
MyClass const           // MyClass object which can't be modified
MyClass const &         // reference of an unmodifiable MyClass object 
MyClass const *         // pointer to an unmodifiable MyClass object
MyClass const * const   // unmodifiable pointer to an unmodifiable MyClass object
MyClass const * const & // reference of an unmodifiable pointer to an unmodifiable MyClass object

这应该有助于确保您的返回类型不再毫无意义:)

Answer 5

const 限定符没有任何意义，因为你返回的是一个指针

Answer 6

为什么返回 const 值？ 考虑以下内容（请原谅缺乏想象力的变量名称）：

struct A { int a; };

A operator+(const A& a1, const A& a2) 
{
    A a3 = { a1.a + a2.a };
    return a3;
}

鉴于 operator+ 的声明，我可以执行以下操作：

A a = {2}, b = {3}, c = {4}, d = ((a+b) = c);

没错，我刚刚分配给临时 A由operator+返回。 da 的结果值为 4，而不是 5。将 operator+ 的返回类型更改为 const A 可阻止此赋值，从而导致表达式 (a+b) = c 生成编译器错误。

如果我尝试分配给从函数返回的指针或整数，我的编译器 (MSVC) 会生成“左操作数必须是左值”错误，这似乎与 ARM 编译器告诉您指针的常量性毫无意义是一致的--无论如何，指针都不能被赋值。 但对于类/结构，显然可以分配给非常量返回值。