4

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

在 C++11 中，我们有模板显式实例化声明( extern template class Foo<int>)，它应该防止模板类的隐式实例化。（类模板实例化）

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

这是一个例子：

//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();
}

结果不取决于我是否评论 ( extern template class Foo<int>;) 行。

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

转储箱 /SYMBOLS test1.obj

011 00000000 UNDEF notype () 外部 | ??0?$Foo@H@@QAE@H@Z (public: __thiscall Foo::Foo(int))'

012 00000000 UNDEF notype () 外部 | ?get@?$Foo@H@@QBEHXZ (public: int __thiscall Foo::get(void)const )

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

...

转储箱 /SYMBOLS Foo.obj

017 00000000 SECT4 notype () 外部 | ??0?$Foo@H@@QAE@H@Z (public: __thiscall Foo::Foo(int))

018 00000000 SECT6 notype () 外部 | ?get@?$Foo@H@@QBEHXZ (public: int __thiscall Foo::get(void)const )

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

尝试#2：

如果我在 Foo.h 文件中定义完整的模板（没有明确的实例化定义），那么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();
}

以下是符号转储：

转储箱 /SYMBOLS test2.obj

01D 00000000 SECT4 notype () 外部 | ??0?$Foo@H@@QAE@H@Z (public: __thiscall Foo::Foo(int))

01E 00000000 SECT8 notype () 外部 | ?get@?$Foo@H@@QBEHXZ (public: int __thiscall Foo::get(void)const )

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

转储箱 /SYMBOLS test1.obj

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

01E 00000000 SECT4 notype () 外部 | ??0?$Foo@H@@QAE@H@Z (public: __thiscall Foo::Foo(int))

01F 00000000 SECT8 notype () 外部 | ?get@?$Foo@H@@QBEHXZ (public: int __thiscall Foo::get(void)const )

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

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

我使用 VS2013 编译器。

4

1 回答 1

0

这是一个很好的解释为什么 ATTEMP#2 不能按我的意愿工作： Visual C++ 中的外部模板是否存在错误？

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

所以我们需要强制编译器不要内联模板。例如，通过在声明之后执行它。

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

template<class T>
T Foo<T>::get() const
{ ... }
于 2016-11-26T14:22:50.763 回答