Javaに定数機能がないのはなぜですか？

Javaで定数の背後にある理由を特定しようとしていましたが、Javaではfinalキーワードを使用して定数を宣言できることがわかりました。

私の質問は、Javaが定数（const）機能を導入しなかった理由です。多くの人がC ++から来たと言っているので、C ++にはconstキーワードがあります。

あなたの考えを共有してください。

重いC ++コーディングからJavaに移行するたびに、Javaのconst-correctnessの欠如に適応するのに少し時間がかかります。constC ++ でのこの使用法は、知らない場合に定数変数を宣言することとは大きく異なります。基本的には、const-pointerと呼ばれる特別な種類のポインターを介してアクセスしたときにオブジェクトが不変であることを保証します。副作用があってはならないメソッドのみを含む。残念ながら、これは言語によって強制されていません。

ウィキペディアでは、このテーマに関する次の情報を提供しています。

興味深いことに、Java言語仕様では、constを予約済みキーワード（つまり、変数識別子として使用できないキーワード）と見なしていますが、セマンティクスは割り当てられていません。キーワードの予約は、Java言語の拡張にC ++スタイルのconstメソッドとconst型へのポインターを含めることができるようにするために行われたと考えられています。Javaでconstの正確性を実装するためのJava Community Processの拡張リクエストチケットは2005年に閉鎖されました。これは、constの正確性がおそらく公式のJava仕様に反映されないことを意味します。

どういうconst意味か
まず、「const」キーワードのセマンティクスは、人によって意味が異なることを理解してください。

• 読み取り専用参照 -Java finalセマンティクス-参照変数自体を別のインスタンス（メモリロケーション）を指すように再割り当てすることはできませんが、インスタンス自体は変更可能です
• 読み取り専用の参照 -C constポインター/参照セマンティクス-この参照はインスタンスの変更に使用できないことを意味します（例：インスタンス変数に割り当てられない、変更可能なメソッドを呼び出せない）-参照変数のみに影響するため、非const参照が同じインスタンスがインスタンスを変更する可能性があります
• 不変オブジェクト -インスタンス自体は変更できないことを意味します-インスタンスに適用されるため、非const参照は許可されないか、インスタンスの変更に使用できません
• 上記のいくつかの組み合わせ？
• その他？

なぜか、なぜそうでないconst
か、本当に「賛成派」と「反対派」の議論の一部を掘り下げたい場合は、この拡張要求（RFE）の「バグ」の下の説明を参照してください。このRFEは、「読み取り専用参照」タイプの「const」機能を要求します。1999年にオープンし、2005年にSunによってクローズ/却下された「const」トピックは、激しく議論されました。

http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4211070

双方には多くの良い議論がありますが、しばしば引用される（しかし、必ずしも説得力のある、または明確なわけではない）理由にconstは、次のものがあります。

• 誤用および/または悪用される可能混乱の意味を有することができる（参照何const平均以上の）
• 他の方法で利用可能な機能を複製する場合があります（例：不変クラスを設計する、不変インターフェースを使用する）
• 機能クリープである可能性があり、値によるオブジェクトの受け渡しのサポートなど、その他のセマンティックの変更が必要になる

これらが良い理由か悪い理由かについて誰かが私に議論する前に、これらは私の理由ではないことに注意してください。これらは、私がRFEの議論をざっと読んで得たいくつかの理由の「要点」にすぎません。私は必ずしも自分自身に同意するわけではありません。単に、私ではなく一部の人々がconstキーワードが良い考えではないかもしれないと感じる理由を挙げようとしています。個人的には、より明確な方法で言語に導入される「const」セマンティクスがもっと欲しいです。

const C ++では、値が定数であることを意味しません。

const C ++では、契約のクライアントがその値を変更しないことを約束することを意味します。

constスレッドベースの同時実行をサポートする環境にいる場合は、式の値が変化するかどうかがより明確になります。

Javaは最初からスレッドとロックの同時実行性をサポートするように設計されていたため、用語をオーバーロードして意味をfinal持つようにすることで混乱を招くことはありませんでした。

例えば：

#include <iostream>

int main ()
{
    volatile const int x = 42;

    std::cout << x << std::endl;

    *const_cast<int*>(&x) = 7;

    std::cout << x << std::endl;

    return 0;
}

出力42、次に7。

けれどもxとしてマークされたconst非constエイリアスが作成されるように、x一定ではありません。すべてのコンパイラがvolatileこの動作を必要とするわけではありません（ただし、すべてのコンパイラは定数をインライン化することが許可されています）

より複雑なシステムではconst_cast、を使用せずにconst / non-constエイリアスを取得するため、constが変更されないことを意味すると考える習慣がますます危険になります。const単に、コードがキャストなしではコードを変更できないことを意味し、値が定数であることを意味しません。

これは少し古い質問ですが、このスレッドが今日の会話で出てきたので、とにかく2セントを寄付すると思いました。

これはなぜconstがないのか正確に答えていませんか？しかし、クラスを不変にする方法。（残念ながら、受け入れられた回答へのコメントとして投稿するにはまだ十分な評判がありません）

オブジェクトの不変性を保証する方法は、クラスを不注意に設計することです。これは、変更可能なクラスよりも少し注意が必要です。

これは、Josh Blochの効果的なJava アイテム15-最小化の可変性に戻ります。本をまだ読んでいない場合は、コピーを手に取り、数回読んでください。比喩的な"Javaゲーム"が表示されることを保証します。

項目15でBlochは、オブジェクトの状態を保証するためにクラスの可変性を制限する必要があることを示唆しています。

本を直接引用するには：

不変クラスは、インスタンスを変更できないクラスです。各インスタンスに含まれるすべての情報は、作成時に提供され、オブジェクトの存続期間中は修正されます。Javaプラットフォームライブラリには、String、ボックス化されたプリミティブクラス、BigIntegerおよびBigDecimalなど、多くの不変クラスが含まれています。これには多くの理由があります。不変クラスは、可変クラスよりも設計、実装、使用が簡単です。エラーが発生しにくく、より安全です。

次に、Blochは、5つの単純なルールに従って、クラスを不変にする方法を説明します。

1. オブジェクトの状態を変更するメソッド（セッター、ミューテーターなど）を提供しない
2. クラスを拡張できないことを確認してください（つまり、クラス自体をとして宣言しますfinal）。
3. すべてのフィールドを作成しますfinal。
4. すべてのフィールドを作成しますprivate。
5. 変更可能なコンポーネントへの排他的アクセスを保証します。（オブジェクトの防御コピーを作成することにより）

詳細については、本のコピーを入手することを強くお勧めします。

のC ++セマンティクスはconst、Java とは大きく異なりますfinal。デザイナーが使用しconstていたとしたら、それは不必要に混乱していたでしょう。

const予約語であるという事実は、設計者がを実装するためのアイデアを持っていることを示唆していますがconst、それ以来、彼らはそれを拒否しました。このクローズされたバグを参照してください。上記の理由には、C ++スタイルのサポートを追加constすると互換性の問題が発生することが含まれます。

Javaで「const」変数を作成する方法がありますが、これは特定のクラスに対してのみです。finalプロパティを持つクラスを定義し、それをサブクラス化するだけです。次に、「const」を使用する基本クラスを使用します。同様に、「const」メソッドを使用する必要がある場合は、それらを基本クラスに追加します。コンパイラーは、基本クラスの最終メソッドであると考えるものを変更することを許可しませんが、サブクラスのメソッドを読み取って呼び出します。

定数を定義するには2つの方法があります- constとstatic final、まったく同じセマンティクス。さらにstatic final、より良い動作を説明しますconst

static finalを使用して、Constと同様に機能するものを作成できます。これは過去に使用しました。

protected static final int cOTHER = 0;
protected static final int cRPM = 1;
protected static final int cSPEED = 2;
protected static final int cTPS = 3;
protected int DataItemEnum = 0;

public static final int INVALID_PIN = -1;
public static final int LED_PIN = 0;