Question

我正在构建一个库来处理几种不同类型的二进制＆＃34;语言＆＃34;，它有一个＆＃34;处理器＆＃34;每种语言的类型。该库构建良好，到目前为止，我已将该问题缩小到以下模板代码：

// Processor.h
template <class A, class B = DefaultProcessor>
class Processor
{
    public:
        // Default constructor.
        Processor(void);

        // Constructor from DefaultProcessor pointer type.
        Processor(B* pB);

        virtual ~Processor(void){};

        // Dereferencing operator
        A* operator->(void) const;
    private:
        A* pRawPointer;
};


// Processor.cpp
template <class A, class B>
A* Processer<A, B>::operator->(void) const
{
    if (nullptr == pRawPointer)
    {
        throw();
    }
    return pRawPointer;
}

// Constructor from DefaultProcessor pointer type.
template <class A, class B>
Processor<A, B>::Processor(B* pB)
: pRawPointer(dynamic_cast<A*>(pB))
{

}

我有几十个不同的类支持，在我的库中，我有一长串显式实例化：

template class Processor<CustomType1>;
template class Processor<CustomType2>;
template class Processor<CustomType3>;
template class Processor<CustomType1, CustomType2>;
template class Processor<CustomType4>;
template class Processor<CustomType5>;
template class Processor<CustomType6>;

当我尝试构建链接到我的库的应用程序时，在通过g++ -Wall -std=c++11进行编译时遇到以下错误，但在Visual Studio 2015中没有任何问题：

undefined reference to `Processor<CustomType4, DefaultProcessor>::Processor(DefaultProcessor*)'
undefined reference to `Processor<CustomType4, DefaultProcessor>::operator->() const'
undefined reference to `Processor<CustomType5, DefaultProcessor>::Processor(DefaultProcessor*)'
undefined reference to `Processor<CustomType5, DefaultProcessor>::operator->() const'

在Linux中构建时，几乎就好像没有完全生成显式实例化一样。我尝试通过以下方式在库中实例显式实现：

template class Processor<CustomType4, DefaultProcessor>;
template class Processor<CustomType5, DefaultProcessor>;

由于重复的显式实例化，这只会导致库无法构建。

什么会导致此问题仅在Linux版本中出现？

谢谢。

Answer 1

您的模板未定义接受DefaultProcessor *作为参数的构造函数，因此显然未定义。

您的显式实例化必须存在于定义默认构造函数和operator->的实现的同一文件中。否则，这些方法将不会被实例化。

我通过在定义模板的文件顶部定义一些虚拟类来测试您的代码。

struct DefaultProcessor { virtual ~DefaultProcessor() {} };
struct CustomType2 : DefaultProcessor {};
struct CustomType1 : CustomType2 {};
struct CustomType3 : DefaultProcessor {};
struct CustomType4 : DefaultProcessor {};
struct CustomType5 : DefaultProcessor {};
struct CustomType6 : DefaultProcessor {};

在具有模板方法定义的C ++文件的底部，我添加了显式定义。然后我编译了这样的代码：

g++ -fPIC -std=c++0x -c t.cc
g++ -shared -o t.so t.o

要观察实例化是否卡住，我使用了nm和c++filt。以下是包含CustomType1的符号：

0000000000002a06 W Processor<CustomType1, CustomType2>::Processor(CustomType2*)
0000000000002a06 W Processor<CustomType1, CustomType2>::Processor(CustomType2*)
0000000000002a9c W Processor<CustomType1, CustomType2>::~Processor()
0000000000002a66 W Processor<CustomType1, CustomType2>::~Processor()
0000000000002a66 W Processor<CustomType1, CustomType2>::~Processor()
00000000000026dc W Processor<CustomType1, DefaultProcessor>::Processor(DefaultProcessor*)
00000000000026dc W Processor<CustomType1, DefaultProcessor>::Processor(DefaultProcessor*)
0000000000002772 W Processor<CustomType1, DefaultProcessor>::~Processor()
000000000000273c W Processor<CustomType1, DefaultProcessor>::~Processor()
000000000000273c W Processor<CustomType1, DefaultProcessor>::~Processor()
0000000000002ac2 W Processor<CustomType1, CustomType2>::operator->() const
0000000000002798 W Processor<CustomType1, DefaultProcessor>::operator->() const

在G ++

1 个答案: