Export Restrictions

Export Restrictions:

版本一（分离编译模式）：
对于一般函数：
//---file f.h
namespace MyLib
{
    void f(int);
}

//---file f.cpp
namespace MyLib
{
    void f(int){}
}

对于模板函数：
//---file g.h
namespace MyLib
{
    export templte<typename T>
    void g(T&);
}

//---file g.cpp
namespace MyLib
{
    template<typename T>
    void g(T&){}
}

版本二（包含编译模式）：
对于一般函数：
//---file f.h
namespace MyLib
{
    inline void f(int){}
}

对于模板函数：
//---file g.h
namespace MyLib
{
    template<typename T>
    void g(T&){}
}

C++对模板的编译模式包括两种：包含编译模式(inclusion model)与分离编译模式(separation model)
所谓包含编译模式，就是在每个模板被实例化的文件中包含函数模板的定义，并且把定义放到头文件中, 如：
//---file f1.h
namespace MyLib
{
    template<typename Type>
    void f(Type){}
}

//---file f1.cpp
#include "f1.h"
f(int);
在每一个使用f函数的文件都包含头文件，这样便意味着编译器将会不断地调用头文件以实例化模板函数，这有两个缺点：第一点，源代码暴露在头文件中；第二点，如果将来对模板函数进行了修改，那么所有引用该模板函数的文件将会重新被编译，以获得正确的实例。

在分离编译模式下，函数模板的声明被放在头文件中，而其定义则在源文件中，分离编译模式允许在一处翻译单元中定义函数、类型、类对象等，在另一处翻译单元引用它们。编译器处理完所有翻译单元后，链接器接下来处理所有指向 extern 符号的引用，从而生成单一可执行文件。

然而该模式却驯不服模板。标准要求编译器在实例化模板时必须在上下文中可以查看到其定义实体；而反过来，在看到实例化模板之前，编译器对模板的定义体是不处理的——原因很简单，编译器怎么会预先知道 typename 实参是什么呢？因此模板的实例化与定义体必须放到同一翻译单元中。

这是一个很难的难点。
Export Restrictions:

版本一（分离编译模式）：
对于一般函数：
//---file f.h
namespace MyLib
{
    void f(int);
}

//---file f.cpp
namespace MyLib
{
    void f(int){}
}

对于模板函数：
//---file g.h
namespace MyLib
{
    export templte<typename T>
    void g(T&);
}

//---file g.cpp
namespace MyLib
{
    template<typename T>
    void g(T&){}
}

版本二（包含编译模式）：
对于一般函数：
//---file f.h
namespace MyLib
{
    inline void f(int){}
}

对于模板函数：
//---file g.h
namespace MyLib
{
    template<typename T>
    void g(T&){}
}

C++对模板的编译模式包括两种：包含编译模式(inclusion model)与分离编译模式(separation model)
所谓包含编译模式，就是在每个模板被实例化的文件中包含函数模板的定义，并且把定义放到头文件中, 如：
//---file f1.h
namespace MyLib
{
    template<typename Type>
    void f(Type){}
}

//---file f1.cpp
#include "f1.h"
f(int);
在每一个使用f函数的文件都包含头文件，这样便意味着编译器将会不断地调用头文件以实例化模板函数，这有两个缺点：第一点，源代码暴露在头文件中；第二点，如果将来对模板函数进行了修改，那么所有引用该模板函数的文件将会重新被编译，以获得正确的实例。

在分离编译模式下，函数模板的声明被放在头文件中，而其定义则在源文件中，分离编译模式允许在一处翻译单元中定义函数、类型、类对象等，在另一处翻译单元引用它们。编译器处理完所有翻译单元后，链接器接下来处理所有指向 extern 符号的引用，从而生成单一可执行文件。

然而该模式却驯不服模板。标准要求编译器在实例化模板时必须在上下文中可以查看到其定义实体；而反过来，在看到实例化模板之前，编译器对模板的定义体是不处理的——原因很简单，编译器怎么会预先知道 typename 实参是什么呢？因此模板的实例化与定义体必须放到同一翻译单元中。

这是一个很难的难点。这也太高深了，现在C++标准委员会都没有解决，并且VS2010及GCC都不支持，我把这一章要跳过去了。C++水太深了。