c++ - 带有引用参数的模板结构构造器

Question

我有一个这样的模板结构

template<typename ... Args> struct A;
template<>
struct A<>{

};
template<typename First, typename ... Args>
struct A<First, Args...>:private A<Args...>{
    typedef A<Args...> child;
    typedef A<First, Args...> self;
    typedef First type;
    static const size_t size = 1 + sizeof...(Args);
    type value;
    template<typename ... _Args>
    A(First && first, _Args && ... args) :child(forward<_Args>(args)...),value(move(first)){}//move
    template<typename ... _Args>
    A(const First & first, _Args && ... args) :child(forward<_Args>(args)...), value(first){}//assign
};

如果我像下面这样调用这个结构；

int f= 6;  
 A<int, int, int> g(f, 5, f); //it is working   
 A<int&> i(f);//not working  compile error

第二个不工作，因为右值构造函数不能将第一个赋值给值。
第二个工作应该怎么做？

Answer 1

你更大的问题是，当 First 是左值引用(比如，T &)时，First && 和 const首先&变成了T&，也就是说你的两个构造函数的签名是一样的，这显然是不合法的。 (const First & 是“对 const First 的引用”，但是由于引用本身是不可变的，所以当 First 本身是引用类型时，const 是没有意义。)

一个可能的修复方法是让您的构造函数也为第一个参数采用通用引用，即:

template<typename F, typename ... Cargs>
A(F&& first, Cargs && ... args) :child(forward<Cargs>(args)...),value(forward<F>(first)){}

Demo .