C++模板与对象代码实例化

this question .

据我所知,基于模板的类和函数通常放在头文件中。这是由于管理泛型数据类型的技术问题造成的,这些数据类型的特性在原则上是未知的。一旦知道它们,编译器就可以生成适合所需数据类型的可执行代码。

在头文件中 something.h ,我们的班级定义如下:

template <typename T>
class Something
{
    public:
        void setElement (T &elem) {
            element = elem;
        }
        T getElement () {
            return element;
        }
    private:
        T element;
};

下面的类定义将用 什么的。h :

template <typename T>
class Something
{
    public:
        void setElement (T &elem);
        T getElement ();
    private:
        T element;
};

以下方法将在 something.cpp

#include "something.h"

template <typename T>
void Something<T>::setElement (T &elem)
{
    element = elem;
}

template <typename T>
T Something<T>::getElement ()
{
    return element;
}

除非我们在里面声明一些特定的类型实例

dacav@mithril:<tmp>$ g++ something.cpp  -c
dacav@mithril:<tmp>$ objdump -D something.o 

something.o:     file format elf64-x86-64


Disassembly of section .comment:

0000000000000000 <.comment>:
   0:   00 47 43                add    %al,0x43(%rdi)
   3:   43 3a 20                rex.XB cmp    (%r8),%spl
...
...
  20:   34 2e                   xor    $0x2e,%al
  22:   31 00                   xor    %eax,(%rax)
dacav@mithril:<tmp>$

As Martin York shows 我们可以强制编译器为某些特定的数据类型生成代码,以便控制哪些类型可以使用,哪些类型不能使用。但如果我们不想受到任何限制呢?