Biraz bir boolean ile karşılaştırma

Diyelim ki bir uint16_t kodlanmış bir dizi bayrak var flags. Örneğin AMAZING_FLAG = 0x02,. Şimdi bir fonksiyonum var. Bu işlevin bayrağını değiştirmek isteyip istemediğimi kontrol etmesi gerekir, çünkü bunu yapmak istersem flaşa yazmam gerekir. Ve bu pahalı. Bu nedenle, bana flags & AMAZING_FLAGeşit olup olmadığını söyleyen bir kontrol istiyorum doSet. Bu ilk fikir:

setAmazingFlag(bool doSet)
{
    if ((flags & AMAZING_FLAG) != (doSet ? AMAZING_FLAG : 0)) {
        // Really expensive thing
        // Update flags
    }
}

Bu sezgisel bir if ifadesi değildir. Daha iyi bir yol olmalı gibi hissediyorum, şöyle bir şey:

if ((flags & AMAZING_FLAG) != doSet){

}

Ama bu aslında işe yaramıyor, trueeşit gibi görünüyor 0x01.

Yani, bir boolean ile biraz karşılaştırmanın düzgün bir yolu var mı?

Sıfır olmayan herhangi bir sayıyı 1'e (doğru) dönüştürmek için eski bir hile vardır: !(değil) operatörünü iki kez uygulayın.

if (!!(flags & AMAZING_FLAG) != doSet){

Sen C değerlerine eşdeğer bir boolean deyimi, bit maskesi dönüştürmek gerekir 0ya 1.

• (flags & AMAZING_FLAG) != 0. En yaygın yol.

• !!(flags & AMAZING_FLAG). Biraz yaygın, aynı zamanda kullanmak için Tamam, ama biraz şifreli.

• (bool)(flags & AMAZING_FLAG). Modern C yolu sadece C99 ve ötesi.

Yukarıdaki alternatiflerden herhangi birini alın, sonra !=veya öğesini kullanarak boole'nizle karşılaştırın ==.

Mantıksal bir bakış açısından, flags & AMAZING_FLAGdiğer tüm bayrakları maskeleyen sadece biraz işlemdir. Sonuç sayısal bir değerdir.

Bir boole değerine almak için bir karşılaştırma kullanırsınız

(flags & AMAZING_FLAG) == AMAZING_FLAG

ve şimdi bu mantıksal değeri ile karşılaştırabiliriz doSet.

if (((flags & AMAZING_FLAG) == AMAZING_FLAG) != doSet)

C'de, sayıların boole değerlerine örtük dönüşüm kuralları nedeniyle kısaltmalar olabilir. Yani sen de yazabilirsin

if (!(flags & AMAZING_FLAG) == doSet)

daha kısa yazmak için. Ancak önceki sürüm, okunabilirlik açısından daha iyidir.

Değere dayalı bir maske oluşturabilirsiniz doSet:

#define AMAZING_FLAG_IDX 1
#define AMAZING_FLAG (1u << AMAZING_FLAG_IDX)
...

uint16_t set_mask = doSet << AMAZING_FLAG_IDX;

Şimdi çekiniz şu şekilde görünebilir:

setAmazingFlag(bool doSet)
{
    const uint16_t set_mask = doSet << AMAZING_FLAG_IDX;

    if (flags & set_mask) {
        // Really expensive thing
        // Update flags
    }
}

Bazı mimarilerde, !!bir dalda derlenebilir ve bununla iki dalınız olabilir:

1. Tarafından normalleştirme !!(expr)
2. Karşılaştırmak doSet

Teklifimin avantajı garantili tek bir şubedir.

Not: 30'dan fazla sola kaydırarak tanımlanmamış davranış getirmediğinizden emin olun (tamsayının 32 bit olduğunu varsayarak). Bu kolayca birstatic_assert(AMAZING_FLAG_IDX < sizeof(int)*CHAR_BIT-1, "Invalid AMAZING_FLAG_IDX");

Bu testi yapmanın birden çok yolu vardır:

Üçlü operatör pahalı sıçramalar oluşturabilir:

if ((flags & AMAZING_FLAG) != (doSet ? AMAZING_FLAG : 0))

Ayrıca, verimli olabilecek veya olmayabilecek boole dönüşümünü de kullanabilirsiniz:

if (!!(flags & AMAZING_FLAG) != doSet)

Veya eşdeğer alternatifi:

if (((flags & AMAZING_FLAG) != 0) != doSet)

Çarpma ucuzsa, aşağıdakilerle atlamayı önleyebilirsiniz:

if ((flags & AMAZING_FLAG) != doSet * AMAZING_FLAG)

Eğer flagsimzasız ve derleyici çok akıllı, aşağıda bölünme basit değişime derlemek olabilir:

if ((flags & AMAZING_FLAG) / AMAZING_FLAG != doSet)

Eğer mimari ikinin tamamlayıcı aritmetiğini kullanıyorsa, işte başka bir alternatif:

if ((flags & AMAZING_FLAG) != (-doSet & AMAZING_FLAG))

Alternatif olarak, flagsbit alanlı bir yapı olarak tanımlanabilir ve çok daha basit, okunabilir bir sözdizimi kullanılabilir:

if (flags.amazing_flag != doSet)

Ne yazık ki, bitfieldlerin spesifikasyonu bit seviyesi uygulaması üzerinde kesin kontrole izin vermediğinden, bu yaklaşım genellikle hoşnutsuzdur.