🚀 go-pugleaf

Karsten Baensch (kba@hrz.tu-chemnitz.de) wrote:

: Wenn er zusaetzlich noch einen korrekten Copykonstruktor fuer Vector<T> 
: definiert, dann funktionierts. Denn das innerhalb von 
: 'template<class T> Vector<T> Vector<T>::operator+(const Vector& v) const'
: mit Vector 'result(dim);' erzeugte automatische Objekt ist zur Zeit der
: Ausfuehrung von 'operator=()' nicht mehr am Leben! Wenn obige Aussage so
: gemeint war, dann ist sie meiner Meinung nach falsch. Korrigiert mich,
: wenn ich mich irre.
: Wenn es so waere, dann koennte 'operator+' auch eine Referenz auf 'result'
: zurueckliefern, um diese dann an 'operator=(const Vector& v)' zu
: uebergeben. Das wuerde vieles einfacher machen. Geht aber nicht.

: Erst durch 'return(result);' wird im Kontext der
: aufrufenden Funktion ein temoraeres Objekt erzeugt und mit 'result'
: initialisiert. Fuer eben diese Initialisierung braucht man den
: Copykonstruktor.

Stimmt natürlich, den Copykonstruktor habe ich unterschlagen. Das wäre
dann also noch:

template<class T> Vector<T>::Vector(const Vector& v)
{
        unsigned int    i;
        dim = v.dim;
        
        for (i=0; i<dim; i++)
            data[i] = v.data[i];
}                                             

Hielt ich für offensichtlich, war es aber nicht.  :-)

Andreas
--
Andreas Zierdt,    Institut fuer Phonetik und sprachliche Kommunikation
                   Universitaet Muenchen, Schellingstr. 3
                   80799 Muenchen, Germany

E-mail: andi@sun1.phonetik.uni-muenchen.de