Article View: comp.std.c++
Article #3583Re: constant-expression extension
From: Tom Payne
Date: Tue, 05 Mar 1996 02:24
Date: Tue, 05 Mar 1996 02:24
23 lines
1593 bytes
1593 bytes
Igor Boukanov (boukanov@afrodite.fi.uib.no) wrote:
: My proposal is to change definition of the
: "integral constant-expression"[5.19] to something like this:
:
: An integral constant-expression is an expression that can be calculated
: at the compilation phase.
[...]
: So what do you think about this?
With appropriate restrictions on which in-line functions are allowed
in these expressions, it could be very convenient. Note, however,
that compile-time calculability, like calculability in general, is
recursively undecidable, when you allow functions with recursion or
unbounded loops.
Tom Payne (thp@cs.ucr.edu)
---
[ To submit articles: try just posting with your news-reader.
If that fails, use mailto:std-c++@ncar.ucar.edu
FAQ: http://reality.sgi.com/employees/austern_mti/std-c++/faq.html
Policy: http://reality.sgi.com/employees/austern_mti/std-c++/policy.html
Comments? mailto:std-c++-request@ncar.ucar.edu.
]
Technical Details
Message-ID:
<4hftpt$r2c@galaxy.ucr.edu>Path:
arc1-ca.pugleaf.net!in2.uu.net!bounce-backReferences:
<4h775a$m4s@ugress.uib.no>Show Full Headers
Complete Article Headers
From: thp@cs.ucr.edu (Tom Payne) Message-ID: <4hftpt$r2c@galaxy.ucr.edu> X-Original-Date: 4 Mar 1996 23:19:25 GMT Path: arc1-ca.pugleaf.net!in2.uu.net!bounce-back Date: 05 Mar 96 02:24:22 GMT Approved: fjh@cs.mu.oz.au Return-Path: <daemon@migs.UCAR.EDU> Newsgroups: comp.std.c++ Subject: Re: constant-expression extension Organization: University of California, Riverside References: <4h775a$m4s@ugress.uib.no> X-Newsreader: TIN [UNIX 1.3 950824BETA PL0] X-Auth: PGPMoose V1.1 PGP comp.std.c++ iQBFAgUBMTul4+EDnX0m9pzZAQGrTAF/Zh5LB68xC3qbDUSARDrtEmglkv7G4lwP WhYUsIeWfrGF8glEk9RsoNfSNTL0djC/ =AKey