Supraîncărcarea operatorilor în limbajul C-plus-plus

Operatiile de baza sunt implementate in limbajul C++ cu ajutorul operatorilor. In limbajul C++ operatorii sunt, de fapt, functii. Operatorii oferiti de limbaj pot “lucra” decat asupra tipurilor de date predefinite. Pentru a folosi operatorii asupra tipurilor de date construite de noi, limbajul C++ ne ofera un mecanism care se numeste supraincarcarea operatorilor.

De ce am avea nevoie de asa ceva? Dupa cum se stie se poate crea o functie a unei clase care sa faca exact ce ar face un operator si care sa o definim (de exemplu) suma. Atunci am apela acea metoda astfel :

Obiect ob1;
Obiect ob2;
Obiect ob3 = ob1.suma( ob2 );

Cam greoi! Nu ar fi mai simplu daca am scie

Obiect ob3 = ob1 + ob2;

?

Astfel s-a ajuns la nevoia de a supraincarcarea operatorii!

Supraincarcarea metodelor claselor in general si a operatorilor in particular sunt doua dintre cele mai importante mecanisme ale limbajului C++. Ele sunt un pas urias catre polimorfism (asta este alta bazaconie inventata de oamenii cu creiere luminate). Aceste “oportunitati” sunte cele care ofera flexibilitate aplicatiilor pe care le construim. Iata lista operatorilor din C++ care se pot supraincarca:

new delete
() []
+ - * / %
^ & | ~
! = < >
+= -= *= /= %=
^= &= |=
<< >>
>>= <<=
== != <= >=
&& ||
++ --
,
->*
->

Operatorul () este apelul unei functii, iar operatorul [] este operatorul de indexare.

Urmatorii operatori nu se pot supraincarca:

. .* :: ?: sizeof

Reguli care trebuie sa fie respectate in supraincarcarea operatorilor:

– Operatorii =, (), [], si -> trebuie sa fie membrii nestatici ai clasei
- Operatorul = nu poate fi mostenit
- Operatorii pentru tipurile predefinite ale limbajului nu se pot supraincarca
- Operatorii nu pot avea argumente implicite

Operatorii pentru un anumit tip definit de utilizator (clasa) pot sa fie sau nu membru al clasei. In cazul in care se supraincarca un operator pentru o clasa, dar acel operator nu apartine clasei, trebuie sa fie declarat friend in clasa respectiva si sa aiba cel putin un argument de tipul clasei respective. Exceptie de la aceasta regula fac operatorii = () [] -> care nu pot fi supraincarcati folosind functii de tipul friend ale unei anumite clase.

Un exemplu: voi da ca exemple supraincarcarea operatorilor ++ pre si post indexat.

class MyPoint
{
public:
   MyPoint(); // constructor implicit
   MyPoint( double a, double b ); // constructor de initializare
   MyPoint( MyPoint &r ); //constructor de copiere

   MyPoint operator+( MyPoint point ); //suma a 2 vectori
   MyPoint operator-( MyPoint point ); //diferenta a 2 vectori
   double operator*( MyPoint point ); //produsul scalar a 2 vectori
   MyPoint& operator*( double dVal ); //multiplicare cu o constanta

   MyPoint& operator=( MyPoint &point );
   MyPoint& operator=( double a, double b );

   MyPoint operator++(); // ++ prefixat
   MyPoint operator++( int a ); /* ++postfixat - de retinut ca a va avea INTOTDEAUNA valoarea 0 (zero) */

   // added by andreich && modified by radubolovan start
   friend ostream& operator<<( ostream &stream, const MyPoint &pt );
   friend istream& operator>>( istream &stream, const MyPoint &pt );
   // added by andreich && modified by radubolovan end

   int getX();
   int getY();

private:
   double x;
   double y;
};

MyPoint::MyPoint()
{
   x = 0;
   y = 0;
}

MyPoint::MyPoint( MyPoint &r )
{
   x = r.x;
   y = r.y;
}

MyPoint::MyPoint( double a, double b )
{
   x = a;
   y = b;
}

MyPoint MyPoint::operator+( MyPoint point )
{
   MyPoint temp;
   temp.x = x + point.x;
   temp.y = y + point.y;
   return temp;
}

MyPoint MyPoint::operator-( MyPoint point )
{
   MyPoint temp;
   temp.x = x - point.x;
   temp.y = y - point.y;
   return temp;
}

double MyPoint::operator*( MyPoint point )
{
   return x * point.y + y * point.x;
}

MyPoint& MyPoint::operator*( double dVal )
{
   x *= dVal;
   y *= dVal;
   return *this;
}

MyPoint& MyPoint::operator=( MyPoint &point )
{
   x = point.x;
   y = point.y;
   return *this;
}

MyPoint& MyPoint::operator=( double a, double b )
{
   x = a;
   y = b;
   return *this;
}

MyPoint MyPoint::operator++()
{
   x++;
   y++;
   return *this;
}

MyPoint MyPoint::operator++( int a )
{
   ++x;
   ++y;
   return *this;
}

// added by andreich && modified by radubolovan start
ostream& operator<<( ostream &stream, const MyPoint &pt )
{
   stream << "( " << pt.x << ", " << pt.y << " )\n";
   return stream; 
}

istream& operator>>( istream &stream, const MyPoint &pt )
{
   stream >> pt.x >> pt.y;
   return stream;
}
// added by andreich && modified by radubolovan end

int MyPoint::getX()
{
   return x;
}

int MyPoint::getY()
{
   return y;
}

int main( int argc, char *argv[] ) 
{
   MyPoint pt( 5, 7 );
   cout << pt << endl; //afiseaza la consola ( 5, 7 )
   cout << pt++ << endl; //afiseaza la consola ( 5, 7 )
   cout << pt << endl; //afiseaza la consola ( 6, 8 )
   cout << ++pt << endl; //afiseaza la consola ( 7, 9 )
}

--Radu Bolovan 12:04, 22 November 2005 (EET)