c++ - 可变参数模板和“预期类型”错误

Question

我正在自己实现（主要是为了学习目的），tuple我刚刚遇到了一个问题。我有以下代码：

namespace Rose
{
    template<typename T>
    struct RemoveReference
    {
        typedef T Type;
    };

    template<typename T>
    struct RemoveReference<T &>
    {
        typedef T Type;
    };

    template<typename... Elems>
    class Tuple;

    template<typename First, typename... Elems>
    class Tuple<First, Elems...>
    {
    public:
        Tuple(First a, Elems... more)
            : More(more...), Element(a)
        {
        }

        Tuple<First, Elems...> & operator=(const Tuple<RemoveReference<First>::Type,
                                           RemoveReference<Elems>::Type...> & rhs)
        {
            this->Element = rhs.Element;
            this->More = rhs.More;

            return *this;
        }

    private:
        Tuple<Elems...> More;
        First Element;
    };

    template<typename Only>
    class Tuple<Only>
    {
    public:
        Tuple(Only a) : Element(a)
        {
        }

        Tuple<Only> & operator=(const Tuple<RemoveReference<Only>::Type> & rhs)
        {
            this->Element = rhs.Element;

            return *this;
        }

    private:
        Only Element;
    };
}

int main()
{
    Rose::Tuple<int, float, int> t(1, 1.f, 2);
}

这会导致以下错误（还有更多，但这是必不可少的）：

错误：“模板结构 Rose::Tuple”的模板参数列表中的参数 1 的类型/值不匹配错误：需要一个类型，得到“Rose::RemoveReference::Type”

我真的不明白这是怎么回事。RemoveReference单独使用时，该特征有效。

这里有两个测试用例：

• 我在上面粘贴的代码不起作用
• RemoveReference单独使用时有效的证明

我已经用 G++ 4.6.1、4.5.1 和 Clang++ 2.9 尝试过这段代码。

这些错误出现的原因是什么？

Answer 1

RemoveReference<T>::Type是依赖类型，所以需要在typename这里添加：

        Tuple<First, Elems...> & operator=(const Tuple<typename RemoveReference<First>::Type,
                                                       typename RemoveReference<Elems>::Type...> & rhs)

可能还有其他地方。