关于模板声明与定义必须放在一起的一种猜测

看看我的试验结果：

#include "tem.h"

int main()
{
    int a = 6;
    func();
}

当然，这里的 func();应该是带一个参数的，这里没写，主要是想看是否查看了tem.h的声明。

可以看到，虽然是模板函数，但是还是在变异的时候查看了声明。

接下来更正函数的调用。

#include "tem.h"

int main()
{
    int a = 6;
    func(a);
}

编译结果：

此时没有编译错误，那么链接一下试试。

看到此时链接的错误是：没有void func<int>(int)它的定义。有点意思，那就看看编译后文件变成什么样了。

src.c文件
。。。。
# 2 "tem.h" 2


# 3 "tem.h"
template<typename T>
void func(T t);
# 2 "src.c" 2

int main()
{
    int a = 6;
    func(a);
}

tem.c文件
。。。。
# 2 "tem.h" 2


# 3 "tem.h"
template<typename T>
void func(T t);
# 2 "tem.c" 2

template<typename T>
void func(T t)
{

}

当main函数传一个void func<int>(int)，tem.c 确实没法找到，因为它的参数全是T

我们换种用法，看看写在一起又是什么情况。

#include <iostream>

template<typename T>
void func(T t);

template<typename T>
void func(T t)
{

}

编译结果：

tem文件
。。。。。
# 2 "tem.h" 2


# 3 "tem.h"
template<typename T>
void func(T t);

template<typename T>
void func(T t)
{

}

# 2 "tem.h" 2


# 3 "tem.h"
template<typename T>
void func(T t);

template<typename T>
void func(T t)
{

}
# 2 "src.c" 2

int main()
{
    int a = 6;
    func(a);
}

看到了吧，后面的变了，直接把函数的实现贴过来了，所以这里就不需要找tem.o文件了，直接调写在自己里面的函数就行了。

我想这里大家应该有个疑问，既然这样比较好，为什么会分.h和.c文件，我想这个主要是为了减少编译后程序的体积，如果所有的代码都在include的文件里面贴一遍，你可以想想编译后的结果有多少重复的代码，体积能不大吗？