Question

给出以下C源代码：

const int foo(void)
{
    return 42;
}

gcc编译时没有错误，但是-Wextra或-Wignored-qualifiers会出现以下警告：

warning: type qualifiers ignored on function return type

我理解在C ++中有充分理由区分const函数和非const函数，例如在运算符重载的上下文中。

在普通的C中，我不明白为什么gcc不会发出错误，或者更简洁，为什么标准允许const函数。

为什么允许在函数返回类型上使用类型限定符？

Answer 1

如果从函数返回的值被限定为const，则无关紧要。

即使没有合格，也无法更改返回的值。

foo() = -42; /* impossible to change the returned value */

因此使用const是多余的（通常省略）。

Answer 2

考虑：

#include <stdio.h>

const char* f()
{
    return "hello";
}
int main()
{
    const char* c = f();

    *(c + 1) = 'a';

    return 0;
}

如果返回值不允许const，则code将编译（并在运行时导致未定义的行为）。

当函数返回指向不可修改的东西的指针时，

const很有用。

Answer 3

因为它对指针类型有意义，我的猜测是它只是简化了语法，所以没有人认为值const非指针返回值是错误的。

此外，您与C ++的比较有点偏，因为C ++中的常量方法是通过const最后声明的：

int foo() const;

作为const的方法与具有const返回值的方法之间没有关系，它们是完全不同的东西。语法使这一点相当清楚。