0と-0を区別することは可能ですか？

整数値0と-0は基本的に同じであることを知っています。しかし、それらを区別することは可能かどうか疑問に思っています。

たとえば、変数が割り当てられた-0かどうかはどうすればわかりますか？

bool IsNegative(int num)
{
    // How ?
}

int num = -0;
int additinon = 5;

num += (IsNegative(num)) ? -addition : addition;

-0メモリに保存された値はとまったく同じ方法0ですか？

それはあなたが対象としているマシンに依存します。

整数に2の補数表現を使用するマシンでは、ビットレベルで0との間に違いはありません-0（それらは同じ表現です）

マシンが補数を使用している場合、間違いなく

0000 0000   -> signed   0 
1111 1111   -> signed   −0

明らかに、ネイティブサポートの使用について話しています。x86シリーズプロセッサは、符号付き数値の2の補数表現をネイティブサポートしています。他の表現を使用することは間違いなく可能ですが、おそらく効率が悪く、より多くの指示が必要になります。

_{（JerryCoffinも述べたように：補数が主に歴史的な理由で考慮されていたとしても、符号付きの大きさの表現は依然としてかなり一般的であり、負のゼロと正のゼロの別々の表現を持っています）}

int（ほとんど普遍的な「2の補数」表現で）の表現0と-0同じです。（これらは、IEEE 754浮動小数点など、他の数値表現では異なる場合があります。）

2の補数で0を表すことから始めましょう（もちろん、他の多くのシステムと表現が存在します。ここでは、この特定のものを参照します）、8ビット、0と仮定すると、

0000 0000

次に、すべてのビットを反転し、1を追加して2の補数を取得します。

1111 1111 (flip)
0000 0001 (add one)
---------
0000 0000

を得0000 0000ました。これは-0の表現でもあります。

ただし、1の補数では、符号付き0は0000 0000ですが、-0は1111 1111です。

CとC ++の実装は通常密接に関連しているため、この回答はそのままにすることにしましたが、実際には、私が思ったようにC標準に準拠していません。重要な点は、C ++標準では、このような場合に何が起こるかを指定していないということです。また、2の補数以外の表現が現実の世界で非常にまれであること、およびそれらが存在する場合でも、誰かが簡単に発見できるものとして公開するのではなく、多くの場合、違いを隠すことがよくあることも重要です。

それらが存在する整数表現の負のゼロの動作は、C標準の場合ほど厳密にC ++標準で定義されていません。ただし、Cレベル（ISO / IEC 9899：1999）を最上位の規範的な参照として引用しています[1.2]。

C標準[6.2.6.2]では、負のゼロは、ビットごとの演算、または負のゼロがすでに存在する演算（たとえば、負のゼロを値で乗算または除算する、または負のゼロをゼロ）-したがって、例のように、通常のゼロの値に単項マイナス演算子を適用すると、通常のゼロになることが保証されます。

負のゼロを生成する可能性がある場合でも、負のゼロをサポートするシステムであっても、それらが発生する保証はありません。

これらのケースが実際に負のゼロまたは通常のゼロを生成するかどうか、および負のゼロがオブジェクトに格納されたときに通常のゼロになるかどうかは指定されていません。

したがって、結論付けることができます。いいえ、このケースを検出する信頼できる方法はありません。2の補数以外の表現が現代のコンピュータシステムでは非常にまれであるという事実がなくても。

C ++標準では、「負のゼロ」という用語については触れられておらず、[3.9.1パラ7]が許可されていることに注意することを除いて、符号付きの大きさと1の補数表現の詳細についてはほとんど議論されていません。

あなたのマシンがための明確な表現がある場合-0とし+0、その後、memcmpそれらを区別することができるようになります。

パディングビットが存在する場合、実際にはゼロ以外の値の複数の表現も存在する可能性があります。

C ++言語仕様では、負のゼロなどのintはありません。

これらの2つの単語が持つ唯一の意味は、3と5がandに適用される2項演算子と同様-に0、に適用される単項演算子です。+35

明確な負のゼロがある場合、2の補数（整数型の最も一般的な表現）は、2つの形式のゼロを表す方法がないため、C ++実装では不十分な表現になります。

対照的に、浮動小数点（IEEEに準拠）には、正と負のゼロが別々にあります。たとえば、1をそれらで割ると、それらを区別できます。正のゼロは正の無限大を生成します。負のゼロは負の無限大を生成します。

ただし、int 0（またはint、またはその他のタイプのその他の値）のメモリ表現が異なる場合は、を使用memcmpして次のことを検出できます。

#include <string>

int main() {
    int a = ...
    int b = ...
    if (memcmp(&a, &b, sizeof(int))) {
        // a and b have different representations in memory
    }
}

もちろん、これが発生した場合、直接メモリ操作以外では、2つの値はまったく同じように機能します。

単純化するために、視覚化する方が簡単だと思いました。

タイプint（_32）は32ビットで格納されます。32ビットは、2 ^ 32 = 4294967296の一意の値を意味します。したがって：

unsigned intのデータ範囲は0〜4,294,967,295です

負の値の場合、それらがどのように格納されるかによって異なります。万一に備えて

• 2の補数 –2,147,483,648〜2,147,483,647
• 1の補数 –2,147,483,647〜2,147,483,647

以下の場合は1の補数値-0が存在します。