Kann ich in einer C++ - Template-Funktion einen dereferenzierten Argumenttyp zurückgeben?

Question

Was ich meine, ist das Folgende. Ich möchte eine Template-Funktion, die zwei Vektor-Iteratoren (oder zwei Zeiger auf ein Doppel-Array) benötigt und ein Double zurückgibt, das irgendwie mit den Vektor-Iteratoren oder Array-Zeigern in Beziehung steht, die ich überlasse. Ich möchte jedoch, dass dies für double oder int oder einen beliebigen arithmetischen Typ funktioniert.

Ich glaube, ich bin nicht erlaubt zu sagen:

template <class T> 
T* func(T Begin, T End) 

T new_variable = Begin + 5; 

return (*new_variable); 
} 

, da der Compiler nicht verstehen, was T * Mittel. Eine Lösung, die ich gedacht ist zu nehmen, was ich versuche, es ein drittes Argument zurück und machen:

template <class T> 
void func(T Begin, T End, T* new_variable) 

new_variable = Begin + 5; 

return (*new_variable); 
} 

Wird diese Arbeit? Selbst wenn ja, gibt es eine andere Art zu tun, was ich versuche zu tun? (Sorry, wenn ich nicht klar genug.)

Answer 1

Wenn Sie ein Doppel zurückkehren möchten (dh die Art, die Sie erhalten würden, wenn dereferencing), können Sie die Iterator Merkmale verwenden:

template<typename RandomAccessIterator> 
typename std::iterator_traits<RandomAccessIterator>::value_type 
func(RandomAccessIterator a, RandomAccessIterator b) { 
    typedef typename std::iterator_traits<RandomAccessIterator>::value_type 
     value_type; 

    // use value_type now, when you want to save some temporary 
    // value into a local variable, for instance 
    value_type t = value_type(); 
    for(; a != b; ++a) t += *a; 
    return t; 
} 

Diese Arbeit für alle Iteratoren, einschließlich Zeiger:

int main() { 
    int d[3] = { 1, 2, 3 }; 
    assert(func(d, d + 3) == 6); 
} 

Answer 2

Nun, Ihr Code scheint zu widersprechen, was Sie im Text beschrieben. Wenn T der Iteratortyp ist, dann wird das Ergebnis des Iterators dereference (wie Sie im Text sagten) nicht haben Typ T * (wie Sie scheinen, an den Code zu glauben). T * ist eine völlig entgegengesetzte Sache: Es ist etwas, was Sie erhalten würden, wenn Sie die Adresse Ihres Iterators genommen, nicht dereferenziert.

In der Tat gibt es keine Möglichkeit, den "dereferenzierten Typ" mit C++ Kernsprachfunktionen auszudrücken (vielleicht decltype wird es in Zukunft tun, wie in decltype(*T())). Die einzige Möglichkeit, das Ergebnis der Dereferenzierung des Typs T zu beschreiben, ist die Verwendung einer Bibliotheks-basierten Lösung: Iterator-Traits, wie Johannes in seiner Antwort erklärte.