32

概括

有没有办法在模板化类型上调用一个类方法，它可能是一个指针或一个引用，而不知道哪个并且不会得到编译器/链接器错误？

细节

我有一个模板化的 QuadTree 实现，它可以采用以下任何重要的用户定义类型：

//Abstract Base Class
a2de::Shape

//Derived Classes
a2de::Point
a2de::Line
a2de::Rectangle
a2de::Circle
a2de::Ellipse
a2de::Triangle
a2de::Arc
a2de::Spline
a2de::Sector
a2de::Polygon

但它们可以是指针或引用，因为它们都是从 a2de::Shape 派生的。因此，专业化声明为：

template class QuadTree<a2de::Shape&>;
//...similar for all derived types as references.

template class QuadTree<a2de::Shape*>;
//...similar for all derived types as pointers

我遇到的问题是当间接（或缺少间接）未知时调用类方法的能力，并且由于模板，生成了两组代码：

template<typename T>
bool QuadTree<T>::Add(T& elem) {

    //When elem of type T is expecting a pointer here
    //-> notation fails to compile where T is a reference i.e.:
    //template class QuadTree<a2de::Shape&>
    //with "pointer to reference is illegal"

    if(elem->Intersects(_bounds) == false) return false;

    //...
}

如果我将上面的行更改为使用 . （点）符号：

template<typename T>
bool QuadTree<T>::Add(T& elem) {

    //When elem of type T is expecting a reference here
    //. (dot) notation fails to compile where T is a pointer i.e.:
    //template class QuadTree<a2de::Shape*>
    //with "pointer to reference is illegal"

    if(elem.Intersects(_bounds) == false) return false;

    //...

}

如果我删除基于引用的类型以支持基于指针的类型（包括在 Quadtree 类的声明和使用中），我会收到错误消息left of .<function-name> must have class/struct/union。

如果我删除基于指针的类型以支持基于引用的类型（包括在 Quadtree 类的声明和使用中），我会再次得到上述内容reference to pointer is illegal。

编译器：VS2010-SP1

4

1 回答 1

50

小型重载函数可用于将引用转换为指针：

template<typename T>
T * ptr(T & obj) { return &obj; } //turn reference into pointer!

template<typename T>
T * ptr(T * obj) { return obj; } //obj is already pointer, return it!

现在而不是这样做：

 if(elem->Intersects(_bounds) == false) return false;
 if(elem.Intersects(_bounds) == false) return false;

做这个：

 if( ptr(elem)->Intersects(_bounds) == false) return false;

如果elem是参考，将选择第一个重载ptr，否则将选择第二个。两者都返回指针，这意味着无论elem代码中的内容如何，​​表达式ptr(elem)都将始终是一个指针，您可以使用它来调用成员函数，如上所示。

由于ptr(elem)是指针，这意味着检查它是否nullptr是个好主意：

 if( ptr(elem) && (ptr(elem)->Intersects(_bounds) == false)) return false;

希望有帮助。

于 2013-01-22T19:42:03.540 回答