Kann typeof (std :: endl) nicht als Template-Parameter haben?

Question

Also, ich habe versucht, eine Funktion wie folgt zu schreiben:

void append_to_stream(std::ostream &stream) 
{ } 

template <typename T, typename... Args> 
void append_to_stream(std::ostream &stream, T first, Args&&... rest) 
{ 
    stream << first; 
    append_to_stream(stream, rest...); 
} 

und nennen es mag:

append_to_stream(stream, 
       std::endl, 
       std::endl); 

Aber das funktioniert nicht. Ich bekomme einen Fehler, der 'zu viele Argumente' für die Funktion sagt. Ich habe es bis zu dem Punkt eingegrenzt, an dem ich weiß, dass die std::endl Schuld ist - wahrscheinlich, weil es eine Funktion ist. Ich habe es geschafft, dies zu "lösen", indem ich eine Struktur mit dem Namen endl deklariere und die <<operator dafür definiere, so dass sie einfach std::endl aufruft. Das funktioniert, fühlt sich aber nicht besonders gut an. Ist es nicht möglich, std :: endl als Template-Argument zu akzeptieren? Die Funktion funktioniert für andere Typen.

Edit: hier ist der Fehler:

src/log/sinks/file_sink.cpp:62:21: error: too many arguments to function ‘void log::sinks::append_to_stream(std::string&, Args&& ...) [with Args = {}, std::string = std::basic_string<char>]’ 

aktualisieren

Der Versuch, den Compiler zu erhalten, die richtigen Vorlage Argumente abzuleiten @MooingDuck schlug vor, dass eine Funktion der folgenden Form verwendet werden könnten:

template<class e, class t, class a> 
    basic_ostream<e,t>&(*)(basic_ostream<e,t>&os) get_endl(basic_string<e,t,a>& s) 
    { 
return std::endl<e,t>; 
    } 

Dies kompiliert jedoch nicht.

Fehler:

src/log/sinks/file_sink.cpp:42:28: error: expected unqualified-id before ‘)’ token 
src/log/sinks/file_sink.cpp:42:53: error: expected initializer before ‘get_endl’ 

Irgendwelche Ideen, warum? Um dies zu kompilieren, habe ich hinzugefügt using namespace std;

Answer 1

std::endl ist eine Vorlage, keine Funktion, und der Compiler kann nicht lösen, welche endl zu verwenden.

Versuchen:

append_to_stream(std::cout, 
      std::endl<char, std::char_traits<char>>, 
      std::endl<char, std::char_traits<char>>); 

Oder MooingDuck-Lösung (korrigiert):

template<class e, class t, class a> //string version 
std::basic_ostream<e, t>& (*get_endl(const std::basic_string<e, t, a>&)) 
    (std::basic_ostream<e, t>&) 
{ return std::endl<e,t>; } 

template<class e, class t> //stream version 
std::basic_ostream<e, t>& (*get_endl(const std::basic_ostream<e, t>&)) 
    (std::basic_ostream<e, t>&) 
{ return std::endl<e,t>; } 

int main() { 
    std::ostream& stream = std::cout; 
    append_to_stream(stream, 
       get_endl(stream), 
       get_endl(stream)); 
} 

Hier ist get_endl Lösung, vereinfacht durch C++ 11 decltype Feature:

template<class e, class t, class a> //string version 
auto get_endl(const std::basic_string<e, t, a>&) 
    -> decltype(&std::endl<e,t>) 
{ return std::endl<e,t>; } 

template<class e, class t> //stream version 
auto get_endl(const std::basic_ostream<e,t>&) 
    -> decltype(&std::endl<e,t>) 
{ return std::endl<e,t>; } 

int main() { 
    std::ostream& stream = std::cout; 
    append_to_stream(stream, 
       get_endl(stream), 
       get_endl(stream)); 
} 

Answer 2

Much einfacher als das Angeben von Vorlagenargumenten oder das Definieren einer ganz neuen Vorlage (!) löst die Überladung auf durch Besetzung.

Dies funktioniert für alle Manipulatoren, während einige Manipulatoren unterschiedlich templatiert werden könnten, zum Beispiel wenn sie vom Benutzer bereitgestellt werden.

Auch sollten Sie T first entweder durch perfekte Weiterleitung oder Const-Verweis übergeben. Es macht nicht viel Sinn, zuerst weiterzuleiten und dann nach Wert zu gehen. Auch ohne einen Aufruf std::forward, rvalue Argumente werden von Wert übergeben werden ... nur nach dem Idiom, wäre es

template <typename T, typename... Args> 
void append_to_stream(std::ostream &stream, T &&first, Args&&... rest) 
{ 
    stream << std::forward<T>(first); 
    append_to_stream(stream, std::forward<Args>(rest) ...); 
} 

http://ideone.com/cw6Mc