🚀 go-pugleaf

In article <IeoW7Ca00awVEGbFIn@andrew.cmu.edu> osoelgaultier+@CMU.EDU (Stefan Monnier) writes:

> What's the problem ?

> Why not take option 2 ?

> Every Baz object has method Foo::mem(int) cause it has inherited it
> from Foo.
> If you don't agree with it, why use inheritance ?

Well, let's make it more explicit.

	class Foo {
	public:
		void mem(int);
	};

	class Bar: public Foo {
	public:
		void mem(int);
	};

	template<class T> void f(T x) { x.mem(); }

	main()
	{
		Bar b;
		f(b);
	}

The whole point of templates is that the call f(b) should result in
calling Bar::mem, because b is an object of type Bar.

What you're saying is that you want f(b) to call Foo::mem if the template
function f has a constraint that T is Foo or derived from Foo.
It's already easy to obtain such behavior -- just don't bother with
templates at all!

In other words, I don't think option 2 is viable.  Do you still think
so after seeing this example?
-- 
				--Andrew Koenig
				  ark@europa.att.com