C ++의 부울 유형이 ++를 지원하지만-를 지원하지 않는 이유는 무엇입니까?

왜 연산자 --는 bool에 존재 하지 않고 연산자 는 bool에 존재 ++합니까?

C ++로 시도했지만 내 질문이 다른 언어에 적용되는지 알 수 없습니다. 나는 또한 알게되어 기쁘다.

나는++ bool과 함께 연산자 를 사용할 수 있다는 것을 알고있다 . 부울을 true로 만듭니다.

bool b = false;
b++;
// Now b == true.

왜 연산자 --를 반대 방향으로 사용할 수 없습니까?

bool b = true;
b--;
// Now b == false;

그다지 유용하지는 않지만 궁금합니다.

C의 옛날에는 부울 유형이 없었습니다. 사람들은 int부울 데이터를 저장하기 위해를 사용 했으며 대부분 작동했습니다. 0은 거짓 이었고 다른 모든 것은 사실이었습니다.

이것은 당신이 int flag = 0;나중에 가져 가면 flag++가치가 사실 이라는 것을 의미했습니다 . 이것은 플래그 값이 무엇이든 관계없이 작동 _{^{합니다 (많이하지 않으면 롤오버하고 0으로 돌아 왔지만 무시할 수 있습니다)}} -값이 1 일 때 플래그를 늘리면 2가됩니다. 참된.

어떤 사람들은 이것을 무조건 부울 값을 true로 설정하기 위해 사용했습니다. 나는 그것이 관용어 가 된 것이 확실하지 않지만 일부 코드 에서는 확실하지 않습니다 .

이를 위해 일한 적이 --값이 (가 할 수있는) 1 이외 인 경우, 값은 여전히 거짓되지 않을 것 때문에. 그리고 이미 거짓 ( 0)이고 감소 연산자를 사용했다면 거짓으로 유지되지 않습니다.

초기에 C에서 C ++로 코드를 옮길 때 C ++에 포함 된 C 코드가 여전히 작동 할 수 있어야했습니다. 따라서 C ++ 사양 (섹션 5.2.6 (페이지 71))에서 다음과 같이 읽습니다.

접미사 ++를 적용하여 얻은 값은 연산자를 적용하기 전에 피연산자가 가진 값입니다. [참고 : 획득 한 값은 원래 값의 사본입니다.] 피연산자는 수정 가능한 lvalue 여야합니다. 피연산자의 유형은 산술 유형이거나 완전한 객체 유형에 대한 포인터입니다. 결과가 표시된 후, 오브젝트 유형이 아닌 경우 오브젝트 값이 1로 추가되면 오브젝트 값이 1로 추가되어 오브젝트 값이 수정됩니다 bool. [참고 :이 사용은 더 이상 사용되지 않습니다. 부록 D 참조]

postfix의 피연산자는 피연산자가 유형이 아닌 것을 제외하고 postfix ++ 연산자와 유사하게 감소합니다 bool.

이것은 섹션 5.3.2에서 다시 언급됩니다 (접두사 연산자의 경우-5.2.6은 접미사에 있음).

보시다시피, 이것은 더 이상 사용되지 않으며 (문서의 부록 D, 709 페이지) 사용해서는 안됩니다.

그러나 그 이유입니다. 때로는 코드가 표시 될 수도 있습니다. 하지만하지 마십시오.

int부울 유형으로 사용 되거나 유사한 레거시 코드에 부분적으로 대처 합니다.

이 질문의 역사적 중요성을 이해하려면 Therac-25의 경우를 고려해야합니다. Therac-25는 암 환자에게 방사선을 전달하는 의료 기기였습니다. 안전하지 못한 기록을 세운 나쁜 프로그래밍 관행에 시달렸습니다 (여러 명의 사망자가 원인).

http://courses.cs.vt.edu/professionalism/Therac_25/Therac_1.html

(3 페이지 하단으로 이동)

설정 테스트 루틴을 통과 할 때마다 Class3이라는 공유 변수 인 상위 콜리메이터 위치 점검이 증가합니다. Class3이 0이 아닌 경우 불일치가 있으며 치료를 진행해서는 안됩니다. Class3의 값이 0이면 관련 매개 변수가 처리와 일치하며 빔이 억제되지 않음을 나타냅니다.

...

기계 설정 중에 설정 이벤트는 다른 이벤트가 발생할 때까지 대기하기 때문에 수백 번 실행됩니다. 이 코드에서 Class3 변수는 설정 테스트를 통과 할 때마다 하나씩 증가합니다. Class3 변수는 1 바이트이므로 최대 값은 255 자입니다. 따라서 256 번째 설정 테스트 코드를 통과 할 때마다 변수가 오버플로되고 값이 0이됩니다. 즉, 설정 테스트를 통해 매 256 번째 단계마다 상위 콜리메이터가 확인되지 않고 상위 콜리메이터 오류가 감지되지 않습니다. 과다 노출은 Class3가 0으로 롤오버 된 순간에 작업자가 "설정"버튼을 눌렀을 때 발생했습니다. 따라서 Chkcol이 실행되지 않았고 F $ mal은 상단 콜리메이터가 여전히 필드 라이트 위치에 있음을 나타내도록 설정되지 않았습니다. 대상이없고 스캔하지 않고 소프트웨어가 전체 25 MeV를 켰습니다. 매우 집중된 전자빔이 생성되었고, 이는 경로에있는 스테인레스 스틸 거울에 의해 흩어지고 편향되었다.

Therac-25는 operator++on 과 같은 것을 사용 했습니다 bool. 그러나 그들이 사용한 프로그래밍 언어는 C ++이 아니었고 데이터 유형은 아니 었습니다 bool. 그러나 C ++의 보장과 달리 일반 정수 유형은 계속 증가합니다. 그들의 데이터 유형은에 해당 uint8_t합니다.

C ++은 operator++이와 같은 프로그래밍에 익숙한 사람들 을 위해 주변 을 지키기로 결정 했지만 값을 늘리는 대신 true이와 같은 것을 막기 위해 단순히 설정합니다 .

참고 operator++(bool)되지 않습니다.

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3797.pdf

C ++ 14의 부록 D :

D.1 bool 피연산자가
있는 증가 연산자 ++ 연산자와 함께 bool 유형의 피연산자는 더 이상 사용되지 않습니다 (5.3.2 및 5.2.6 참조).