c - 関数の戻り値の型の型修飾子

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関数が許可されている理由がわかりません。

関数の戻り値の型に型修飾子を使用できるのはなぜですか?

score 4 · Accepted Answer

検討：

#include <stdio.h>

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

    *(c + 1) = 'a';

    return 0;
}

const戻り値で許可されていない場合、コードはコンパイルされます（実行時に未定義の動作が発生します）。

const関数が変更不可能なものへのポインタを返す場合に役立ちます。

score 2 · Accepted Answer

関数から返される値がとして修飾されているかどうかは関係ありませんconst。

修飾されていなくても、返される値を変更することはできません。

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

したがって、使用constは冗長です（通常は省略されます）。

score 2 · Accepted Answer

ポインター型には意味があるので、単に文法を単純に保つだけなので、constポインター以外の戻り値をエラーにする価値があるとは誰も考えていないと思います。

constまた、C++ の定数メソッドはlastを持つことによって宣言されるため、C++ との比較は少しずれています。

int foo() const;

constであるメソッドと戻り値を持つメソッドの間には関係がなくconst、完全に異なるものです。構文はこれをかなり明確にします。

3 に答える 3