运算符 == 重载中的模板类型比较

Question

我为处理队列的类编写了运算符 == 的重载。 在这个类中，我使用了一个模板，我要添加的第一个控件是模板类型的控件。

这是代码

bool operator==(const Queue<T>& queue)
    {
        NodoCS<T>* NodoA = First;
        NodoCS<T>* NodoB = coda.First;

        if (this->DimQueue() != coda.DimQueue())
            return false;
        else
        {
            for (int i = 0; i < DimQueue(); i++)
            {
                if (NodoA->Element() != NodoB->Element())
                    return false;

                NodoA = NodoA->NextAddress();
                NodoB = NodoB->NextAddress();
            }

            return true;
        }
    }

示例： 我有这个队列：

Queue<int> queue1 和 Queue<string> queue2

显然这些不相等，那么如何控制 int 与 string 不同？

我试过这样写函数的参数：

const Queue<T1>& queue

然后if(T != T1)....但这是错误的

Answer 1

只需编写operator== 的重载，它比较相同类型的队列，以及不同类型的队列。后者总是返回false：

template<typename T>
bool operator==( const foo<T>& lhs , const foo<T>& rhs )
{
    return /* queues comparison */;
}

template<typename T , typename U>
bool operator==( const foo<T>& lhs , const foo<U>& rhs )
{
    return false;
}

Here 是 ideone 的一个运行示例。

Answer 2

如果你使用的是 boost 或 c++11，

template<typename U>
typename std::enable_if<std::is_same<T, U>, bool>::type
operator == (const Queue<U>& other)
{
    ... do member comparison here
}

template<typename U>
typename std::disable_if<std::is_same<T, U>, bool>::type
operator == (const Queue<U>& other)
{
    return false;
}