🚀 go-pugleaf

Hi,
Saggau Henning (saggauh@uni-marburg.de) wrote:
: ich habe eine mathematische Klasse geschrieben, die ich mit einem
: Construktor, der das Nullelement erzeugt, und den Standardoperatoren (+-*/)
: ausgestattet habe. Nun meine Frage:

: a= -b;
: wobei a, b beide vom Typ dieser Klasse sind. Was wird gemacht?

Dieses Statement ist aequivalent zu einem der folgenden Statements:

1. a.operator=(operator-(b));
2. a.operator=(b.operator-());
3. a.operator=(-(b.operator T()));

Von 1. und 2. kann nur eins moeglich sein, da sonst der Ausdruck nicht
eindeutig waere. In 3. ist 'T' ein built-in Typ ist, zu dem es eine
Konversion von der entspreachenden "mathematischen Klasse" (sagen wir
mal 'M') gibt und es einen entsprechenden Zuweisungsoperator von 'T'
gibt. D.h. die beiden folgenden Funktionen muessen definiert sein:

  M::operator T() oder M::operator T() const
  M::operator= (T &) doer M::operator= (T const &)

: Wird erst das Nullelement erzeugt und dann b davon abgezogen?

Nein. Der Compiler hat kein semantisches Wissen darueber das es einen
Konstruktor gibt, der ein Nullelement erzeugt. Der Compiler versucht
einfach, das unaere '-' anzuwenden.
--
dietmar.kuehl@uni-konstanz.de
http://www.informatik.uni-konstanz.de/~kuehl
I am a realistic optimist - that's why I appear to be slightly pessimistic