Article View: comp.std.c++
Article #753Re: The concept of templates considered ill designed
From: David (Lujun) Shang
Date: Tue, 06 Oct 1992 00:38
Date: Tue, 06 Oct 1992 00:38
25 lines
1533 bytes
1533 bytes
In article <TMB.92Oct3050715@arolla.idiap.ch> tmb@arolla.idiap.ch (Thomas M. Breuel) writes: > In article <1992Oct2.144959.18480@cadsun.corp.mot.com> shang@corp.mot.com (David (Lujun) Shang) writes: > > In article <1992Oct1.140643.9775@cadsun.corp.mot.com> shang@corp.mot.com I > wrote: > Template is not a self-enclosed type-safe language feature, i.e. it cannot be > compiled separately to ensure type-error free. All type errors about the > class parameters are checked when the template is used. > > Yes. However, the reason for this is not intrinsic in the template > concept, but in the way templates were "integrated" with overloading > in C++. > > Thomas. Could you explain your argument in more detail? As far as I can see, the reason for this is the intrinsic in the template concept: class parameters are not constrained. Are there any conflicts between the concept of constrained parameterized class and the concept of C++ overloading? David Shang
Technical Details
Message-ID:
<1992Oct6.003821.10808@cadsun.corp.mot.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!panther!mothost!motsrd!newsReferences:
<TMB.92Oct3050715@arolla.idiap.ch>Show Full Headers
Complete Article Headers
Newsgroups: comp.std.c++,comp.lang.c++ Path: arc1-ca.pugleaf.net!sparky!uunet!panther!mothost!motsrd!news From: shang@corp.mot.com (David (Lujun) Shang) Subject: Re: The concept of templates considered ill designed Message-ID: <1992Oct6.003821.10808@cadsun.corp.mot.com> Sender: news@cadsun.corp.mot.com Reply-To: shang@corp.mot.com Organization: Motorola, Inc., Software Research and Development, Rolling Meadows, IL. 60008 References: <TMB.92Oct3050715@arolla.idiap.ch> Date: Tue, 6 Oct 92 00:38:21 GMT Lines: 27