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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ec2100175200a223,start
X-Google-Attributes: gid103376,public
From: Dale Stanbrough <dale@goanna.cs.rmit.EDU.AU>
Subject: C++ templates vs. Ada generics?
Date: 1996/06/20
Message-ID: <4qa7or$qlm@goanna.cs.rmit.EDU.AU>#1/1
X-Deja-AN: 161101533
distribution: world
content-type: text/plain; charset=ISO-8859-1
x-xxmessage-id: <ADEEE048F4011B17@obibicut.cs.rmit.edu.au>
organization: Royal Melbourne Institute of Technology
mime-version: 1.0
newsgroups: comp.lang.ada
Date: 1996-06-20T00:00:00+00:00
List-Id: <comp.lang.ada>


A few times posts in this group have indicated that C++ templates
allow you to do things that can't be done by Ada generics, but
this comes at the cost of link time checking (and possible
rejection by the linker) for what are in essence generic contract
model violations.

Is this correct, and does anyone have any examples of what can be
achieved in C++ templates, but not Ada generics?


Dale