C++类通过模板成员函数实现任意类实例的函数调用

最近设计中遇到比较挠头的一个问题，就是如何通过类模板成员函数（由于设计需要，难以通过模板类实现）实现多种类型的访问，先给出问题在哪里，用一个简单的例子说明，例子如下：

class Dog {
	int age;
	std::string name;
public:
	void init(std::string dname, int dage) {
		name = dname;
		age = dage;
	}
	void print() {
		std::cout << "dog " << name << " age " << age << std::endl;
	}
};

class Cat {
	int age;
	std::string name;
public:
	void init(std::string dname, int dage) {
		name = dname;
		age = dage;
	}
	void print() {
		std::cout << "cat " << name << " age " << age << std::endl;
	}
};
class PrintCla {
	public:
	template<typename T>
	void print(T* animal) {
		ainmal->print();
	}
};
int main() {
	Dog dog;
	dog.init("dd", 12);
	Cat cat;
	cat.init("cc", 13);
	PrintCla printcla;
	printcla.print(&cat);
    return 0;
}

这里由于某些原因我们无法使用模板类，所以只能使用模板成员函数的方法，这段代码会报找不到标识符animal的错误，这是因为编译器无法适配此模板函数的调用animal->print()。这种方法目前来说是无法走通的，也就是说如果我们希望以模板传参的方式来传入某个类实例指针，然后在函数里面实现实例某个函数的调用是无法实现的。那么是否有其他的方法呢? 方法会稍微复杂一些，但可以实现，这里我们使用了std::any的方法，std::any可以保存任意类型的值，我们首先来借助于此思路基于我们的功能来实现这样的一个struct：

struct Any {
	template<typename T>
	Any(T* animal) : ptr{ new Data<T>(animal) } {};
	// Base struct
	struct Base {
		virtual void print() = 0;
	};
	// Derivecd struct
	template<typename T>
	struct Data : Base {
		T* animal;
		virtual void print() {
			animal->print();
		}
		Data(T* animal) : animal(animal) {}
	};
	Base* ptr;
	// function for Any.
	void print() { ptr->print(); }
	~Any() {
		if (ptr) delete ptr;
	}
};

我们来看下原理，any内部定义了模板类struct Data，并且通过虚函数和运行时态访问的方式，我们实现了这个类实例的函数调用，也就是归根到底我们还是要通过模板来实现，并通过运行时态调用来实现不同实例成员函数的调用，我们给出完整的代码和测试。

#include<string>
#include<iostream>
class Dog {
	int age;
	std::string name;
public:
	void init(std::string dname, int dage) {
		name = dname;
		age = dage;
	}
	void print() {
		std::cout << "dog " << name << " age " << age << std::endl;
	}
};

class Cat {
	int age;
	std::string name;
public:
	void init(std::string dname, int dage) {
		name = dname;
		age = dage;
	}
	void print() {
		std::cout << "cat " << name << " age " << age << std::endl;
	}
};

struct Any {
	template<typename T>
	Any(T* animal) : ptr{ new Data<T>(animal) } {};
	// Base struct
	struct Base {
		virtual void print() = 0;
	};
	// Derivecd struct
	template<typename T>
	struct Data : Base {
		T* animal;
		virtual void print() {
			animal->print();
		}
		Data(T* animal) : animal(animal) {}
	};
	Base* ptr;
	// function for Any.
	void print() { ptr->print(); }
	~Any() {
		if (ptr) delete ptr;
	}
};

class PrintCla {
	Any* any = nullptr;
public:
	template<typename T>
	void init(T* animal) {
		if (any) delete any;
		any = new Any(animal);
	}
	void print() {
		any->print();
	}
	~PrintCla() {
		if(any) delete any;
	}
};

int main() {
	Dog dog;
	dog.init("dd", 12);
	Cat cat;
	cat.init("cc", 13);
	Any*  any1 = new Any(&dog);
	any1->print();
	delete any1;
	Any* any2 = new Any(&cat);
	any2->print();
	delete any2;
	PrintCla printcla;
	printcla.init(&dog);
	printcla.print();
	printcla.init(&cat);
	printcla.print();
	return 0;
}

运行结果：

dog dd age 12
cat cc age 13
dog dd age 12
cat cc age 13

最后说明一点，模板成员函数的定义必须放在头文件里，声明放在头文件，定义放在cpp里是不可行的。