Bitweise-OR-Zuweisung |=

Der Bitweise-OR-Zuweisungs-Operator verknüpft den Wert, der rechts des Operators steht mit dem Wert der links des Operator stehenden Variablen mittels dem bitweisen-OR-Operator und speichert das Resultat zurück in die Variable.

01001001100101100000001011010010
00111010110111100110100010110001

01111011110111100110101011110011

#include <stdio.h>

void printbinary(int x){
  char str[33]; str[32] = '\0';
  int i = 32;
  while(i){i--; str[i] = (x & 1) + '0'; x>>=1;}
  printf("%s\n", str);
}

int main(){
  int a = 1234567890;
  printbinary(1234567890);
  printbinary(987654321);
  a |= 987654321;
  printbinary(a);
}

Siehe auch Zuweisungs-Operator =, Bitweise-OR-Operator |

Details

Der Bitweise-OR-Zuweisungs-Operator erwartet links einen lvalue und rechts einen rvalue und wird von rechts nach links abgearbeitet. Der Rückgabewert ist in C ein rvalue: Der Wert des linken Operanden nach der Zuweisung. in C++ ist der Rückgabewert ein lvalue: Der (mittlerweile zugewiesene) linke Operand selbst.

Der Bitweise-OR-Zuweisungs-Operator verhält sich genau gleich wie der Zuweisungsoperator, nur dass er eine zusätzliche OR-Verknüpfung ausführt. Für Details über die Eigenschaften einer Bitweise-OR-Zuweisung wird hier somit auf die Beschreibung des Zuweisungsoperators und des Bitweise-OR-Operators verwiesen. Als zusätzliche Erläuterung des Bitweise-OR-Zuweisungs-Operators im Bezug zum einfachen Zuweisungsoperator genügen folgende zwei Programmzeilen, welche absolut äquivalent sind:

  a |=      10;
  a  = a | (10);

Die gesetzten runden Klammern deuten an, dass aufgrund der Operatoren-Rangordnung bei der Bitweise-OR-Zuweisung genauso wie bei allen Zuweisungs-Operatoren der komplette rechte Teil nach den Gleichheitszeichen als EIN Operand ausgewertet wird.

Der Bitweise-OR-Zuweisungs-Operator wird auch häufig für Masken verwendet.

Überladen des Operators

Der Bitweise-OR-Zuweisungs-Operator hat grundsätzlich die semantische Bedeutung einer bitweisen OR-Verknüpfung mit einem Wert und anschliessender Zuweisung des Resultates zur Variablen. Allerdings steht es dem Programmierer frei, eine andere Semantik zu definieren.

Die Prototypen für das Überladen des Bitweise-OR-Zuweisungs-Operators sind die folgenden (Einschränkungen und Erläuterungen siehe Überladen von Operatoren):

inside class


outside class

Type operator |=(Type);
Type operator |=(Type) const;

Type operator |=(Type, Type);

Man beachte, dass der Bitweise-OR-Zuweisungs-Operator im Gegensatz zum einfachen Zuweisungs-Operator sowohl innerhalb als auch ausserhalb der Klasse überladen werden kann, obschon gewisse Quellen dies nicht erlauben. Es ist jedoch grundsätzlich zu empfehlen, Zuweisungs-Operatoren nicht ausserhalb der Klasse zu definieren.

Da der Bitweise-OR-Zuweisungs-Operator in C++ normalerweise einen lvalue zurückgibt, ist der Rückgabetyp der Überladung üblicherweise ein Referenz-Typ (&) der eigenen Klasse, wobei der Rückgabewert normalerweise mit return *this angegeben wird.

Der const-Prototyp macht auf den ersten Moment keinen Sinn, da bei einer Zuweisung im herkömmlichen Sinne das betroffene Objekt immer verändert wird. Man beachte jedoch, dass Felder von Klassen mittels der mutable-Speicherklasse deklariert werden können, was es ermöglicht, einen Bitweise-OR-Zuweisungs-Operator als konstant zu deklarieren. Bei Auftreten beider Prototyp-Varianten in einer Klasse wird jedoch grundsätzlich (ohne die Notwendigkeit eines const-Aufrufes) die nicht-const-Überladung aufgerufen.

Im folgenden Beispiel wird eine Klasse für einen fiktiven Prozess präsentiert. Der überladene Bitweise-OR-Zuweisungs-Operator setzt ein Flag für den Status des Prozesses.

valid 

valid running 

valid running error 

#include <cstdio>

typedef enum{
  VALID     = 0x01,
  RUNNING   = 0x02,
  ERROR     = 0x04,
} Status;

class Process{
  int state;
public:
  Process() : state(VALID){}
  void printstatus(){
    if(state & VALID){printf("valid ");}
    if(state & RUNNING){printf("running ");}
    if(state & ERROR){printf("error ");}
    printf("\n");
  }
  
  Process& operator |=(Status flag){
    state |= flag;
    return *this;
  }
};

int main(){
  Process p;
  p.printstatus();
  p |= RUNNING;
  p.printstatus();
  p |= ERROR;
  p.printstatus();
  return 0;
}