bitte seht euch mal folgenden Code an:

#include <iostream>

template <typename T>
void f(T parm) {

  ++parm;
}

void g(int &parm) {

  f(parm);
}

int main() {

  int i = 0;
  g(i);
  std::cout << i << std::endl;
  g(i);
  std::cout << i << std::endl;
  return 0;
}

Als Ausgabe hätte ich die Zahlen 1 und 2 erwartet, aber weit gefehlt! Stattdessen erhalte ich zweimal die 0.

Offensichtlich wird das Funktions-Template f() als f<int>(), statt als f<int &>() instanziiert, der Parameter also kopiert und nicht als Referenz übergeben. Und dies obwohl in g() der Parameter ja ein int& ist!

Schreibe ich g() um:

void g(int &parm) {

  f<int &>(parm);
}

...erhalte ich die Ausgabe wie erwartet.

Ich frage mich (und jetzt euch), ob das ein Fehler des Compilers ist oder ob ich in diesem Punkt Templates nicht richtig verstanden habe. Falls letzteres gilt, wäre ich für eine Erklärung dankbar.

Getestet mit GCC 3.4.2, MinGW-Edition und Visual C++ 6.0.

Stefan.

PS: Wenn es dir um die Referenzen geht, kannst du ja auch "template<typename T> void f(T**&** parm)" verwenden.

Ja, eine Referenz wird intern als eine Variable des drunterliegenden Typs betrachtet, deshalb gilt der Parameter von g() für den Compiler als int-Variable, wenn du ihm nichts anderes erklärst.

PS: Wenn es dir um die Referenzen geht, kannst du ja auch "template<typename T> void f(T**&** parm)" verwenden.

Danke für die (schnelle!!) Antwort.

Stefan.