🚀 go-pugleaf

>>>>> "IB" == Igor Boukanov <boukanov@afrodite.fi.uib.no> writes:
IB>    My proposal is to change definition of the "integral
IB> constant-expression"[5.19] to something like this:

IB> An integral constant-expression is an expression that can be
IB> calculated at the compilation phase.

IB> And according to this one would be able to use inline functions in
IB> constant-expressions and instead of writing:
[...]

This would imply that `inline' is no longer mere ``hint'', but in certain
cases a requirement. Note that your proposed definition may either be
hard to implement or imprecise.

E.g.,

	inline int fac(int k) {
	    int r = 1;
	    while (k) r *= k--;
            return r;
	}

	double d[fac(10)];	// ??

It's certainly feasible to compute this at compile-time... but this sort
of requirement would make a compiler much more complex. (And it is not
feasible, in general, to determine whether it is feasible :).

	Daveed


[ comp.std.c++ is moderated.  To submit articles: Try just posting with your
                newsreader.  If that fails, use mailto:std-c++@ncar.ucar.edu
  comp.std.c++ FAQ: http://reality.sgi.com/austern/std-c++/faq.html
  Moderation policy: http://reality.sgi.com/austern/std-c++/policy.html
  Comments? mailto:std-c++-request@ncar.ucar.edu
]