C++ 中的 const 混乱

Question

可能的重复：
为什么我的返回类型毫无意义？

嗨，我对特定的内容感到困惑常量转换。我有类似

// Returns a pointer that cannot be modified,   
// although the value it points to can be modified.  
double* const foo()  
{  
    static double bar = 3.14;  
    return &bar;  
}

int main()  
{  
    double* const x = foo(); // fine  
    const double* y = foo(); // eh?!  
    return 0;  
}

当我在 MSVS 2008 (Express) 上编译它时没有错误，但在我看来应该有错误。 x 和 y 背后的含义完全不同，因此似乎不应该存在这种隐式转换。那么这是编译器的问题（不太可能），还是我对这里涉及的常量的理解（很可能）。

Answer 1

您所做的相当于以下内容：（

const int a = 5;
int b = a;

您可能知道）这是完全有效的，因为它创建了变量的副本。如果您执行 b = 10，a 仍为 5，因此常量不会“被破坏”。

Answer 2

正如在许多其他问题中多次被问到的那样，从函数返回 const 值是没有意义的。函数返回一个右值，根据定义该右值不能被修改。您可以将其分配给另一个变量这一事实并不令人意外。看看这些问题&有关更多信息的答案：

• 应该无用类型限定符为了清楚起见，使用返回类型？
• 为什么我的返回类型毫无意义？< /a>
• 右值存储在 c 中的哪里？

Answer 3

返回值无法修改。也就是说，指针无法修改。但是，由于在调用站点，返回值是右值（没有定义的 = 运算符），因此无论如何都无法对其进行修改。

如果返回值是左值（例如引用），则这是可能的：

double* &foo()
{
    static double bar = 3.14;
    double *barP = &bar;
    return barP;
}

double myDouble;
foo() = &myDouble;

但这不可能：

double* const &foo()
{
    static double bar = 3.14;
    double *barP = &bar;
    return barP;
}

double myDouble;
foo() = &myDouble; // error!

将 const 添加到返回值（至于指针的质量） > as const，而不是指向数据 as const）在你的情况下什么也不做。如果有的话，你的编译器应该警告你这一点，因为如果你只是删除 const 限定符，实际上没有什么不同（除非可能 ABI 更改，尽管我不确定是否在这种情况下，标准允许 ABI 更改）。

Answer 4

您始终可以将一个X const（常量X）分配给变量X——该变量稍后可能会被修改，但是X const保证的是< strong>本身不会被修改，当然，它的任何副本也不会被修改。在您的情况下，X 是指针类型，但这不会改变此规则。

您始终可以从 X* 值分配一个 const X* 变量：所指向的数据不会通过您分配的指针变量进行修改 （这就是 its const 的意思），但当然它们可以通过其他途径进行修改。

因此，在这种情况下，您同时执行两个完全合法的分配：在这种情况下，没有理由认为两个合法事物的组合应该是非法的，因为无论如何都没有违反明确的约束。

Answer 5

使用从右到左的规则来理解“foo”的返回类型。 'foo' 基本上返回 a （也通过 cdecl.org 进行交叉验证）

指向双精度的常量指针

“指向 double 的 const 指针”与“指向 const double 的指针”不同。

第一种情况，指针是const，指向的值可以改变。

在第二种情况下，该点可以改变，但指向的值不能改变。

Answer 6

嘿 jdowner，虽然这里的这些答案很可能回答您的问题，但我也强烈建议您阅读这篇关于 常量正确性。它以简单的英语介绍了所有可能的场景及其含义。