Sun Studio 12 Update 1:C++ 用户指南

5.2 模板定义

可以用两种方法组织模板定义: 使用包括的定义和使用独立的定义。包括的定义组织允许对模板编译进行更多的控制。

5.2.1 包括的模板定义

在将模板的声明和定义放在使用该模板的文件中时,组织是包括定义的组织。例如:

main.cc


template <class Number> Number twice(Number original);
template <class Number> Number twice(Number original )
    { return original + original; }
int main()
    { return twice<int>(-3); }

使用模板的文件包括了包含模板声明和模板定义的文件时,使用模板的该文件的组织也是包括定义的组织。例如:

twice.h


#ifndef TWICE_H
#define TWICE_H
template <class Number>
Number twice(Number original);
template <class Number> Number twice( Number original )
    { return original + original; }
#endif

main.cc


#include “twice.h”
int main()
    { return twice(-3); }

注 –

使模板头文件幂等是非常重要的。(请参见5.1.2 幂等头文件。)


5.2.2 独立的模板定义

另一种组织模板定义的方法是将定义保留在模板定义文件中,如以下示例所示。

twice.h


#ifndef TWICE_H
#define TWICE_H
template <class Number>
Number twice(Number original);
#endif TWICE_H

twice.cc


template <class Number>
Number twice( Number original )
    { return original + original; }

main.cc


#include “twice.h”
int main( )
    { return twice<int>( -3 ); }

模板定义文件不得包括任何非幂等头文件,而且通常根本不需要包括任何头文件。(请参见5.1.2 幂等头文件。)请注意,并非所有编译器都支持模板的独立定义模型。

一个单独的定义文件作为头文件时,该文件可能会被隐式包括在许多文件中。因此,它不应该包含任何函数或变量定义(除非这些定义是模板定义的一部分)。一个单独的定义文件可以包含类型定义,包括 typedef。


注 –

尽管通常会使用模板定义文件的源文件扩展名(即 .c.C.cc.cpp.cxx.c++),但模板定义文件是头文件。如果需要,编译器会自动包括它们。模板定义文件应单独编译。


如果将模板声明放置在一个文件中,而将模板定义放置在另一个文件中,则必须仔细考虑如何构造定义文件,如何命名定义文件和如何放置定义文件。此外也需要向编译器显式指定定义的位置。有关模板定义搜索规则的信息,请参阅7.5 模板定义搜索