原文
模板还可用来解耦.
看这样一个场景:

类 连接 {
公:空 发送() {//干活输出<<缓冲_<<"\n";//...}
私:串 缓冲_;
};

有这样一个连接对象,它里面有个发送函数,发送的逻辑比较复杂(这里省略具体逻辑),然后刚好另外一个A对象可复用这部分代码,于是就把发送的业务逻辑封装到另外一个助手对象中,助手对象需要访问连接对象的缓冲_字段,而A对象也有这样一个缓冲_字段,所以连接和A对象都能调用助手的发送方法,从而达到复用的目的.

#包含 "助手.h++"
类 连接 {
公:空 发送() {助手 帮助(本);帮助.发送();}
私:友 类 助手;//助手.串 缓冲_;
};

把助手设置为友,是为了让助手访问私有的缓冲_字段.再看看助手代码.

#包含 "连接.h++"
类 助手 {
公:助手(连接*连接):缓冲_(连接->缓冲_) {}空 发送(){输出<<缓冲_<<"\n";}
私:串& 缓冲_;
};

但是这样写该代码是编译不过的,因为两个对象依赖相互引用头文件了.要去掉相互依赖.
该叫出模板了!

元<类 T>类 助手{
公:助手(T*t):缓冲_(t->缓冲_){}空 发送(){输出<<缓冲_<<"\n";}
私:串&缓冲_;
};

助手不再引用连接的头文件,而是通过模板来泛化有缓冲_的对象,它不再关心具体的对象,它只关心该对象是否存在缓冲_字段.

#包含 "助手.h++"
类 连接 {
公:空 发送() {助手 帮助(本);帮助.发送();}
私:友 类 助手<连接>;串 缓冲_;
};
#包含 "助手.h++"
类 A {
公:空 发送() {助手 帮助(本);帮助.发送();}
私:友 类 助手<A>;串 缓冲_;
};

低版本编译器可能在这一行代码编译不过:

助手 帮助(本);

因为助手是一个需要填模板参数的模板类.此时可用C++17的推导来消除该模板参数:

元<类 T>类 助手 {
公:助手(T*t):缓冲_(t->缓冲_){}空 发送(){输出<<缓冲_<<"\n";}
私:串&缓冲_;
};
元<类 T>
助手(T*t)->助手<T>;//推导

这样连接和A就能复用相同逻辑了,而且也不会产生相互依赖,解开了耦合.模板还可解耦.