From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,262b74f44c7f873e
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!fu-berlin.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!news.arcor.de!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: prohibit certain generic instantiations in Ada 2005
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <idm74jcpsz3l.147l8qc55x0y6$.dlg@40tude.net>
References: <1139508110.410006.28260@g14g2000cwa.googlegroups.com>
	 <1139515341.782860.197930@f14g2000cwb.googlegroups.com>
	 <1139581110.636535.107910@g44g2000cwa.googlegroups.com>
	 <idm74jcpsz3l.147l8qc55x0y6$.dlg@40tude.net>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-ID: <1139598205.17535.46.camel@sonnenregen>
Mime-Version: 1.0
X-Mailer: Evolution 2.4.1 
Date: Fri, 10 Feb 2006 20:03:25 +0100
NNTP-Posting-Date: 10 Feb 2006 19:57:50 MET
NNTP-Posting-Host: 48521997.newsread4.arcor-online.net
X-Trace: 
 DXC=P^PIXEo=JNUH^J66Eo??P_:ejgIfPPldTjW\KbG]kaMXGAlE^3P3k5UACZgF6QFUhZkM:\hfY9EIP?]]2@<^H[D\
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:2845
Date: 2006-02-10T19:57:50+01:00
List-Id: <comp.lang.ada>

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