最近看到一段代码，感觉非常trick，但也非常有意思，写出来记录一下。
背景是这样的，有一个模板函数 copy_assign ，其作用非常简单，就是将第二参数“拷贝”给第一个参数，但是为了对能够进行深拷贝的类型进行深拷贝，希望的行为是这样的：
如果T有成员函数int assign(const T &)，则调用dest.assign(src)，并以assign函数的返回值作为返回值；
如果T没有成员函数int assign(const T &)，则调用dest=src，并返回0。
函数的原型如下：
|
1 2 |
template <typename T> inline int copy_assign(T &dest, const T &src); |
并且为了降低运行时开销，我们希望这一切是在编译期确定的，所以我们需要在编译期就能够确定类型T是否有assign成员函数，并且根据结果指定对应的行为。