重载<<<模板化类中的运算符给出了链接器错误(C ++)

时间:2014-11-29 20:58:47

标签: c++ templates linker operator-overloading

在您提出之前,是的,该函数是在我的模板类的标题中定义的。

这里是Example.h的相关位:

template<class T, class J, const int X, const int Y>
class Example {
    public:
        friend std::ostream& operator<<(std::ostream& s, const Example<T,J,X,Y>& b);
}

template<class T, class J, const int X, const int Y>
std::ostream& operator<<(std::ostream& s, const Example<T,J,X,Y>& b) {
    // stuff
}

我来自main.cpp

void foo(Example<A,B,5,5>& b) {
    std::cout << b;
}

int main() {
    Example<A,B,5,5> b = Example<A,B,5,5>();
    foo(b);
}

编译时,我收到以下链接器错误:

Undefined symbols for architecture x86_64:
  "operator<<(std::__1::basic_ostream<char, std::__1::char_traits<char> >&, Example<A, B, 5, 5> const&)", referenced from:
      foo(Example<A, B, 5, 5>&) in main.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
make[2]: *** [dist/Debug/GNU-MacOSX/consolehero] Error 1
make[1]: *** [.build-conf] Error 2
make: *** [.build-impl] Error 2

1 个答案:

答案 0 :(得分:6)

长话短说:

warning: friend declaration ‘std::ostream& operator<<
(std::ostream&, const Example<T, J, X, Y>&)’ declares a non-template function

您的声明未声明模板函数,因为在实例化时,所有类型都已知。您稍后将其定义为模板函数,并且链接器非常混乱。最简单的方法是在类中定义运算符inline,如

template<class T, class J, const int X, const int Y>
class Example {
    public:
        friend std::ostream& operator<<(std::ostream& s, const Example& b)
        { 
            // stuff here
        }
};

或者,使用

template<class T, class J, const int X, const int Y>
class Example {
    public:
        template<class T1, class J1, const int X1, const int Y1>
        friend std::ostream& operator<<(std::ostream& s, 
                                         const Example<T1,J1,X1,Y1>& b);
};

template<class T1, class J1, const int X1, const int Y1>
std::ostream& operator<<(std::ostream& s, const Example<T1,J1,X1,Y1>& b) {
    // stuff
}

我发现第一种方法更具吸引力。请注意,这两种方法并不相同。在第一种情况下,为每个实例化生成非模板operator<<,而在第二种情况下,operator<<是模板化的,因此只有在使用类型调用它时才生成它通过类型扣除,它的friended类。这是一个相当微妙的观点,我真的不知道什么时候会更喜欢更普遍的第二种方法而不是第一种方法。

PS:有关第一种方法,请参阅http://en.cppreference.com/w/cpp/language/friend 模板朋友操作员,以获得更多说明。引用它:

这样的运算符可以在类体中定义,其具有生成单独的非模板运算符&lt;&lt;对于每个T并使该非模板运算符&lt;&lt; Foo的朋友

所以,基本上,像

这样的类定义
friend std::ostream& operator<<(std::ostream& s, const Example& b){}

相当于

friend std::ostream& operator<<(std::ostream& s, const Example<T,J,X,Y>& b){}