comp.lang.ada
 help / color / mirror / Atom feed
From: Martin Krischik <krischik@users.sourceforge.net>
Subject: Re: types and subtypes
Date: Mon, 13 Mar 2006 20:42:06 +0100
Date: 2006-03-13T20:42:06+01:00	[thread overview]
Message-ID: <1687222.lxyBhfPhPM@linux1.krischik.com> (raw)
In-Reply-To: 1142273325.634632.41020@j52g2000cwj.googlegroups.com

ada_student@yahoo.com wrote:

> Why doesnt Ada subtyping also denote derivation as in the
> sense C++ base classes and derived classes do?

Since you know C++: subtype is more like typedef. i.E.:

class C {};

typedef C A;
typedef C B;

F1(A x);
F2(B x);

As you are experienced in C++ you will know that this won't work as both A
and B are typedefs of C and hence the same type.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com



  parent reply	other threads:[~2006-03-13 19:42 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-03-13 12:07 types and subtypes ada_student
2006-03-13 13:20 ` Jean-Pierre Rosen
2006-03-13 18:08   ` ada_student
2006-03-13 18:17     ` Ed Falis
2006-03-13 19:14     ` Larry Kilgallen
2006-03-13 19:42     ` Martin Krischik [this message]
2006-03-13 20:22     ` Wilhelm Spickermann
2006-03-14  8:47     ` Dmitry A. Kazakov
2006-03-14 14:39     ` Jean-Pierre Rosen
2006-03-17  1:24     ` Peter C. Chapin
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox