C++如何用模板指定或其他方式实现

C++ how to implement with template specilization or other manner?

本文关键字：其他 方式 实现 何用模 C++      更新时间：2023-10-16

我正在实现一个Boundary-Volumn层次结构，其中树有一个这样的模板：

template <typename Coordinate> 
class BoundingTree { /* ... */ }

Coordinate可以是Vector2d、Vector3f或任何其他任意坐标。要使用这种BoundingTree结构进行碰撞检测，应该有一个检测功能：

template <typename Coordinate> 
template <typename RigidBody>
bool BoundingTree::collide(RigidBody const & body);

RigidBody可以是一切，例如Cuboid3f、Circle2d。我对这个检测系统的实现是：

// BoundingTree.h
template <typename Coordinate>
class BoundingTree
{
public:
    BoundingTree() {}
    // collide function decleration
    template <typename RigidBody>
    bool collide(RigidBody const & obj);
};
// BoundingTree.cpp
// specilizations
template<typename Coordinate> template <typename RigidBody>
bool BoundingTree::collide(RigidBody const & obj)
{
    std::cout << "default" << std::endl;
    return false;
}
template<> template<>
bool BoundingTree<Vector3f>::collide<Sphere3f>(Sphere3f const & d)
{
    std::cout << "Vector3f Sphere3f" << std::endl;
    return 1;
};
template<> template<>
bool BoundingTree<Vector3f>::collide<Cuboid3f>(Cuboid3f const & d)
{
    std::cout << "Vector3f Cuboid3f" << std::endl;
    return 1;
};

但我得到了一个错误：

1>BoundingTree.cpp(6): error C2955: 'BoundingTree': use of class template requires template argument list
1>  BoundingTree.h(32): note: see declaration of 'BoundingTree'
1>BoundingTree.cpp(10): error C2244: 'BoundingTree::collide': unable to match function definition to an existing declaration
1>  BoundingTree.cpp(6): note: see declaration of 'BoundingTree::collide'

如何解决这个问题？

有没有更好的方法来实现这种任意类型的碰撞检测系统？

非常感谢。

您尝试做的是允许的，但您有语法错误，如下所示：

template<typename Coordinate> template <typename RigidBody>
bool BoundingTree::collide(RigidBody const & obj)
                         ^

这不是一个专门化，所以你必须为类指定模板参数，它应该是

bool BoundingTree::collide<Coordinate>(...)

但我看到您的代码被分为头和源代码，这可能会造成代码的非专业化问题。

如果一个模板化函数是在源文件中定义的，但在另一个翻译单元中使用，那么在编译过程中不会生成模板的实例化，并且会出现链接器错误。

像这样的完全专业化不会发生这种情况

template<> template<>
bool BoundingTree<Vector3f>::collide<Sphere3f>(Sphere3f const & d)

但是，如果你计划进行部分专业化，那么你将被迫移动头文件中的所有内容，或者强制在定义它们的源文件中实例化模板，例如

template class BoundingTree<MyCoord>;
template bool BoundingTree<MyCoord>::collide<MyShape>(MyShape const& d);
相关文章：