使用模板重载+运算符

Question

嘿，我收到链接器错误LNK2019：尝试使用重载+运算符时未解析的外部符号。 我会告诉你从课堂上剪掉它，以及我是如何使用它的。 如果你需要了解更多，请告诉我，我只是想让事情变得简洁。

/** vec.h **/
#ifndef __VEC_H_
#define __VEC_H_

#include <iostream>
#include <vector>

namespace xoor{

    template<typename T> 
    class vec{

    public:
        inline friend vec<T> operator + (const vec<T>&, const vec<T>&);
        inline const vec<T>& operator += (const vec<T>&);

    private:
        std::vector<T> m_index;
    }; // Vec.


    template<typename T> 
    vec<T>& operator + (const vec<T>& a, const vec<T>& b){
        vec<T> product = a;
        product += b;

        return product;
    } // Addition.

    template<typename T> 
    const vec<T>& vec<T>::operator += (const vec<T>& v){
        for (unsigned short i =0; i < m_index.size(); ++i){
            if (i >= v.size())
                break;
            m_index[i] += v.getIndex()[i];
        }

        return * this;
    } // Addition Compound.


} // xoor

#endif // __VEC_H_

请注意，我也有[]重载，所以我只是用它来访问部分m_index。 getIndex（）只返回m_index。 而size（）返回m_index.size（）

/** main.cpp **/

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

void testHook();

int main(){
    testHook();
    system("PAUSE");
    return 0;
}

void testHook(){
    using namespace xoor;
    vec<double> vA(3); // passing 3 for 3 elements
    vec<double> vB(3);

    // v + v
    std::cout << "\n\tA + B = ";
    vec<double> vAB(3);
    vAB = vA + vB; // PRODUCES THE LNK2019
    vAB.print(std::cout); // Outputs the vec class to the console.
}

错误信息：

Error   1   error LNK2019: unresolved external symbol "class xoor::vec<double> __cdecl xoor::operator+(class xoor::vec<double> const &,class xoor::vec<double> const &)" (??Hxoor@@YA?AV?$vec@N@0@ABV10@0@Z) referenced in function "void __cdecl testHook(void)" (?testHook@@YAXXZ)    main.obj

更新：

以下内容现在直接位于类定义之上。 我继续得到相同的链接器错误，如上所述。

    template<typename T> 
    class vec;

    template<typename T> 
    vec<T> operator + (const vec<T>&, const vec<T>&); 

---

更新2：解决方案。

以上更新不正确。 sbi的解决方案确实有效，我只是按照以下方式对运营商进行了模板化。

    template<typename T> 
    vec<T> operator +<T> (const vec<T>&, const vec<T>&); 

sbi和大卫正在讨论为什么我首先使用朋友。 最初我使用它们，因为你不能将两个参数传递给一个重载的二元运算符，比如+，并立即寻求朋友作为解决方案。 事实证明，您仍然可以使用单个参数轻松使用二元运算符。 这是最终的解决方案。

// ...
template<typename T> 
class vec{
    public:
    const vec<T> operator + (const vec<T>&, const vec<T>&)const;
    // ...

}; // Vec.

template<typename T> 
const vec<T> vec<T>::operator + (const vec<T>& v)const{
    matrix<T> product = *this;
    vec(product += v);
} // Addition.

此外，对于其他读这篇文章的人来说，在他的答案底部查看sbi的笔记是值得的。 我一直在做的一些事情是多余的。

感谢大家的帮助。 快乐的编码。

Answer 1

这里的返回类型：

inline friend vec<T> operator + (const vec<T>&, const vec<T>&);

在这里不匹配：

template<typename T> 
    vec<T>& operator + (const vec<T>& a, const vec<T>& b){
        vec<T> product = a;
        product += b;

        return product;
    } // Addition.

Answer 2

为了成为模板的朋友，我认为您需要在要与之建立联系的类定义之前声明该模板。 但是，要编译此声明，您需要转发声明类模板。 所以这应该工作：

 
 
 
  
  template<typename T> class vec; template<typename T> vec<T> operator + (vec<T>, const vec<T>&); template<typename T> class vec{ public: friend vec<T> operator +<T> (vec<T>, const vec<T>&); // ...
 
  

这是 operator+()函数模板的特定实例，即 operator+<T> 。 （您还可以与模板的所有实例建立联系：

 
 
 
  
  // no forward declarations necessary template<typename T> class some_class { template<typename U> friend void f(vec<U>&); // ... };
 
  

然而，这比另一个更不常用。）

编辑：大卫的评论让我思考（应该从一开始就做到这一点！）并导致发现friend声明是不必要的 。 您的operator+仅使用vec （ operator+= ）的一个public成员函数，因此不需要是该类的friend 。 所以上面会简化到

 template<typename T> class vec{ public: // ... }; template<typename T> vec<T> operator + (vec<T> a, const vec<T>& b){ a += b; return a; } 

---

这里还有一些注意事项：

• operator+() （你很好地在operator+=() ，BTW之上实现）应该在每个副本中使用它的左参数。
• 不要将函数声明为inline ，因此定义它们。
• 有operator+=()返回一个非const参考，因为每个人都希望f(m1+=m2)即使工作f()接受其参数为一个非const参考。
• 在类模板内部，在大多数地方，您可以在引用类时省略模板参数列表。 所以你可以说vec& operator += (const vec&); 。 （但是，您不能在模板外部执行此操作 - 例如，在类之外定义该运算符时。）
• std::vector的索引类型拼写为std::vector<blah>::size_type ， 而不是 unsigned short 。