価値（コンピュータサイエンス）

コンピュータサイエンスとソフトウェアプログラミングにおいて、値とはプログラムによって操作できる何らかのエンティティの表現である。型のメンバーはその型の値である。^[1]

「変数の値」は、環境内の対応するマッピングによって与えられます。^[2]割り当て可能な変数を持つ言語では、変数の右辺値（または内容）と左辺値（または場所）を区別する必要があります。^[3]

宣言型（高水準）言語では、値は参照透過性でなければなりません。つまり、結果の値は、値を計算するために必要な式の位置に依存しません。位置の内容（ビット、1 か 0 か）とその解釈のみが重要です。^[要出典]

その名前にもかかわらず、C++言語標準ではこの用語は値ではなく式を分類するために使用されています。^{[4] : 8.2.1}

一部の言語では、代入文の左側と右側の典型的な評価モードから派生した、左辺値と右辺値の概念が使用されています。左辺値は、単一の式を超えて存続するオブジェクトを指します。右辺値は、それを使用する式を超えて存続しない一時的な値です。^[5]

左辺値と右辺値の概念は、Combined Programming Language (CPL) によって導入されました。右辺値、左辺値、右辺値/左辺値の式の概念は、入力パラメータ (値を持つ)、出力パラメータ (割り当て可能)、入力/出力パラメータ (値を持ち、割り当て可能) のパラメータモードに類似していますが、技術的な詳細はコンテキストと言語によって異なります。

多くの言語、特にC ファミリでは、左辺値は実行中のプログラムからプログラム的にアクセスできるストレージ アドレスを持ちます (たとえば、C/C++ の「&」のようなアドレス演算子を介して)。つまり、それらは変数または特定のメモリ位置への逆参照参照です。R 値は、左辺値 (以下を参照) または非左辺値 (左辺値と区別するためだけに使用される用語) になります。C 式を考えてみましょう4 + 9。実行されると、コンピューターは整数値 13 を生成しますが、プログラムはこの 13 がコンピューターのどこに保存されるかを明示的に指定していないため、式は非左辺値です。一方、C プログラムが変数 x を宣言し、値 13 を x に割り当てると、式xの値は 13 になり、左辺値になります。

C 言語では、l-value という用語は元々、代入可能なものを意味していました (代入演算子の左側にあることを示す名前がこれです)。しかし、予約語const(constant) が言語に追加されたため、この用語は現在「変更可能な l-value」です。C ++11には、式のアドレスの使用/アクセスをコンパイラのみに示す特別なセマンティック グリフ&&(論理演算に使用する演算子と混同しないでください) があります。つまり、プログラムの実行時にaddress-of 演算子を使用してアドレスを取得することはできません( move セマンティクスの使用を参照)。move セマンティクスの追加により、値の分類タクソノミーが複雑になり、有効期限が近づいていてリソースを再利用できる (通常は移動することによって) オブジェクトを参照する xvalue (期限切れの値) の概念が追加されました。これにより、lvalueとxvalueであるglvalue（一般化lvalue）と、xvalueではないrvalueであるprvalue（純粋なrvalue）というカテゴリも作成されました。^[6]&&&

このタイプの参照は、l 値だけでなく、非 l 値も含めたすべてのr 値に適用できます。プロセッサによっては、即値(略して「即値」と呼ばれることもあります) を取る 1 つ以上の命令が用意されています。即値は、通常、レジスタへのロード、レジスタへの加算、レジスタからの減算に使用する命令の一部として格納されます。命令のその他の部分は、オペコードと宛先です。宛先は暗黙的である場合があります。(即値以外の値はレジスタ内に存在する場合や、メモリ内の他の場所に格納されている場合があり、その場合は命令にその値への直接または間接のアドレス (インデックス レジスタ アドレスなど) を含める必要があります。)

左辺値式はオブジェクトを指定 (参照) します。変更不可能な左辺値はアドレス指定可能ですが、割り当てはできません。変更可能な左辺値では、指定されたオブジェクトを変更したり検査したりできます。右辺値は任意の式で、左辺値以外の値は左辺値ではない任意の式です。1 つの例は「即時値」(上記を参照) であり、したがってアドレス指定できません。

値は、文字列、数字、単一の文字など、 特定のデータ型によって、事実上あらゆる種類のデータになります。

プロセッサは、多くの場合、8 ビットまたは 16 ビットなど、複数のサイズの即値データをサポートし、各命令バリアントに固有のオペコードとニーモニックを使用します。プログラマが適合しないデータ値を指定すると、アセンブラは「範囲外」エラー メッセージを発行します。ほとんどのアセンブラでは、即値をASCII、10 進数、16 進数、8 進数、または2進数データとして表現できます。したがって、ASCII 文字はまたは'A'と同じです。文字列のバイト順序は、アセンブラとコンピュータ アーキテクチャに応じて、プロセッサ間で異なる場合があります。 650x41

• ミッチェル、ジョン C. (1996)。プログラミング言語の基礎。MIT 出版。ISBN 0-262-13321-0。
• Strachey, Christopher (2000). 「プログラミング言語の基本概念」.高階および記号計算. 13 : 11–49. doi :10.1023/A:1010000313106. S2CID  14124601.

• 値オブジェクト
• 転送オブジェクトパターン