class type_info {
	private:
		type_info(const type_info &);
		type_info &operator=(const type_info &);
	public:
		const char *name();
	...
};

type_info &t = typeid(p);