C++习题：模板函数如何得知参数是智能指针还是裸指针

题目

其中，p和op为裸指针，sp为智能指针，问fun()函数如何判断参数是裸指针还是智能指针。

template<typename T>
void fun(T& a)
{
	// ???
}

class Object
{
private:
	int value;
public:
	Object(int x = 0) : value(x) {}
	~Object() {}
};

int main(void)
{
	int* p = new int(10);
	Object* op = new Object(20);
	std::shared_ptr<int> sp(new int(30));

	fun(p);
	fun(op);
	fun(sp);
	return 0;
}

编译时

由于是模板函数，那么在编译时，就会生成三个新的函数，分别是：

typedef int* T
void fun<int*>(T& a) {}

typedef Object* T
void fun<Object*>(T& a) {}

typedef std::shared_ptr<int> T
void fun<shared_ptr<int> >(T& a) {}

解决方案

利用模板类的特化和泛化版本解决：

示例：在该模板类里初始化一个静态标记值——初始化为true。
可以在类里初始化的静态变量有三个特性：静态、常性、整型（bool/char/short/int…）。

// 完全泛化版本
template<class T>
struct my_class
{
	static const bool value = true;
};

编写特化版本，表示只接收裸指针的，其标记值初始化为false。

// 特化版本
template<class T>
struct my_class<T*>
{
	static const bool value = false;
};
template<class T>
struct my_class<const T*>
{
	static const bool value = false;
};

那么在fun()函数里判断语句就可以这样写：
利用模板类的value判断，如果为真，说明参数是自己设计的类型或者智能指针，如果为假，就是经过特化后的版本， 只接受裸指针

template<typename T>
void fun(T& a)
{
	if (my_class<T>::value)
	{
		cout << "smart pointer" << endl;
	}
	else
	{
		cout << "raw pointer" << endl;
	}
}

运行示例：