C++11 外部模板：我们在哪里真正需要它们？

在 C++03 中我们有模板显式实例化定义 (template class Foo<int>) 强制实例化模板类。

在 C++11 中我们有模板显式实例化声明 (extern template class Foo<int>）这应该防止模板类的隐式实例化。 （类模板实例化 http://en.cppreference.com/w/cpp/language/class_template)

我试图模拟我实际上需要显式实例化声明以减少编译时间的情况。但我不能。看起来没有这个功能一切都可以工作（或者不使用它）。

这是一个例子：

//Foo.h
#pragma once
template<class T>
class Foo
{
    T inst;
public:
    Foo(T i);
    T& get() const;
};


//Foo.cpp
#include "stdafx.h"
#include "Foo.h"

template<class T>
Foo<T>::Foo(T inst) : inst(inst) { }

template<class T>
T& Foo<T>::get() const { return inst; }

template class Foo<int>; //explicit instantiation definition


//test1.h
#pragma once
#include "Foo.h"

//This line does not work
//extern template class Foo<int>; //explicit instantiation declaration.

void baz();


//test1.cpp
#include "stdafx.h"
#include "test1.h"

void baz()
{
    Foo<int> foo(10);
    int i = foo.get();
}

结果does not取决于我是否评论（extern template class Foo<int>;）行与否。

以下是两个 *.obj 文件的符号：

dumpbin /SYMBOLS test1.obj

011 00000000 UNDEF notype () 外部 | ??0?$Foo@H@@QAE@H@Z（公共：__thiscall Foo::Foo(int)）'

012 00000000 UNDEF notype () 外部 | ?get@?$Foo@H@@QBEHXZ （公共：int __thiscall Foo::get(void)const ）

013 00000000 SECT4 notype () 外部 | ?baz@@YAXXZ (void __cdecl baz(void))

...

dumpbin /SYMBOLS Foo.obj

017 00000000 SECT4 notype () 外部 | ??0?$Foo@H@@QAE@H@Z（公共：__thiscall Foo::Foo(int)）

018 00000000 SECT6 notype () 外部 | ?get@?$Foo@H@@QBEHXZ （公共：int __thiscall Foo::get(void)const ）

注意什么Foo<int>::Foo<int>(int) and int Foo<int>::get(void)const标记为UNDEF在 test1.obj 中，这意味着它们必须在其他地方解析（即 Foo 仅编译一次）。

尝试#2：

如果我在 Foo.h 文件中定义完整模板（without显式实例化定义）然后extern template没有帮助 - 模板编译两次（在 test1.cpp 和 test2.cpp 中）。

例子：

//test1.h
#pragma once
#include "Foo.h"
void baz();


//test1.cpp
#include "stdafx.h"
#include "test1.h"
void baz()
{
    Foo<int> foo(10); //implicit instantiation of Foo<int>
    int i = foo.get();
}


//test2.h
#pragma once
#include "Foo.h"
extern template class Foo<int>;
void bar();


//test2.cpp
#include "stdafx.h"
#include "test2.h"
void bar()
{
    Foo<int> foo(10); //should refer to Foo<int> from test1.obj but IT IS NOT
    int i = foo.get();
}

以下是符号转储：

dumpbin /SYMBOLS test2.obj

01D 00000000 SECT4 notype () 外部 | ??0?$Foo@H@@QAE@H@Z（公共：__thiscall Foo::Foo(int)）

01E 00000000 SECT8 notype () 外部 | ?get@?$Foo@H@@QBEHXZ （公共：int __thiscall Foo::get(void)const ）

01F 00000000 SECT6 notype () 外部 | ?bar@@YAXXZ (void __cdecl bar(void))

dumpbin /SYMBOLS test1.obj

01D 00000000 SECT6 notype () 外部 | ?baz@@YAXXZ (void __cdecl baz(void))

01E 00000000 SECT4 notype () 外部 | ??0?$Foo@H@@QAE@H@Z（公共：__thiscall Foo::Foo(int)）

01F 00000000 SECT8 notype () 外部 | ?get@?$Foo@H@@QBEHXZ （公共：int __thiscall Foo::get(void)const ）

在 Foo 提供的两个 *.obj 文件中。

所以我的问题是显式实例化声明的用处是什么？或者也许我在测试中遗漏了一些东西？

我用的是VS2013编译器。

这是为什么 ATTEMPT#2 不能按我想要的方式工作的一个很好的解释：Visual C++ 中的 extern 模板是否存在错误？ https://stackoverflow.com/questions/12650737/is-there-a-bug-with-extern-template-in-visual-c

简而言之，当您在头文件中定义和实现模板时，编译器可能会内联它。然后它执行显式实例化定义按标准不起作用（14.7.2/10“显式实例化”）。

所以我们需要强制编译器不内联模板。例如，在声明之后立即实施它。

template<class T>
class Foo {
   ...
   T get() const;
};

template<class T>
T Foo<T>::get() const
{ ... }