可变参数模板 - 编译错误

Question

你能帮我修复以下代码中的编译错误吗：

#include <sstream>
#include <iostream>

using namespace std;

template<typename T, typename ...P>
class Mystrcat{
 public:
 Mystrcat(T t, P... p){init(t,p...);}

 ostringstream & get(){return o;}         

 private:
 ostringstream o;
 void init(){}
 void init(T t, P... p);
};

template<typename T, typename ...P>
void Mystrcat<T,P...>::init(T t, P ...p){
  o << t;
  if (sizeof...(p)) init(p...);
}

int main(){
 Mystrcat<char*,char *> m("Amma","Namasivayah");
 cout << m.get().str();
}

我收到错误，没有匹配的函数用于调用注意

‘Mystrcat<char*, char*>::init(char*&)’

：候选者是：

void Mystrcat<T, P>::init() [with T = char*, P = char*]
void Mystrcat<T, P>::init(T, P ...) [with T = char*, P = char*]

gcc版本4.4.3（Ubuntu 4.4.3-4ubuntu5）

谢谢 苏雷什

Answer 1

您收到此错误是因为无法将 p 解压到任一 init 函数中。在实例化 Mystrcat 中，解压 P... 将产生以下类型的单个内容：char*，它没有带有该签名的 init （实例化版本将具有 void init() 和 void init(char*, char*)，而您正在尝试调用init(char*))。

事实上，你的模板是不可能实例化的，因为 init 总是比你在 void Mystrcat::init(T t 中给出的参数多一个参数，P ...p）。如果您更改定义以调用您定义的内容：

template<typename T, typename ...P>
void Mystrcat<T,P...>::init(T t, P ...p){
  o << t;
  if (sizeof...(p)) init(t, p...);
}

那么这将起作用（至少在 g++-4.5.2 中）。

---

编辑：我认为这就是您真正想要的：

#include <sstream>
#include <iostream>

class MyCollector
{
public:
    template <typename... T>
    explicit MyCollector(const T&... args)
    {
        init(args...);
    }

    std::string str()
    {
        return _stream.str();
    }

private:
    void init()
    { }

    template <typename First, typename... Rest>
    void init(const First& first, const Rest&... rest)
    {
        _stream << first;
        init(rest...);
    }

    std::ostringstream _stream;
};

int main()
{
    MyCollector collector("Whatever ", "stuff like ", 2, " or ", 3.14, "\n");
    std::cout << collector.str();
    return 0;
}