一部のコンパイラーが同一の文字列リテラルに同じアドレスを使用するのはなぜですか？

Question 1

'some'MSVCによって生成されたアセンブラコードで2つのリテラルを確認できますが、clangとgccを使用するリテラルは1つだけです。これにより、コード実行の結果がまったく異なります。

static const char *A = "some";
static const char *B = "some";

void f() {
    if (A == B) {
        throw "Hello, string merging!";
    }
}

誰かがそれらのコンパイル出力の違いと類似点を説明できますか？最適化が要求されていないのに、clang / gccが何かを最適化するのはなぜですか？これはある種の未定義の動作ですか？

また、宣言を以下に示すように変更すると、clang / gcc / msvcはアセンブラー"some"コードに何も残さないことに気づきました。なぜ動作が異なるのですか？

static const char A[] = "some";
static const char B[] = "some";

Question 2

これは未定義の動作ではなく、未指定の動作です。以下のための文字列リテラル、

コンパイラは、等しいまたは重複する文字列リテラルのストレージを組み合わせることができますが、必須ではありません。つまり、ポインタで比較したときに、同じ文字列リテラルが等しいかどうかは異なります。

つまり、の結果はor であるA == B可能性があり、依存するべきではありません。truefalse

標準から、[lex.string] / 16：

すべての文字列リテラルが別個である（つまり、重複しないオブジェクトに格納されている）かどうか、および文字列リテラルの連続した評価で同じオブジェクトまたは異なるオブジェクトが生成されるかどうかは指定されていません。

Question 3

他の回答は、ポインタアドレスが異なると期待できない理由を説明しています。しかし、これを保証しA、B同等と比較しない方法でこれを簡単に書き換えることができます。

static const char A[] = "same";
static const char B[] = "same";// but different

void f() {
    if (A == B) {
        throw "Hello, string merging!";
    }
}

違いがあることであることAとBなりました文字の配列です。つまり、これらはポインタではなく、2つの整数変数のアドレスと同じように、アドレスを区別する必要があります。それは、ポインタと配列は、交換可能に見える（なるためC ++はこれを混乱させるoperator*とoperator[]同じように動作しているように見える）が、彼らは本当に異なっています。たとえば、のようなものconst char *A = "foo"; A++;は完全に合法ですが、そうでconst char A[] = "bar"; A++;はありません。

違いを考える1つの方法は、char A[] = "..."「メモリブロックを与えて、...それに続く文字を入力してください」と言うの\0に対して、「char *A= "..."文字が...続く文字を見つけることができるアドレスを教えて」と言い\0ます。

Question 4

コンパイラが同じ文字列の場所を使用することを選択するかどうか、AおよびB実装次第です。正式には、コードの動作は不特定であると言えます。

どちらを選択しても、C ++標準が正しく実装されます。

Question 5

これは、スペースを節約するための最適化であり、「ストリングプーリング」と呼ばれます。MSVCのドキュメントは次のとおりです。

https://msdn.microsoft.com/en-us/library/s0s0asdt.aspx

したがって、コマンドラインに/ GFを追加すると、MSVCで同じ動作が見られるはずです。

ちなみに、おそらくそのようなポインターを介して文字列を比較するべきではありません。適切な静的分析ツールは、そのコードに欠陥があるとフラグを立てます。実際のポインタ値ではなく、それらが指すものを比較する必要があります。