İmzasız girişlerle ilgili en iyi uygulamalar nelerdir?

Her yerde imzasız girişler kullanıyorum ve yapmam gerekip gerekmediğinden emin değilim. Bu, veritabanı birincil anahtar kimliği sütunlarından sayaçlara vb. Olabilir. Bir sayı asla negatif olmamalıysa, her zaman imzasız bir int kullanacağım.

Ancak başkalarının kodundan kimsenin bunu yapmadığını fark ettim. Gözden kaçmam için çok önemli bir şey var mı?

Düzenleme: Bu sorudan beri, C'de hatalar için negatif değerler döndürmenin, C ++ 'da olduğu gibi istisnalar atmak yerine yaygın olduğunu fark ettim.

Gözden kaçmam için çok önemli bir şey var mı?

Hesaplamalar hem imzalı hem de imzasız türleri ve farklı boyutları içerdiğinde, tür tanıtımı için kurallar karmaşık olabilir ve beklenmeyen davranışlara yol açabilir .

Java'nın imzasız int türlerini ihmal etmesinin ana nedeni olduğuna inanıyorum.

Michael'ın geçerli bir noktaya sahip olduğunu düşünüyorum ama IMO herkesin sürekli olarak int kullanmasının nedeni (özellikle de for (int i = 0; i < max, i++) bu şekilde öğrendik. Bir ' programlama nasıl öğrenilir ' kitabındaki her bir örnek intbir fordöngüde kullanıldığında, çok azı bu uygulamayı sorgulayacaktır.

Diğer sebep ise int% 25 daha kısa uint, ve hepimiz tembeliz ... ;-)

Çeşit bilgisini türlere kodlamak A Good Thing. Derleme zamanında makul sayıları kullanmayı zorlar.

Pek çok mimaride int-> floatdönüşümlerle başa çıkmak için özel talimatlar var . Dan dönüşümü unsigneddaha yavaş olabilir (küçük bir bit) .

İmzalı ve imzasız türleri karıştırmak sizi acı dünyasına götürebilir. Tüm imzasız türleri kullanamazsınız çünkü negatif sayılar içeren geçerli bir aralığa sahip olan veya bir hatayı belirtmek için bir değere ihtiyaç duyan ve -1 en doğal olan şeylerle karşılaşırsınız. Böylece net sonuç, birçok programcının tüm işaretli tamsayı tiplerini kullanmasıdır.

Benim için türler iletişim ile ilgili. Açıkça işaretsiz bir int kullanarak, imzalı değerlerin geçerli değerler olmadığını söylersiniz. Bu, değişken adına ek olarak kodunuzu okurken biraz bilgi eklememe izin verir. İdeal olarak ben isimsiz bir tip daha fazla şey söyleyeceğim, ama bana her yerde kullanmış olduğunuzdan daha fazla bilgi verir.

Maalesef, herkes kodlarının nasıl iletişim kurduğu konusunda çok bilinçli değil ve bu değerler en azından imzasız olsalar bile, muhtemelen her yerde her yeri görmenizin nedenidir.

Kullandığım unsigned intçoğunlukla, dizi indeksleri için C ++ ve 0'dan başlayan herhangi sayaç için bunu açıkça "bu değişken negatif olamaz" demek iyi olduğunu düşünüyorum.

İmzalı bir int sınırına yaklaşabilecek veya sınırlarını aşabilecek bir tamsayı ile uğraşırken bunu umursamalısınız. 32 bit tamsayının pozitif maksimum değeri 2.147.483.647 olduğundan, a) asla negatif olmayacağını ve b) 2.147.483.648'e ulaşabileceğini biliyorsanız, işaretsiz bir int kullanmalısınız. Çoğu durumda, veritabanı anahtarları ve sayıcılar dahil, bu tür sayılara bile yaklaşmayacağım, bu nedenle işaret bitinin sayısal bir değer için mi kullanıldığına veya işaretini belirtmekle ilgilenme konusunda endişelenmekle uğraşmıyorum.

Söyleyeceğim: imzasız bir int'ye ihtiyacınız olmadığını bilmediğiniz sürece int kullanın.

Basitlik ve güvenilirlik arasında bir değişim. Derleme zamanında yakalanabilecek hatalar arttıkça yazılım da güvenilir olur. Farklı insanlar ve kuruluşlar bu spektrum boyunca farklı noktalardadır.

Ada'da herhangi bir yüksek güvenilirlik programlaması yaparsanız, metre cinsinden uzaklık - metre cinsinden mesafe gibi değişkenler için bile farklı türler kullanırsınız ve yanlışlıkla birini diğerine atadığınızda derleyici onu işaretler. Bu, güdümlü bir füzeyi programlamak için mükemmeldir, ancak bir web formunu onaylıyorsanız fazladan (pun amaçlanan). Gereksinimlere uygun olduğu sürece hiçbir şekilde yanlış bir şey olması gerekmez.

Joel Etherton'ın akıl yürütmesine katılmaya meyilliyim, ama tam tersi bir sonuca vardım. Gördüğüm gibi, sayıların imzalı bir türün sınırlarına hiç yaklaşma ihtimalinin düşük olduğunu bilseniz bile , negatif sayıların gerçekleşmeyeceğini biliyorsanız , o zaman bir türün işaretli varyantını kullanmak için çok az neden vardır.

Aynı sebepten dolayı, birkaç seçilmiş örnekte, SQL Server tablolarında (32 BIGINTbit tamsayı) yerine (64 bit tamsayı) kullandım INTEGER. Verilerin herhangi bir makul süre içinde 32-bit sınırına ulaşma olasılığı küçüktür, ancak gerçekleşirse, bazı durumlarda sonuçlar oldukça yıkıcı olabilir. Dilleri doğru bir şekilde yerleştirdiğinizden emin olun, yoksa yolun çok aşağısındaki ilginç gariplikle sonuçlanacaksınız ...

Bununla birlikte, imzalanmış veya imzasız veritabanı birincil anahtar değerleri gibi bazı şeyler için gerçekten önemli değil, çünkü kırık verileri veya bu satırlardaki bir şeyi manuel olarak onaramazsanız, hiçbir zaman doğrudan değerle uğraşmazsınız; bu bir tanımlayıcı, başka bir şey değil. Bu gibi durumlarda, tutarlılık büyük olasılıkla, kesin imza seçiminden daha önemlidir. Aksi halde, imzalanmış bazı yabancı anahtar sütunlarla ve imzasız olanlarla, belirgin bir şekli olmayan - veya bu ilginç garipliği tekrar edersiniz.

Dış alanda kısıtlı veri depolama ve veri değişim bağlamları dışında birinin imzalı türleri kullanmasını öneririm. 32 bit işaretli bir tamsayının çok küçük olacağı ancak 32 bit işaretsiz bir değerin bugün için yeterli olacağı çoğu durumda, 32 bit işaretsiz değerin de yeterince büyük olmaması çok uzun sürmez.

Birinin işaretsiz türleri kullanması gereken birincil zamanlar, birinin birden fazla değeri daha büyük bir değere birleştirmesi (örn. Dört baytı 32 bit sayıya dönüştürme) veya daha büyük değerleri daha küçük değerlere ayırma (örn. 32 bitlik bir sayıyı dört bayt olarak saklama) ) veya birinin periyodik olarak "yuvarlanması" beklenen ve bununla başa çıkması gereken bir miktar olduğunda (meskun olan bir konut sayacını düşünün; çoğu, okumalar arasında devrilmediğinden emin olmak için yeterli haneye sahiptir) yılda üç kez okundukları, ancak ölçüm aletinin kullanım ömrü boyunca devrilmediklerinden emin olmak için yeterli değilse). İmzasız tipler çoğu zaman sadece anlambilimlerinin gerekli olduğu durumlarda kullanılması gereken yeterli 'tuhaflığa' sahiptir.

Kodumu ve amacını daha net hale getirmek için imzasız girdiler kullanıyorum. Hem imzalanmış hem de imzasız türlerle aritmetik işlem yaparken beklenmedik örtük dönüşümlere karşı korunmak için yaptığım bir şey, imzasız değişkenlerim için imzasız kısa (genellikle 2 bayt) kullanmak. Bu birkaç nedenden dolayı etkilidir:

• İmzasız kısa değişkenleriniz ve değişmezler (int türündeki) veya int türündeki değişkenlerle aritmetik yaptığınızda, bu, imzasız değişkenin ifadeyi değerlendirmeden önce her zaman bir int değerine yükseltilmesini sağlar; . Bu, ifadenin sonucunun elbette imzalı bir int değerine uyduğu varsayılarak, imzalı ve imzasız türlerle aritmetik işlem yapan herhangi bir beklenmeyen davranışı önler.
• Kullandığınız imzasız değişkenler çoğu zaman, imzasız 2 baytlık kısa bir değerin (65,535) maksimum değerini aşmaz

Genel ilke, imzasız değişkenlerinizin türünün, imzalı türe promosyonu sağlamak için imzalı değişkenlerin türünden daha düşük bir sıraya sahip olması gerektiğidir. O zaman beklenmedik taşma davranışına sahip olmazsınız. Açıkçası bunu her zaman sağlayamazsınız, ancak (çoğu) bunu sağlamak çoğu zaman mümkündür.

Örneğin, son zamanlarda bazı döngü için böyle bir şey vardı:

const unsigned short cuint = 5;
for(unsigned short i=0; i<10; ++i)
{
    if((i-2)%cuint == 0)
    {
       //Do something
    }
}

'2' değişmezi int türündedir. İmzasız bir kısa yerine imzasız bir int olsaydım, o zaman alt ifadede (i-2) 2 işaretsiz bir int olarak terfi ederdi (çünkü imzasız int imzalı int'den daha yüksek önceliğe sahipti). Eğer i = 0 ise, alt-ifade eşittir (0u-2u) = taşma nedeniyle bazı büyük değerler. İ = 1 ile aynı fikir. Ancak, işaretsiz bir kısa olduğu için, int imzalı olan '2' kelimesiyle aynı tipte terfi eder ve her şey yolunda gider.

Daha fazla güvenlik için: Uyguladığınız mimarinin 2 byte olmasına neden olduğu nadir durumlarda, bu, işaretsiz kısa değişkenin uyuşmadığı durumlarda aritmetik ifadedeki her iki işlenin de imzasız int'ye yükseltilmesine neden olabilir İkincisi en fazla 32,767 <65,535 değerinde olan imzalı 2 baytlık int. (Daha fazla ayrıntı için bkz. Https://stackoverflow.com/questions/17832815/c-implicit-conversion-signed-unsigned ). Buna karşı korunmak için programınıza aşağıdaki gibi bir static_assert ekleyebilirsiniz:

static_assert(sizeof(int) == 4, "int must be 4 bytes");

int 2 byte olan mimarilerde derlenmez.