少しブール値と比較する

私がuint16_tでエンコードされたフラグのセットを持っているとしましょうflags。たとえば、AMAZING_FLAG = 0x02。今、私には機能があります。この関数は、フラグを変更するかどうかを確認する必要があります。変更する場合は、フラッシュに書き込む必要があるためです。そしてそれは高価です。したがって、flags & AMAZING_FLAGがに等しいかどうかを確認するチェックが必要ですdoSet。これが最初のアイデアです。

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

これは、直感的なifステートメントではありません。次のようなより良い方法があるはずだと思います。

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

}

しかし、これは、実際に仕事をしないtrueに等しくなるように思えます0x01。

それで、少しをブール値と比較するためのきちんとした方法はありますか？

ゼロ以外の数値を1（true）に変換するには、古い手法があります。!（not）演算子を2回適用します。

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

ビットマスクをブール文に変換する必要があります。これは、Cでは値0またはと同等です1。

• (flags & AMAZING_FLAG) != 0。最も一般的な方法。

• !!(flags & AMAZING_FLAG)。やや一般的で、使用も可能ですが、少し不可解です。

• (bool)(flags & AMAZING_FLAG)。C99以降のモダンCウェイのみ。

上記のいずれかの方法を使用して、!=またはを使用してブール値と比較します==。

論理的な観点からは、flags & AMAZING_FLAG他のすべてのフラグをマスクするビット操作のみです。結果は数値です。

ブール値を受け取るには、比較を使用します

(flags & AMAZING_FLAG) == AMAZING_FLAG

これで、この論理値をと比較できますdoSet。

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

Cでは、数値からブール値への暗黙の変換規則のため、略語が存在する場合があります。だからあなたも書くことができます

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

もっと簡潔に書いてください。しかし、前のバージョンは読みやすさの点で優れています。

doSet値に基づいてマスクを作成できます。

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

uint16_t set_mask = doSet << AMAZING_FLAG_IDX;

これで、チェックは次のようになります。

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

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

一部のアーキテクチャで!!は、ブランチにコンパイルされる場合があり、これにより、2つのブランチがある場合があります。

1. による正規化 !!(expr)
2. と比較する doSet

私の提案の利点は、単一のブランチが保証されていることです。

注：左に30以上シフトして、未定義の動作を導入しないようにしてください（整数が32ビットであると想定）。これは、static_assert(AMAZING_FLAG_IDX < sizeof(int)*CHAR_BIT-1, "Invalid AMAZING_FLAG_IDX");

このテストを実行するには複数の方法があります。

三項演算子は、コストのかかるジャンプを生成する可能性があります。

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

ブール変換を使用することもできます。これは効率的な場合とそうでない場合があります。

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

または同等の代替：

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

乗算が安価な場合は、次のようにしてジャンプを回避できます。

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

場合はflags、符号なしで、コンパイラは非常にスマートで、以下の部門では、単純なシフトにコンパイルされることがあります。

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

アーキテクチャで2の補数演算を使用する場合、別の方法を次に示します。

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

代わりに、flagsビットフィールドを持つ構造体として定義して、はるかに単純で読みやすい構文を使用することもできます。

if (flags.amazing_flag != doSet)

悲しいかな、ビットフィールドの仕様ではビットレベルの実装を正確に制御できないため、このアプローチは通常は嫌われます。