問題タブ [lvalue-to-rvalue]

$4.2/1 - 「「N T の配列」型または「T の境界が不明な配列」の左辺値または右辺値は、「T へのポインター」型の右辺値に変換できます。結果は、配列の最初の要素へのポインタです。」

初期化/宣言時以外に配列型の右辺値を取得する方法がわかりません。

C ++ ANSI ISO IEC 14882 2003 Annex C.1（668ページ）：

変更：条件式、代入式、またはコンマ式の結果は、左辺値である可能性があります
。理論的根拠：C + +はオブジェクト指向言語であり、左辺値に比較的重点を置いています。たとえば、関数は左辺値を返す場合があります。
元の機能への影響：明確に定義された機能のセマンティクスに変更します。左辺値から右辺値への変換に暗黙的に依存する一部のC式では、異なる結果が得られます。例えば、

C++およびCで100を生成しsizeof(char*)ます
。..。

私はちょうど今日これを読んでいて、数ヶ月前に私の友人が問題を提案したことを思い出しました。それは、C ++でコンパイルされた場合は0を返し、Cでコンパイルされた場合は1を返す関数を書くことでした。これは、Cでは構造体が外部スコープにあるという事実を利用しています。したがって、この新しい情報を考慮して、これはMicrosoft Visual Studio 2008で試した上記の問題の別の解決策になると判断しましたが、CまたはC ++コードとしてコンパイルされているかどうかに関係なく、sizeof(0, arr)常に4が生成されます。

1.ISO Cとは何ですか？それは現在のC標準ですか？それだけですか（Cは急速に進化していると聞きました）2。これはMicrosoft C ++のバグですか？

TIA

編集：申し訳ありませんが、出力と混同して編集しました：

C ++03§4.2N°1：
「NTの配列」または「Tの未知の境界の配列」タイプの左辺値または右辺値は、「Tへのポインター」タイプの右辺値に変換できます。結果は、配列の最初の要素へのポインターです。

このステートメントで長い間混乱していたのは、配列型の右辺値が何を意味するのかよく理解していなかったということです。つまり、型が配列で結果が右辺値である式を思い付くことができませんでした。私はこのスレッドを読みました。これは基本的に同じ質問をし、受け入れられた答えは「いいえ、配列型の右辺値はありません」です。これには矛盾があるのではないかと思います。

C ++03§5.2.5N°4:(式E1.E2に関するもの）
E2が非静的データメンバーであり、E1のタイプが「cq1vq1 X」であり、E2のタイプが「cq2」である場合vq2 T」、式は、最初の式で指定されたオブジェクトの指定されたメンバーを指定します。E1が左辺値の場合、E1.E2は左辺値です。

それ以外の場合は右辺値であると思います（E2が参照ではない場合、その場合はでカバーされ§5.2.5 N°3ます）。したがって...

ここに2つのオプションがあります。オプション1
：正解です、万歳、イェーイ、かっこいいです。この場合、問題は次のとおりです。他の例はありますか？
オプション2：私は間違っています。この場合の質問は次のとおりです。これは標準の欠陥ですか？

1についてはわかりませんが、2については本当に疑問です。なぜなら、関数からポインターへの変換について話すとき、関数型の左辺値だけに言及しているからです（明らかに、そのような右辺値がないことを認めています）。したがって、彼らは配列型の右辺値を考えていた可能性が非常に高いです。

ですから、基本的に私の質問は、配列型の右辺値の例を思いついたかどうかです。そうでない場合は、有効なものを提供してください。

「単項 & 演算子のオペランドでは、左辺値から右辺値への変換は行われません。」

それが何を意味するのか知っていますか>誰か説明できますか..それをお願いします

元：

私はインターネットでかなり多くのことを読んでいますが、多くの人が次のルールについて言及しているようです（しかし、私はそれを標準で見つけることができませんでした）、

加算演算子+（および他のすべての二項演算子）では、両方のオペランドが右辺値である必要があり、結果は右辺値になります。等々..

C ++標準を確認したところ、（3.10 / 2節）と明確に述べられています。

prvalueが期待されるコンテキストでglvalueが表示されると、glvalueはprvalueに変換されます。

（5/9節）、

glvalue式が、そのオペランドのprvalueを期待する演算子のオペランドとして表示される場合は常に、左辺値から右辺値（4.1）、配列からポインター（4.2）、または関数からポインター（4.3）の標準変換が行われます。式をprvalueに変換するために適用されます。

これは、オペランドがprvalueを「期待する」という用語を使用します。ただし、加算演算子、乗算演算子などを調べると、結果はprvalueであるとしか言及されていませんが、オペランドが「期待される」ものについては何も述べられていません。

二項演算子が実際にオペランドがprvalueであることを期待しているかどうかは、次の場合に違いがあります。

bがprvalueであると予想される場合、ここで左辺値から右辺値への変換が行われ、次にprvalue + prvalueが実行され、prvalueが返され、結果のprvalueが左辺値aに割り当てられます。

ただし、bがprvalueである必要がない場合は、lvalue + prvalueになり、結果はprvalueになります。

標準が明示的または暗黙的にさまざまな演算子のルールについて言及している場所を本当に知りたいですか？私はすべての演算子のセクションをチェックし、オペランドと結果が左辺値か右辺値かを標準で明示的に言及している演算子はごくわずかです。ほとんどの演算子の場合、標準では結果のみが記載されており、オペランド要件は記載されていません。

ありがとう。

ところで、定数式に関する標準5.19で、二項演算子がオペランドで左辺値から右辺値への変換を必要とすることを非常に「暗黙的に」暗示している可能性があることを発見しました。詳細については、前の質問を参照してください。

constexprとconstの混合使用？

条件式は、評価される可能性のある部分式として次のいずれかが含まれない限り、定数式です（3.2）。

..。

—左辺値から右辺値への変換（4.1）

————定数式で初期化された、先行する初期化を伴う不揮発性constオブジェクトを参照する整数型または列挙型のglvalue

読んでくれてありがとう。

4.1/2から

左辺値によって示されるオブジェクトに含まれる値は、右辺値の結果です。左辺値から右辺値への変換が sizeof (5.3.3) のオペランド内で発生する場合、その演算子はそのオペランドを評価しないため、参照されるオブジェクトに含まれる値はアクセスされません。

好奇心から、if、for、while ステートメントにも同じことが当てはまるのではないかと考えていました。つまり、ステートメントの結果が評価されるときに左辺値が右辺値に変換されるのでしょうか。

C ++標準（4/5）単項＆演算子のオペランドでは、左辺値から右辺値への変換は行われません。

例えば：

上記の場合、両方の左辺値pはありますか？&xまたは適切な例は何でしょうか？

編集：

これはどうですか？

このステートメントには変換がないことは確かですが、＆operatorがこれにどのように関与するのか混乱していますか？

(ほぼ) 同じように扱われるべきだと思う 3 つの関数呼び出しがありますが、明らかにそうではありません。3 つのうちの 1 つがコンパイルされない理由を理解しようとしています (g++ -std=c++0x)。

この質問は C++0x rvalue references - lvalues-rvalue bindingの行に少し沿っていますが、そこに回答がある場合は、申し訳ありませんが、抽出できませんでした。

私が望むのは、関数 bar() を任意の種類の文字列で呼び出して、それを機能させることです。を定義するだけで十分void barR(const string &x)ですが、その理由を本当に理解したいです。

3 番目の呼び出しが異なる理由を理解していただき、ありがとうございます。

コンパイラが右辺値を予期している状況で左辺値が現れると、コンパイラは左辺値を右辺値に変換します。

T が関数または配列型でない場合、型 T の左辺値 e は右辺値に変換できます。変換後の e の型は T になります。

コンパイラがいつ右辺値を期待するのか、または左辺値に還元される式が右辺値に変換されるような正確な規則とは何かを誰かが知ることができますか? Cで可変サイズの配列を宣言しようとすると

しかし、私がするとき

左辺値から右辺値への変換が発生したときに誰かが詳しく説明してください?? 私の混乱は、最初のケースでは配列添字で左辺値から右辺値への変換が（宣言時に）発生しないが、2番目のケースでは発生することです