From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: prohibit certain generic instantiations in Ada 2005
Date: Fri, 10 Feb 2006 20:03:25 +0100
Date: 2006-02-10T19:57:50+01:00 [thread overview]
Message-ID: <1139598205.17535.46.camel@sonnenregen> (raw)
In-Reply-To: <idm74jcpsz3l.147l8qc55x0y6$.dlg@40tude.net>
On Fri, 2006-02-10 at 19:25 +0100, Dmitry A. Kazakov wrote:
> So,
> basically, C++ is unable to check anything specific about the type of
> template a parameter.
Don't you think that while template <class T> doesn't
require T to conform to some type, T's operations can
still be named in the template definition? Like with
the Can_Copy example that Stroustrup explains?
>From this viewpoint I'd say that the compilation model of C++ is
rather different, in that it defers some checks until much later,
possibly involving the linker IIUC.
-- Georg
next prev parent reply other threads:[~2006-02-10 19:03 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-02-09 18:01 prohibit certain generic instantiations in Ada 2005 matteo.bordin
2006-02-09 20:02 ` Matthew Heaney
2006-02-10 14:18 ` matteo.bordin
2006-02-10 18:25 ` Dmitry A. Kazakov
2006-02-10 19:03 ` Georg Bauhaus [this message]
2006-02-11 10:45 ` Dmitry A. Kazakov
2006-02-11 8:04 ` matteo.bordin
2006-02-11 9:54 ` Martin Krischik
2006-02-11 10:20 ` matteo.bordin
2006-02-11 12:46 ` Martin Krischik
2006-02-11 10:45 ` Dmitry A. Kazakov
2006-02-11 22:20 ` Jeffrey R. Carter
2006-02-11 15:36 ` Stephen Leake
2006-02-12 8:55 ` matteo.bordin
2006-02-12 9:49 ` Dmitry A. Kazakov
2006-02-12 12:41 ` matteo.bordin
2006-02-13 19:14 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox