How to ensure two template member functions specificated with same type?

[noho]

class A
{
template<typename T> foo(T *);
template<typename T> bar(T *);
};

except for using RTTI technology.
Any suggestion are appreciated.

[zfluo]

template <class T>
class A
{
void foo(T*);
void bar(T*);
};

[qing_li73]

concern

[noho]

我找到了一个方法，可惜是在运行时检查，不知道哪位能提供编译时检查的版本。
template<typename T>
struct TypeInfo
{
static void constraints(void){};
};
class A
{
template<typename T> foo(T *)
{
constraints = &TypeInfo<T>::constraints;
}
template<typename T> bar(T *)
{
assert(constraints == &TypeInfo<T>::constraints);
}
void (*constraints)();
};

foo一定先于bar调用。

[rushman]

既然能在编译期进行检查，就说明这两个函数的调用是由程序员安排的，所以我认为关键应该在于调用时的处理。
为了不至于在调用时产生混乱，应该将对这两个函数的调用部分封装起来。

首先，将这两个函数保护（protected）起来，然后，将调用这两个函数的代码放在一起，外部只能通过这些接口来访问。

//----------------------------------------------
另写一个模板函数当作跳板来调用这两个函数。
templact<class T>
void function(T * ){
foo(...);
bar(...);
}

//----------------------------------------------
把两个函数变成一个函数。从软件工程的角度，这是个馊主意。从面向对象的角度，这叫基于消息？？？^_^
template<class T>
void function(T*p,int msg)
{
switch(msg){
case FOO:....
case BAR:....
......
}
}

//---------------------------------------------
将这两个函数调用的接口设计成类，灵活性、封装和实用性更好。
template<class T>
class X{
public:
//使其界面象一个函数
void operator()(int msg,T*)
{
switch(msg){
case FOO:....
case BAR:....
......
}
}
};

[rushman]

Happy new year..........

[noho]

如果foo不是foo，而是class A的构造函数呢？

[rushman]

--如果foo不是foo，而是class A的构造函数呢？
如果foo是class A的构造函数，那就需要将这个类进行封装（使用这个类的实例）。既然这样，为什么不把它设计成模板？如果需要，可以先设计一个虚基类，再派生出来这个模板。这样一般来说，可以实现与你的类相同的功能。
反过来，也说明你在类的设计上先天就有问题。有时候，不一定非要在墙上打个洞再钻过去，退一步，也许就会发现另有通途。^_^

[noho]

//nod
有人从理论上证明了compile-time check是不可能的。
结贴。