参数化模板方法的显式实例化

Question

我有两个不同的模板类，其中一个使用另一个模板类的对象作为参数。我收到一条错误消息：      collect2：ld返回1退出状态      make： * [main]错误1

我正在使用模板的显式实例化，我发现了一些相关的帖子，但它们主要与一个模板类的实例化有关。就我而言，每个类我有3个文件（.h，.cpp，.inc遵循http://www.parashift.com/c++-faq/templates.html#faq-35.13建议）。

foo.h中

 #ifndef FOO_H
 #define FOO_H
 template < class S >
 class Foo{
    public: ...
    private: ... 
 };
 #endif

Foo.cpp中

  ...
  template < class S >
  Foo<S>::Foo(){ .... }
  ...
  #include "foo.inc"

foo.inc

 template class Foo<int>;
 template class Foo<float>;

bar.h

 #ifndef BAR_H
 #define BAR_H
 #include <mylib.h>
 template < class T >
 class Bar{
    public: ...
           template <class S>
           void doSomething(Foo<S>*);
    private: ... 
 };
 #endif

bar.cpp

  ....
  template <class T> template <class S>
  void Bar<T>::doSomething(Foo<S>*p){
      ....
  }
  .....
  #include "bar.inc"

bar.inc

 template class Bar<int>;
 template class Bar<float>;
 template void Bar<int>::doSomething(Foo<int>*);
 template void Bar<float>::doSomething(Foo<float>*);

mylib.h

 #include <foo.h>
 #include <bar.h>

的main.cpp

#include <mylib.h>
#include <common.h>

int main(){
    Foo<float> * pFoo = NULL;
    pFoo = new Foo<float>();

    Bar<float> * pBar = NULL;
    pBar = new Bar<float>();
    pBar->doSomething(pFoo);

    delete pFoo;
    delete pBar;

    return (0);
}

有没有人在我实例化对象的方式上看到任何问题/错误？完整的错误消息是（我更改了类的名称并简化了代码以便更容易理解）：

 g++ -O3 -Wall main.cpp -o ../bin/main -I../inc -L../lib -lmylib -lm
 /tmp/cciJHsKr.o: In function `main':
 main.cpp:(.text+0x19f): undefined reference to `void Bar<float>::doSomething<float>(Foo<float>*)'
 collect2: ld returned 1 exit status
 make: *** [main] Error 1

请注意，我分别编译了foo.cpp和bar.cpp，因为我正在生成一个库。

 // Makefile for foo.cpp & bar.cpp
 INC=./inc
 SRC=./src
 LIB=./lib
 OBJ=./obj

 CC=g++
 CFLAGS=-O3 -Wall

 mylib: $(LIB)/mylib.a
      echo "mylib was created!..."

 $(LIB)/mylib.a: \
 $(OBJ)/bar.o \
 $(OBJ)/foo.o 
ar csr $(LIB)/mylib.a \
 $(OBJ)/bar.o \
 $(OBJ)/foo.o \


 $(OBJ)/bar.o: $(SRC)/bar.cpp
      $(CC) -c $(CFLAGS) $(SRC)/bar.cpp -I$(INC) \
      -o $(OBJ)/bar.o

Answer 1

我解决了这个问题！

bar.h

#ifndef BAR_H
#define BAR_H
#include <mylib.h>
template < class T >
class Bar{
    public: ...
       template <class fooType>
       void doSomething(fooType*);
    private: ... 
};
#endif

bar.cpp

#include <bar.h>
#include <foo.h>
...
...
template <class T> template <class fooType>
void Bar<T>::doSomething(fooType*p){
  ....
}
.....
#include "bar.inc"

bar.inc

#include <foo.h>

template class Bar<int>;
template class Bar<float>;
template void Bar<int>::doSomething(Foo<int>*);
template void Bar<float>::doSomething(Foo<float>*);

Answer 2

目前我还没有设置GCC的环境，所以我在这里失明。

您的代码似乎存在一些问题（正如我的心理编译器所看到的那样）。

1. 在bar.cpp中，您没有确定doSomething()函数的范围。鉴于它已在单独的标题中声明，您需要Bar::doSomething()。鉴于Bar是模板化的，您还需要提供绑定，即Bar<T>::doSomething()。

2. 在bar.cpp中，模板绑定似乎是错误的方式（在你的例子中它们可以是任意的，但是），为了澄清我会改变它们以便它是如下：{{1} }

3. 最后template <class T> template <class S> void Bar<T>::doSomething(Foo<S>*p){ ... }有一个问题，因为你没有在堆上创建一个main()对象 - 我认为编译器应该抓住这个（将Foo赋给{ {1}}）。我猜你刚刚错过Foo关键字了。 Foo*