Topic: instance of a function' in clause 3 para 3. [Was: Object-Oriented Thinking (OOT) ]


Author: gennaro_prota@yahoo.com (Gennaro Prota)
Date: Thu, 24 Jul 2003 02:09:53 +0000 (UTC)
Raw View
On Tue, 22 Jul 2003 04:38:24 GMT, llewelly
<llewelly.at@xmission.dot.com> wrote:

>Speaking of which, clause 3 para 3 says:
>
>#    An entity is a value, object, subobject, base class subobject, array
>#    element, variable, function, *instance of a function*, enumerator,
>#    type, class member, template, or namespace.
>
>(emphasis mine)
>
>Shouldn't 'instance of a function' be 'instance of a function
>     template' ? (I looked for an issue on this and didn't find one.)

I think so. Actually such entry is/would be redundant, because an
instance of a function template _is_ a function; so the text should
probably read "an entity is... variable, function (included a function
instantiated from a function template), enumerator...".


Genny.

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]





Author: llewelly <llewelly.at@xmission.dot.com>
Date: Tue, 22 Jul 2003 04:38:24 GMT
Raw View
[cc'd to comp.std.c++, and followups set to comp.std.c++ .]

Francis Glassborow <francis.glassborow@ntlworld.com> writes:

 > In message <d6652001.0307090845.45cda8a6@posting.google.com>,
 > kanze@gabi-soft.fr writes
 >> > I am not sure that I understand that.
 >>
 >>Nothing really to understand.  Entity objects typically have lifetimes
 >>determined by program semantics; generally speaking, they will be
 >>deleted in response to some external stimulus.  Garbage collection is
 >>typically not needed for entity objects.
 >
 > Unfortunately the word entity carries the wrong connotation to me as a
 > language 'lawyer' because of the definition provided by the C++ Standard
 > (see clause 3 para 3)

Speaking of which, clause 3 para 3 says:

#    An entity is a value, object, subobject, base class subobject, array
#    element, variable, function, *instance of a function*, enumerator,
#    type, class member, template, or namespace.

(emphasis mine)

Shouldn't 'instance of a function' be 'instance of a function
     template' ? (I looked for an issue on this and didn't find one.)


      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated.    First time posters: Do this! ]

[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]