3

我正在尝试创建一个为指针和非指针重载的模板函数。我这样做了,它有效。

    template<class D, class V>
    bool Same(D d, V v){ return d == v; }

    template<class D, class V>
    bool Same(D* d, V v) { return *d==v;}

现在我想扩展它,使得模板化容器是一个参数,并且必须有一个版本用于带有指针的容器和另一个带有非指针容器的版本。我无法弄清楚。我试过这个,但它不会工作。

    template< template<class> class Container, class Data, class Value>
    bool func(Container<Data> &c, Value v)
    {
        return c[0] == v;
    }

    template< template<class> class Container, class Data, class Value>
    bool func(Container<Data*> &c, Value v)
    {
            return *c[0] == v;
    }

错误 c2040 表示 int* 的间接级别与 int 不同,并指向第一个函数。

我怎样才能让它工作?

其余代码

template<class D>
class Vec
{
    std::vector<D> m_vec;
public:
    void push_back(D d) { m_vec.push_back(d); }
        D operator[](int i) { return m_vec[i]; }
};
void test_template()
{
    Same<int, int>(2,3);
    Info i = {4};
    Same<Info, int>(i, 2);
    Info ii = {2 };
    Info *pi = &ii;
    Same<Info, int>(pi, 2);

    Vec<int> iv;
    iv.push_back(3);
    func<Vec, int, int>(iv, 3);
    Vec<int*> pv;
    pv.push_back(new int(3));
    func<Vec, int*, int>(pv, 3);
}
4

1 回答 1

3

对于第二次调用func,第二个模板参数应该只是int,而不是int *。否则,第二个funcdeclaratino 将寻找 aVec<int **>作为第一个模板参数(因为它有自己的指针)。

func<Vec, int, int>(pv, 3);

编辑:正如 DyP 所提到的,您也可以完全省略模板参数,因为编译器应该能够从实际的函数参数中推断出它们。

于 2013-07-24T20:08:14.383 回答