4

私は（主に学習目的で）独自の実装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);
}

これは次のエラーを引き起こします（それらはもっとありますが、これは不可欠です）：

エラー：「templatestructRose ::Tuple」のテンプレートパラメータリストの引数1での型/値の不一致エラー：型が必要です。「Rose :: RemoveReference::Type」を取得しました。

これが何なのかよくわかりません。RemoveReference特性は、単独で使用すると機能します。

ここに2つのテストケースがあります：

このコードをG++4.6.1、4.5.1、およびClang++2.9で試しました。

これらのエラーが表示される理由は何ですか？

4

1 に答える 1

6

RemoveReference<T>::Typetypenameは依存型なので、ここに追加する必要があります。

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

そしておそらく他の場所。

于 2012-04-27T20:39:14.613 に答える