这很有效

利用C++11，我试图构建一个函数，通过将任意对象写入ostringstream来连接它们。作为这些的助手函数，我有一个可变助手函数，它将单个项目附加到现有的ostream（下面的完整粘贴中给出了更多上下文）：

template<class Head, class... Tail>
std::ostream& append(std::ostream& out, const Head& head, const Tail&... tail)
{
  return append(out << head, tail...);
}

此操作失败

但后来我想，当<<-应用于流时，可能会有一些对象不会返回ostream，而是返回一些占位符。因此，让流类型也作为模板参数会很酷：

  1 #include <iostream>
  2 #include <sstream>
  3 
  4 template<typename Stream>
  5 Stream& append(Stream& out) {
  6   return out;
  7 }
  8 
  9 template<class Stream, class Head, class... Tail>
 10 auto append(Stream& out, const Head& head, const Tail&... tail)
 11   -> decltype(append(out << head, tail...))  // <<<<< This is the important line!
 12 {
 13   return append(out << head, tail...);
 14 }
 15 
 16 template<class... Args>
 17 std::string concat(const Args&... args) {
 18   std::ostringstream s;
 19   append(s, args...);
 20   return s.str();
 21 }
 22 
 23 int main() {
 24   std::cout << concat("foo ", 3, " bar ", 7) << std::endl;
 25 }

但是g++-4.7.1将拒绝编译这个。

将签名中Stream的所有用途改回std::ostream不会让它变得更好，所以我认为新的函数声明语法在这里起着重要作用——尽管gcc声称自4.4以来就支持它。

错误消息

错误消息相当神秘，并没有告诉我这里发生了什么。但也许你能理解它。

 In instantiation of ‘std::string concat(const Args& ...) [with Args = {char [5], int, char [6], int}; std::string = std::basic_string<char>]’:
24:44:   required from here
19:3: error: no matching function for call to ‘append(std::ostringstream&, const char [5], const int&, const char [6], const int&)’
19:3: note: candidates are:
5:9: note: template<class Stream> Stream& append(Stream&)
5:9: note:   template argument deduction/substitution failed:
19:3: note:   candidate expects 1 argument, 5 provided
10:6: note: template<class Stream, class Head, class ... Tail> decltype (append((out << head), append::tail ...)) append(Stream&, const Head&, const Tail& ...)
10:6: note:   template argument deduction/substitution failed:
 In substitution of ‘template<class Stream, class Head, class ... Tail> decltype (append((out << head), tail ...)) append(Stream&, const Head&, const Tail& ...) [with Stream = std::basic_ostringstream<char>; Head = char [5]; Tail = {int, char [6], int}]’:
19:3:   required from ‘std::string concat(const Args& ...) [with Args = {char [5], int, char [6], int}; std::string = std::basic_string<char>]’
24:44:   required from here
10:6: error: no matching function for call to ‘append(std::basic_ostream<char>&, const int&, const char [6], const int&)’
10:6: note: candidate is:
5:9: note: template<class Stream> Stream& append(Stream&)
5:9: note:   template argument deduction/substitution failed:
10:6: note:   candidate expects 1 argument, 4 provided

问题

所以我的核心问题是：
此代码失败有充分的原因吗

我感兴趣的要么是标准中的一些引用，它说我的代码是无效的，要么是对实现中出现的问题的一些见解。如果有人为此找到了一个gcc错误，那也是一个答案。我一直找不到合适的报告。尽管使用std::ostream只对我当前的应用程序有效，但实现这一点的方法也很好。关于其他编译器如何处理这一问题的输入也很受欢迎，但这还不足以让我接受。