C および C で文字列リテラルが L 値とみなされるのはなぜですか?

文字列リテラルが L 値ステータスにおいて他のリテラルと異なる理由

C および C 言語は、L 値ステータスに関して文字列リテラルと他のリテラルを区別します。 。この区別の背後にある理論的根拠を理解するには、文字列リテラルと他のリテラルの違いをオブジェクト指向の観点から掘り下げる必要があります。

オブジェクトとしての文字列リテラル

すべてのリテラルは数値を含む固定値を表しますが、文字、およびブール値、文字列リテラルはオブジェクトとして目立ちます。オブジェクトはメモリ内に存在し、アドレスを持っているため、変更のためにアクセスできます。一方、他のリテラルはレジスタまたは定数に格納され、変更できません。

L 値とオブジェクト

C および C では、L 値は変数を指します。値 (つまり、左の値) を割り当てることができます。オブジェクトは、値を割り当てて変更できる唯一のエンティティであるため、オブジェクトである文字列リテラルが L 値として認定されるのは当然です。

歴史的な理由

配列型は次の目的で使用されます。 C および C の文字列リテラルを表します。 C の配列は、L 値以外として式内に存在できません。文字列リテラルを L 値として使用するために、ポインター型ではなく配列型が指定されました。ただし、このアプローチでは、sizeof 演算子と一緒に使用できないため、文字列リテラルの汎用性が低くなります。

最新の開発

C99 での複合リテラルの導入により、非オブジェクトの概念が導入されました。リテラルは他の構成要素に拡張された L 値であるため、文字列リテラルの一意の L 値ステータスが少なくなります。

ハードウェアへの影響

L 値と R 値の区別は、理論的にはハードウェア アーキテクチャに関連しています。 L 値はメモリの場所を指し、R 値はレジスタまたはスタックや定数ストレージなどの専用ハードウェア コンポーネントに格納されている値を表します。ただし、最新のコンパイラはコードを最適化してこの区別を多少あいまいにし、パフォーマンスにとって有益であれば R 値をメモリに保存できるようにしています。

以上がC および C で文字列リテラルが L 値とみなされるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。