모든 언어에 단항 부울 토글 연산자가 있습니까?

따라서 이것은 이론적 인 질문입니다. C ++ 및이를 기반으로하는 언어 (Java, C #, PHP)에는 대부분의 이진 연산자의 결과를 첫 번째 피연산자에 할당하기위한 바로 가기 연산자 가 있습니다.

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를 사용하면 구현할 수 있습니다. 완료된 방법 만보고 싶다면이 답변의 맨 아래로 스크롤하면됩니다.

다양한 언어의 기능을 (빠른) 검색 한 후에는이 연산자를 엄격한 변경 위치 내 작업으로 구현 한 언어가 없다고 말하는 것이 안전합니다 (찾을 경우 수정하십시오). 다음은 언어를 만들 수있는 언어가 있는지 확인하는 것입니다. 이것이 필요한 것은 두 가지입니다.

1. 함수로 (단항) 연산자를 구현할 수있는 것
2. 상기 함수가 참조에 의한 전달 인수를 갖도록 허용 (그들은 인수를 직접 변경시킬 수 있음)

이러한 요구 사항 중 하나 또는 둘 다를 지원하지 않으면 많은 언어가 즉시 배제됩니다. 하나의 Java 는 연산자 오버로드 (또는 사용자 정의 연산자)를 허용하지 않으며 모든 기본 유형이 값으로 전달됩니다. Go 는 연산자 오버로드 ( 핵을 제외하고 )를 전혀 지원하지 않습니다. 녹은 사용자 정의 유형에 대해서만 연산자 오버로드를 허용합니다. 당신은 수있는 거의 에서이를 스칼라 당신은 매우 창의적이라는 기능도 생략 괄호를 사용하자,하지만 슬프게도 더 통과에 의해 참조가 없습니다. 포트란 은 사용자 정의 사업자 수 있다는 점에서 매우 가까운 얻을 수 있지만, 특별히 필요에서 그들을 금지 입출력 매개 변수 (정상적인 기능 및 서브 루틴에서 허용됨).

그러나 필요한 모든 상자를 선택하는 언어가 하나 이상 있습니다 : 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 할당 (예 :)이있는 모든 언어 ^=는 변수의 현재 값을 예를 들어 XOR 할당 을 통해 다음과 같이 뒤집을 a수 있습니다 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없는 비트 표현과 더불어, "truthy"또는 "falsy"값으로 평가 0b1하거나0b0 각각), 위에서 보유하지 않습니다.

구체적인 예를 들어, Java는 잘 정의 된 언어이며 자동 변환이 적용되지 않는 언어입니다. 아래에서 @Boann의 의견 인용 :

자바에서, ^그리고 ^=명시 적 논리 값과 정수에 대한 동작을 정의 ( 15.22.2. 부울 논리 연산자 &, ^그리고| ) 연산자의 양쪽 중 하나가 논리 값이어야 경우, 또는 양쪽 모두의 정수이어야합니다. 이러한 유형 간에는 자동 변환이 없습니다. 따라서 자동으로 오작동하지 않습니다.a 정수로 선언 않지만 컴파일 오류가 발생합니다. 그래서 a ^= true;안전하고 자바에서 잘 정의이다.

빠른: toggle()

스위프트 4.2에서 다음과 같은 진화 제안이 받아 들여지고 이행되었다 :

• SE-0199 : Bool에 토글 추가

이것은 Swift toggle()의 Bool타입에 네이티브 함수를 추가합니다 .

toggle()

부울 변수 값을 토글합니다.

선언

mutating func toggle()

토론

부울 값을에서 true로 false또는에서 false로 부울 때이 방법을 사용하십시오 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= 논리적 (참 / 거짓) 보완의 경우.

C99를 줄이면 작은 마이크로 컨트롤러 방언에서 지원되는 유형을 bool늘리거나 줄일 수 있기 때문에 원하는 효과를 얻을 수 bit있습니다 (관찰 한 바에 따르면 비트를 단일 비트 폭 비트 필드로 취급하므로 모든 짝수는 0으로 잘립니다. 홀수는 1). bool형식 의미론 의 큰 팬이 아니기 때문에 특히 그러한 사용법을 권장하지는 않습니다. [IMHO, 형식은 bool0 또는 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 , concatenative , 스택 지향 넷째 같은 언어, 단항 토글이 없습니다 . 하지 연산자 스택의 꼭대기 값을 토글. 예를 들어

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

참고 항목 포스트 스크립트 언어 참조 설명서 (PDF) , P는. 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의 경우 falseC 또는 C ++에서와 같이 "변장 된"정수가 아니기 때문에 가능한 문제 는 없습니다.

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

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

파이썬에서

변수 에 연산자 와 함께 bool 유형 (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를 사용한 XORing은 반전과 동일합니다.