Gewusst wie: array an Funktion template mit Referenz

Lerne ich c++ template-Konzepte. Ich verstehe nicht die folgenden.

#include <iostream>
#include <typeinfo>

using namespace std;

template <typename T>
T fun(T& x)
{
 cout <<" X is "<<x;
 cout <<"Type id is "<<typeid(x).name()<<endl;
}


int main ( int argc, char ** argv)
{
   int a[100];
   fun (a);
}

Was ich versuche?

1) T Spaß (T & x)

Hier x ist eine Referenz, und somit nicht morsch 'a' in Zeiger-Typ,
aber beim kompilieren bekomme ich den folgenden Fehler. 

 error: no matching function for call to ‘fun(int [100])’

Wenn ich versuche nicht-Referenz, es funktioniert gut. Wie ich es verstehe, wird das array verfallen in Zeiger-Typ.

InformationsquelleAutor Whoami | 2013-05-12
  1. 23

    C-style-arrays sind sehr grundlegende Konstrukte, die sind nicht übertragbar, kopierbar oder referenzierbaren in der Art gebaut-ins oder benutzerdefinierte Typen sind. Zu erreichen ist das äquivalent der übergabe eines Arrays als Verweis, müssen Sie die folgende syntax:

    //non-const version
template <typename T, size_t N>
void fun( T (&x)[N] ) { ... }

//const version
template <typename T, size_t N>
void fun( const T (&x)[N] ) { ... }

    Beachten Sie, dass hier die Größe des Arrays ist auch eine template-parameter, damit die Funktion ausgeführt, werden alle array-Größen, da T[M] und T[N] sind nicht vom gleichen Typ sind für verschiedene M, N. Beachten Sie auch, dass die Funktion, die void zurückgibt. Es gibt keine Möglichkeit der Rückgabe eines Arrays durch Wert, da das array nicht kopierbar, wie bereits erwähnt.

    • rodrigo ' s Antwort ist auch korrekt, ohne introduing zusätzliche N, (T& x) auch fangen können "int a[100]" mit Typ " T " als "int [100]", können Sie selbst deklarieren Sie lokale Variablen, die mit T: {T t; t[999]=1;}
    • Ja, in der Tat. Es hängt von der bestimmungsgemäßen Verwendung. Mögliche Vorteile dieser version sind, dass es funktioniert nur für arrays, und dass template-parameter N hat das array die Länge.
    InformationsquelleAutor juanchopanza
  2. 6

    Das problem ist in der return-Typ: Sie können ein array zurückgeben, da arrays sind nicht kopierbar. Und by the way, sind Sie wieder nichts!

    Versuchen, statt:

    template <typename T>
void fun(T& x)  //<--- note the void
{
    cout <<" X is "<<x;
    cout <<"Type id is "<<typeid(x).name()<<endl;
}

    Und es funktioniert wie erwartet.

    HINWEIS: die ursprünglichen, vollständigen Fehlermeldung (mit gcc-4.8) eigentlich ist:

    test.cpp: In function ‘int main(int, char**)’:
test.cpp:17:10: error: no matching function for call to ‘fun(int [100])’
    fun (a);
      ^
test.cpp:17:10: note: candidate is:
test.cpp:7:3: note: template<class T> T fun(T&)
 T fun(T& x)
   ^
test.cpp:7:3: note:   template argument deduction/substitution failed:
test.cpp: In substitution of ‘template<class T> T fun(T&) [with T = int [100]]’:
test.cpp:17:10:   required from here
test.cpp:7:3: error: function returning an array

    Die relevante Zeile ist die Letzte.

    • Punkt 1 in "effective modern c++" schlägt auch auf diese Weise. Schreiben (&param)[N] ist überflüssig, es sei denn, Sie brauchen, um zu finden N im Körper von f (obwohl dies kann auch abgeleitet werden, sobald Sie den Typ)
    InformationsquelleAutor rodrigo
Schreibe einen Kommentar