1

我试图让乘法运算符成为名为 TVector3 的模板类的朋友。我已经读过我可以在类声明中声明之前对朋友函数进行前向声明，但是我这样做的尝试是徒劳的。我知道我可以简单地定义朋友函数而不是声明它，但我希望它与前向声明技术一起使用。

特别是我试图为我的案例实施这个解决方案。我也发现这篇文章是 David Rodriguez 给出了一个解决方案（第三版），但我不知道我做错了什么。

我使用' g++ template.cpp tempmain.cpp a '进行编译，编译器（g++）给出以下错误：

未定义对 'ray::TVector3 ray::operator*(float, ray::TVector3 const&)' 的引用

对于以下代码：

模板.h：

#ifndef TVECTOR_H
#define TVECTOR_H

#include <cmath>

namespace ray
{
    //forward declarations
    template <class T> class TVector3;
    template <class T> TVector3<T> operator* (T, const TVector3<T> &);

    template <class T>
    class TVector3 {

        public:
            union {
                struct {
                    T x, y, z;
                };
                T xyz[3];
            };

        //function needed
        friend TVector3<T> operator*<T> (T, const TVector3<T> &);
    };

}

#endif

模板.cpp：

#include "template.h"

using namespace ray;

//friend operator function
template<class T> TVector3<T> operator * (T f, const TVector3<T> &v)
{
    return TVector3<T>(f * v.x, f * v.y, f * v.z);
}

//instantiate template of type float
template class TVector3<float>;

tempmain.cpp：

#include <iostream>
#include "template.h"

int main()
{
    ray::TVector3<float> v1, v2;

    v2.x = 3;
    v1 = 4.0f * v2; //this reports as undefined

    std::cout << v1.x << "\n";

    return 0;
}

那是完整的源代码。我究竟做错了什么？

4

2 回答 2

4

作为一般经验法则，模板应在标题中定义。如果在 cpp 文件中定义它们，则需要手动实例化模板。您正在为类模板执行此操作，但您没有实例化operator*模板。

template TVector3<T> operator*<T> (T, const TVector3<T> &);

此外，我建议不要使用模板，而是operator*通过在类模板中声明和定义它来使用非模板自由函数：

template <class T>
class TVector3 {
//function needed
    friend TVector3<T> operator*(T f, const TVector3<T> & v) {
       return TVector3<T>(f * v.x, f * v.y, f * v.z);
    }
};

这具有自由函数（它允许对第一个参数进行转换）和模板（它将按需生成自由函数——即无需手动提供所有实现）以及有限的可见性（它只会可通过 ADL 进行查找）

于 2012-08-29T22:23:40.660 回答
0

你应该显式实例化 operator* 并且它像这样工作

using namespace ray;

//friend operator function
template<class T> TVector3<T> ray::operator * (T f, const TVector3<T> &v)
{
    return TVector3<T>(f * v.x, f * v.y, f * v.z);
}

//instantiate template of type float
template class TVector3<float>;
template TVector3<float> ray::operator*<float>( float, TVector3<float> const& );

请记住，如果您operator*代替ray::operator*编译器编写，则无法知道您的意思ray::operator*，并且您没有在全局命名空间中声明新的运算符！

并且不要忘记定义TVector3( T x_, T y_, T z_ ):)

于 2012-08-29T23:24:58.820 回答