模板可能导致函数定义匹配失败

Template Can Cause Function Definition Match Failure

本文关键字：定义 失败 函数      更新时间：2023-10-16

在使用c++11的VS2012中，为什么要编译：

template <typename T>
class Vector2
{
public:
    Vector2();  //constructors
    T Dot(const Vector2<T>& U, const Vector2<T>& V);
};
template <typename T>
inline T Vector2<T>::Dot(const Vector2<T>& U, const Vector2<T>& V) //ISSUE
{ return (U.x * V.x + U.y * V.y); }

但事实并非如此：

template <typename T>
class Vector2
{
public:
    Vector2();  //constructors
    template<typename G>
    G Dot(const Vector2<G>& U, const Vector2<G>& V);
};
template <typename G>
inline G Vector2<G>::Dot(const Vector2<G>& U, const Vector2<G>& V) //ISSUE
{ return (U.x * V.x + U.y * V.y); }

第二个导致错误："无法将函数定义与现有声明匹配"
我意识到我不必在后面的模板函数定义中使用G，我只是使用它来与第二个示例声明保持一致
是否不允许在模板类中具有与该类不同类型的函数？我非常感兴趣的是了解这里发生了什么，以及我可以从这个错误中学到的关于模板的任何相关信息。

您有两种模板类型：T和G。一个列表（T）用于类，一个（G）用于成员函数。因此，您必须有两个列表；一个用于类，然后一个用于函数（并确保正确的类型位于正确的位置，类名后为T，参数中为G）：

template<typename T>
template<typename G>
inline G Vector2<T>::Dot(const Vector2<G>& U, const Vector2<G>& V)
{ return (U.x * V.x + U.y * V.y); }

您需要两个独立的模板声明：

template <class T>
template <class G>
inline G Vector2<T>::Dot(const Vector2<G>& U, const Vector2<G>& V) {...}
相关文章：