From: Adam Beneschan <adam@irvine.com>
Subject: Re: Equivalent of dynamic_cast (downcast) for tagged types
Date: Fri, 28 Jan 2011 16:55:25 -0800 (PST)
Date: 2011-01-28T16:55:25-08:00 [thread overview]
Message-ID: <105c5d90-f9a5-4193-acc3-1c701bacd53f@y19g2000prb.googlegroups.com> (raw)
In-Reply-To: ihvkqn$5jj$1@munin.nbi.dk
On Jan 28, 3:51 pm, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> In both of these of these cases, there are two operations (no overriding
> happens). Either one of the Foos is invisible (in which case you get the
> visible one), or the program is illegal because it is ambiguous.
Technically, I don't think you can get an ambiguous program from two
subprograms with the same name and same profile. Either one overrides
the other, as you say; or, by 8.3(12.2/2), all of them will be hidden
from all visibility, and then none of the Foos is visible. Although I
guess that really isn't that much different from calling it
"ambiguous".
-- Adam
next prev parent reply other threads:[~2011-01-29 0:55 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-01-27 15:46 Equivalent of dynamic_cast (downcast) for tagged types Maciej Sobczak
2011-01-27 16:18 ` Dmitry A. Kazakov
2011-01-27 17:10 ` J-P. Rosen
2011-01-27 17:35 ` Dmitry A. Kazakov
2011-01-27 22:49 ` Maciej Sobczak
2011-01-27 17:50 ` Georg Bauhaus
2011-01-27 22:35 ` Maciej Sobczak
2011-01-28 5:07 ` Yannick Duchêne (Hibou57)
2011-01-28 9:16 ` Dmitry A. Kazakov
2011-01-28 13:11 ` AdaMagica
2011-01-28 14:13 ` Dmitry A. Kazakov
2011-01-28 23:51 ` Randy Brukardt
2011-01-29 0:55 ` Adam Beneschan [this message]
2011-01-28 16:44 ` Adam Beneschan
2011-01-28 17:21 ` Dmitry A. Kazakov
2011-01-29 0:12 ` Randy Brukardt
2011-01-29 8:47 ` Dmitry A. Kazakov
2011-01-28 17:33 ` Adam Beneschan
2011-01-28 15:13 ` Maciej Sobczak
2011-01-28 17:47 ` Robert A Duff
2011-01-28 22:04 ` Maciej Sobczak
2011-01-30 20:22 ` Stephen Leake
2011-01-31 9:04 ` AdaCore, user community and communication channels Maciej Sobczak
2011-01-31 10:42 ` Georg Bauhaus
2011-01-27 19:33 ` Equivalent of dynamic_cast (downcast) for tagged types Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox