0 ile -0 arasında ayrım yapmak mümkün mü?

O tam sayı değerlerini biliyoruz 0ve -0esasen aynıdır. Ama aralarında ayrım yapmanın mümkün olup olmadığını merak ediyorum.

Örneğin, bir değişkenin atanıp atanmadığını nasıl anlarım -0?

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

int num = -0;
int additinon = 5;

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

-0Hafızaya kaydedilen değer ile aynı şekilde 0mi?

Hedeflediğiniz makineye bağlıdır.

Tamsayılar için 2'nin tümleyen gösterimini kullanan bir makinede, ve arasında bit düzeyinde fark yoktur (aynı gösterime sahiptirler)0-0

Makineniz birinin tamamlayıcısını kullandıysa , kesinlikle

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

Açıkçası , yerel destek kullanmaktan bahsediyoruz , x86 serisi işlemciler, imzalı sayıların ikisinin tamamlayıcı temsili için yerel desteğe sahip. Diğer temsilleri kullanmak kesinlikle mümkündür, ancak muhtemelen daha az verimli olacaktır ve daha fazla talimat gerektirecektir.

_{(JerryCoffin'in de belirttiği gibi: Bir kişinin tümleyeni çoğunlukla tarihsel nedenlerle düşünülse bile, imzalı büyüklük temsilleri hala oldukça yaygındır ve negatif ve pozitif sıfır için ayrı bir temsilleri vardır)}

Bir int(neredeyse evrensel "2'nin tümleyen" temsilinde) için temsiller 0ve -0aynıdır. (Diğer sayı gösterimleri için farklı olabilirler, örneğin IEEE 754 kayan nokta.)

0'ı 2'nin tamamlayıcısında temsil etmekle başlayalım (tabii ki başka birçok sistem ve temsil var, burada bu spesifik olanı kastediyorum), 8-bit varsayarsak, sıfır:

0000 0000

Şimdi tüm bitleri ters çevirelim ve 2'nin tümleyenini elde etmek için 1 ekleyelim:

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

aldık 0000 0000ve bu da -0'ın temsilidir.

Ancak, 1'in tümleyeninde 0 işaretinin 0000 0000, ancak -0'ın 1111 1111 olduğuna dikkat edin.

C ve C ++ uygulamaları genellikle yakından ilişkili olduğu için bu yanıtı bırakmaya karar verdim, ancak aslında düşündüğüm gibi C standardına ertelemiyor. Önemli olan nokta, C ++ standardının bu gibi durumlar için ne olacağını belirtmemesidir. Aynı zamanda, iki-tamamlayıcı olmayan temsillerin gerçek dünyada son derece nadir olması ve var oldukları yerde bile, çoğu durumda, birisinin kolayca keşfetmeyi bekleyebileceği bir şey olarak ortaya çıkarmak yerine, çoğu durumda farkı gizledikleri de önemlidir.

Negatif sıfırların içinde bulundukları tamsayı temsillerindeki davranışı, C ++ standardında C standardında olduğu kadar titiz bir şekilde tanımlanmamıştır. Bununla birlikte, C standardını (ISO / IEC 9899: 1999) en üst düzeyde [1.2] normatif bir referans olarak göstermektedir.

C standardında [6.2.6.2], negatif sıfır yalnızca bitsel işlemlerin veya negatif sıfırın zaten mevcut olduğu işlemlerin sonucu olabilir (örneğin, negatif sıfırın bir değerle çarpılması veya bölünmesi veya eksi sıfırın eklenmesi sıfır) - tekli eksi operatörünü, örneğinizde olduğu gibi normal bir sıfır değerine uygulamak, bu nedenle normal bir sıfırla sonuçlanacağı garanti edilir.

Hatta durumlarda olabilir bir negatif sıfır oluşturmak, hatta destek negatif sıfır yapan bir sistem üzerinde, hiçbir garantisi durumun böyle olacağını vardır:

Bu durumların gerçekte bir negatif sıfır mı yoksa normal bir sıfır mı oluşturduğu ve bir nesnede depolandığında negatif sıfırın normal sıfır olup olmadığı belirtilmemiştir.

Bu nedenle şu sonuca varabiliriz: hayır, bu vakayı tespit etmenin güvenilir bir yolu yok. Modern bilgisayar sistemlerinde iki tamamlayıcı olmayan temsillerin çok nadir olduğu gerçeği olmasa bile.

C ++ standardı, kendi adına, "negatif sıfır" teriminden hiç bahsetmez ve işaretli büyüklük ve kişinin tamamlayıcı temsillerinin ayrıntılarına ilişkin çok az tartışmaya sahiptir, bunlara izin verildiği not [3.9.1 para 7] dışında.

Makineniz için farklı gösterime sahipse -0ve +0daha sonra memcmpbunları ayırt etmek mümkün olacak.

Dolgu bitleri mevcutsa, aslında sıfır dışındaki değerler için de çoklu temsiller olabilir.

C ++ dil belirtiminde, negatif sıfır diye bir int yoktur .

Sadece bu iki kelime var anlamına tekli bir operatördür -uygulanan 0gibi, üç artı beş sadece ikili operatörüdür +uygulanan 3ve 5.

Farklı bir negatif sıfır varsa , ikinin tümleyicisi (tamsayı türlerinin en yaygın temsili), sıfırın iki biçimini temsil etmenin bir yolu olmadığından, C ++ uygulamaları için yetersiz bir temsil olacaktır.

Bunun aksine, kayan noktaların (IEEE'yi takiben) ayrı pozitif ve negatif sıfırları vardır. Örneğin, 1'i kendileriyle bölerken ayırt edilebilirler. Pozitif sıfır, pozitif sonsuzluk üretir; negatif sıfır, negatif sonsuzluk üretir.

Bununla birlikte, int 0'ın (veya herhangi bir int veya herhangi bir başka türden herhangi bir değer) farklı bellek temsilleri varsa, şunu memcmpkeşfetmek için kullanabilirsiniz :

#include <string>

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

Tabii ki, eğer bu gerçekleşirse, doğrudan bellek işlemlerinin dışında, iki değer hala aynı şekilde çalışırdı.

Basitleştirmek için görselleştirmeyi daha kolay buldum.

Tür int (_32) 32 bit ile saklanır . 32 bit, 2 ^ 32 = 4294967296 benzersiz değer anlamına gelir . Böylece :

işaretsiz int veri aralığı 0 - 4,294,967,295

Negatif değerler olması durumunda, nasıl depolandıklarına bağlıdır. Bu durumda

• Ikisinin tamamlayıcısıİkinin –2,147,483,648 - 2,147,483,647
• Birinin tamamlayıcısı –2,147,483,647 - 2,147,483,647

Durumunda One tamamlayıcı değeri -0 bulunmaktadır.