模板专门化在Windows上导致与MinGW的链接错误，而不是在Linux上导致与GCC的链接错误

Question

以下构建设置在使用GCC（4.6.3）的Linux上运行良好，但在使用GCC（4.7.2）的MinGW上则不然。

$ cat Makefile 
all:
        g++ -c foo.cpp
        g++ -c bar.cpp
        g++ bar.o foo.o -o bar

$ cat foo.h 
#ifndef FOO_H
#define FOO_H

#include <iostream>

template <typename T>
void foo(T x) {
    std::cout << "Hello World!" << std::endl;
}
#endif

$ cat foo.cpp
#include "foo.h"
template <>
void foo(int x) {
    std::cout << "Hello Int!" << std::endl;
}

$ cat bar.cpp 
#include "foo.h"

int main() {
    foo <int> (1);
}

在 Linux 上，我们有：

$ make
g++ -c foo.cpp
g++ -c bar.cpp
g++ bar.o foo.o -o bar

$ ./bar
Hello Int!

这正是我所期待的。在Windows上，我们有

$ make
g++ -c foo.cpp
g++ -c bar.cpp
g++ bar.o foo.o -o bar
foo.o:foo.cpp:(.text+0x0): multiple definition of `void foo<int>(int)'
bar.o:bar.cpp:(.text$_Z3fooIiEvT_[__Z3fooIiEvT_]+0x0): first defined here
collect2.exe: error: ld returned 1 exit status
make: *** [all] Error 1

我怀疑这和弱符号有关。也就是说，Linux我们在foo. o有

00000000 T _Z3fooIiEvT_

而且在baro

00000000 W _Z3fooIiEvT_

而在Windows上，我们在foo.o中有这样的功能

00000000 T __Z3fooIiEvT_

而且在baro

00000000 T __Z3fooIiEvT_

因此，没有弱符号可以覆盖。

解决这个问题的最好方法是什么？在实际案例中，我有一个头foo. h，其中包含许多模板定义。其中一些，我进行了专门化，并将这些定义放在foo.cpp中，稍后将其编译成一个库。然后，我将头和库交给用户。如果可能，我总是想在foo库中使用专门化。如果专门化不存在，我想在foo头中使用模板定义。

编辑

foo.h的以下修改似乎可以解决问题

$ cat foo.h 
#ifndef FOO_H
#define FOO_H

#include <iostream>

template <typename T>
void foo(T x) {
    std::cout << "Hello World!" << std::endl;
}
template <>
void foo(int x);
#endif

基本上，foo 的 int 版本的原型需要在标头中。这与BoBTFish的注释相吻合，即该标准要求“在首次使用之前应声明专业化”。无论如何，这是设置专业化库的最佳方式吗？

Answer 1

您可以安装（在Windows和Linux上）最新的GCC（今天是4.8.1）并使用C 11的extern模板功能。

Answer 2

我不知道编译器的复杂性，但你违反了标准：

14.7.3明确专业化：

6 如果模板、成员模板或类模板的成员是显式专用的，则该专用化应在首次使用该专用化之前声明，该专用化将导致隐式实例化发生，在发生此类使用的每个翻译单元中;无需诊断。

所以你的程序格式不正确。