どの言語にも単項ブールトグル演算子がありますか？

ですから、これは理論的な問題です。C ++とそれに直接（非）基づいている言語（Java、C＃、PHP）には、次のようなほとんどの2項演算子の結果を最初のオペランドに割り当てるためのショートカット演算子があります。

a += 3;   // for a = a + 3
a *= 3;   // for a = a * 3;
a <<= 3;  // for a = a << 3;

しかし、ブール式を切り替えたいときは、いつも次のように書いています

a = !a;

これaは、長い式のように煩わしくなります。

this.dataSource.trackedObject.currentValue.booleanFlag =
    !this.dataSource.trackedObject.currentValue.booleanFlag;

（そうです、デメテルの法則、私は知っています）。

だから私は、思っていた単項ブールトグルオペレータと任意の言語があり、私は省略することができるようになるa = !aための表現を繰り返すことなくa、たとえばは、

!=a;  
// or
a!!;

私たちの言語に適切なブール型（boolC ++のような）があり、それaがその型（つまりCスタイルではない）であると仮定しましょうint a = TRUE。

文書化されたソースを見つけることができる場合は、たとえば、C ++の設計者がbool組み込み型になったときにそのような演算子を追加することを検討したかどうか、またそうであれば、なぜそれを拒否したのかを知りたいと思います。

（注：私は何人かの人々は割り当てが使用するべきではないという意見であることを知っている =し、それ++と+=便利事業者が、設計上の欠陥ではありません。レッツちょうど私が彼らと満足していると仮定して、彼らはboolsに延長しないだろう理由についてフォーカス）。

この質問は、純粋に理論的な観点からは確かに興味深いものです。単項で変化するブール値のトグル演算子が役立つかどうか、または多くの言語がそれを提供しないことを選択した理由を別にして、実際に存在するかどうかを調べるために探求しました。

TL; DRは明らかにそうではありませんが、Swiftを使用すると実装できます。方法だけを確認したい場合は、この回答の下部までスクロールできます。

さまざまな言語の機能を（迅速に）検索した後、この演算子を厳密な変更インプレース操作として実装している言語はありません（見つかった場合は修正してください）。したがって、次のことは、言語を作成できる言語があるかどうかを確認することです。これに必要なのは次の2つです。

1. 関数で（単項）演算子を実装できる
2. 上記の関数が参照渡しの引数を持つことを許可します（これにより、引数を直接変更できるようになります）

多くの言語は、これらの要件のいずれかまたは両方をサポートしないため、すぐに除外されます。Javaは、演算子のオーバーロード（またはカスタム演算子）を許可していません。さらに、すべてのプリミティブ型は値で渡されます。Goは、オペレーターのオーバーロード（ハックを除く）をまったくサポートしていません。Rustは、カスタム型の演算子のオーバーロードのみを許可します。Scalaでこれをほぼ達成できます。これにより、非常に独創的な名前の関数を使用し、括弧も省略できますが、残念ながら参照渡しはありません。Fortranは、カスタムオペレーターを許可するという点で非常に近づいていますが、特に、それらがinoutを持つことを禁止しています パラメータ（通常の関数とサブルーチンで許可されています）。

ただし、必要なすべてのボックスをチェックする言語が少なくとも1つあります。それはSwiftです。一部の人々は次の.toggle（）メンバー関数にリンクしていますが、実際にinout引数をサポートする独自の演算子を作成することもできます。見よ：

prefix operator ^

prefix func ^ (b: inout Bool) {
    b = !b
}

var foo = true
print(foo)
// true

^foo

print(foo)
// false

ブールビットを切り替える

...これによりa = !a 、a ... の表現を繰り返さなくても省略できます

このアプローチは実際には純粋な「変異フリップ」演算子ではありませんが、上記の基準を満たしています。式の右側には変数自体は含まれません。

ブールXOR割り当て（例えば持つ任意の言語は^=）言って、変数の現在の値を反転できるようになるaまでXORの割り当てによって、true：

// type of a is bool
a ^= true;  // if a was false, it is now true,
            // if a was true, it is now false

以下のコメントで@cmasterが指摘しているように、上記は整数型やポインタa型boolではなく、型であると想定しています。aが実際に他の何かである場合（たとえばbool、「」または「偽」の値に評価されない0b1ものであり0b0、それぞれビット表現がまたはではない）、上記は成立しません。

具体的な例として、Javaはこれが明確に定義されており、サイレント変換の対象にならない言語です。以下から@Boannのコメントを引用：

Javaでは、^と^=明示的にブール値のためにと整数の振る舞いを定義している（15.22.2。ブール論理演算子&、^、および|）、オペレータの両側のいずれかをブール値でなければならないところ、または両側は整数でなければなりません。これらのタイプの間でサイレント変換はありません。したがってa、が整数として宣言されている場合は、黙って誤動作することはなく、コンパイルエラーが発生します。だから、a ^= true;安全で、Javaで明確に定義されています。

迅速： toggle()

Swift 4.2以降、次の進化の提案が受け入れられ、実装されました。

• SE-0199：トグルをブールに追加

これにより、Swift toggle()のBool型にネイティブ関数が追加されます。

toggle()

ブール変数の値を切り替えます。

宣言

mutating func toggle()

討論

このメソッドを使用して、ブール値をtrueto falseまたはfrom falseto に切り替えますtrue。

var bools = [true, false]

bools[0].toggle() // bools == [false, false]

これはそれ自体は演算子ではありませんが、ブール値の切り替えのための言語固有のアプローチを可能にします。

C ++では、演算子の意味を再定義することで枢機卿の罪を犯すことが可能です。これを念頭に置いて、ADLの少しだけを考えると、ユーザーベースで騒乱を解き放つために必要なことは次のとおりです。

#include <iostream>

namespace notstd
{
    // define a flag type
    struct invert_flag {    };

    // make it available in all translation units at zero cost
    static constexpr auto invert = invert_flag{};

    // for any T, (T << invert) ~= (T = !T)    
    template<class T>
    constexpr T& operator<<(T& x, invert_flag)
    {
        x = !x;
        return x;
    }
}

int main()
{
    // unleash Hell
    using notstd::invert;

    int a = 6;
    std::cout << a << std::endl;

    // let confusion reign amongst our hapless maintainers    
    a << invert;
    std::cout << a << std::endl;

    a << invert;
    std::cout << a << std::endl;

    auto b = false;
    std::cout << b << std::endl;

    b << invert;
    std::cout << b << std::endl;
}

予想される出力：

6
0
1
0
1

アセンブリ言語が含まれている限り...

前方へ

INVERT ビットごとの補数。

0= 論理的な（真/偽）補数の場合。

いくつかの小さなマイクロコントローラーの方言でサポートされているタイプboolをインクリメントまたはデクリメントするように、C99 をデクリメントすると望ましい効果が得られますbit（これは、私が観察したものから、ビットをシングルビット幅のビットフィールドとして扱うため、すべての偶数が0およびすべてに切り捨てられます奇数から1）。私はの大ファンではないので、私は特に一部では、このような使用をお勧めしませんbool型のセマンティクス[IMHO、タイプがいることを指定していなければならないboolかのように読んだときに0または1以外の値が格納されているが振る舞うこと未指定の（必ずしも一貫しているとは限らない）整数値を保持します。プログラムが0または1として認識されていない整数値を保存しようとしている場合は、!!最初にそれを使用する必要があります]。

アセンブリ言語

NOT eax

https://www.tutorialspoint.com/assembly_programming/assembly_logical_instructions.htmを参照してください

これだけに基づいて言語を選択するつもりはないと思います:-)いずれにせよ、C ++では次のような方法でこれを行うことができます。

inline void makenot(bool &b) { b = !b; }

たとえば、次の完全なプログラムを参照してください。

#include <iostream>

inline void makenot(bool &b) { b = !b; }

inline void outBool(bool b) { std::cout << (b ? "true" : "false") << '\n'; }

int main() {
    bool this_dataSource_trackedObject_currentValue_booleanFlag = false;
    outBool(this_dataSource_trackedObject_currentValue_booleanFlag);

    makenot(this_dataSource_trackedObject_currentValue_booleanFlag);
    outBool(this_dataSource_trackedObject_currentValue_booleanFlag);

    makenot(this_dataSource_trackedObject_currentValue_booleanFlag);
    outBool(this_dataSource_trackedObject_currentValue_booleanFlag);
}

これは期待どおりに出力されます：

false
true
false

PostScriptは、されて連結的、スタック指向フォースのような言語、単項トグルを持っていません。ないオペレータは、スタックの一番上に値を切り替えます。例えば、

true    % push true onto the stack
not     % invert the top of stack
        % the top of stack is now false

PostScript言語リファレンスマニュアル（pdf）を参照してください。458。

Visual Basic.Netは、拡張メソッドを介してこれをサポートします。

次のように拡張メソッドを定義します。

<Extension>
Public Sub Flip(ByRef someBool As Boolean)
    someBool = Not someBool
End Sub

そして、次のように呼び出します。

Dim someVariable As Boolean
someVariable = True
someVariable.Flip

したがって、元の例は次のようになります。

me.DataSource.TrackedObject.CurrentValue.BooleanFlag.Flip

Rustでは、独自のトレイトを作成して、そのNotトレイトを実装するタイプを拡張できます。

use std::ops::Not;
use std::mem::replace;

trait Flip {
    fn flip(&mut self);
}

impl<T> Flip for T
where
    T: Not<Output = T> + Default,
{
    fn flip(&mut self) {
        *self = replace(self, Default::default()).not();
    }
}

#[test]
fn it_works() {
    let mut b = true;
    b.flip();

    assert_eq!(b, false);
}

^= true推奨どおりに使用することもできます。Rustの場合はfalse、CまたはC ++のような「偽装された」整数ではないため、これを実行しても問題はありません。

fn main() {
    let mut b = true;
    b ^= true;
    assert_eq!(b, false);

    let mut b = false;
    b ^= true;
    assert_eq!(b, true);
}

Pythonで

演算子で変数がブール型（TrueまたはFalse）を持っている場合、Pythonはこのような機能をサポートしますexclusive or (^=)。

a = False
a ^= True
print(a)  # --> True
a ^= True
print(a)  # --> False

C＃の場合：

boolean.variable.down.here ^= true;

ブール^演算子はXORであり、trueを指定したXORは反転と同じです。