http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48948
--- Comment #4 from Johannes Schaub <schaub.johannes at googlemail dot com>
2011-05-10 16:59:50 UTC ---
(In reply to comment #0)
> gcc 4.7.0 20110507 (experimental) in C++0x mode rejects the following code at
> the line marked with #:
>
> //---
> struct B {
> friend constexpr int f(B) { return 0; } // #
> };
> //---
>
> "error: invalid type for parameter 1 of constexpr function 'constexpr int
> f(B)'"
>
> This code should be accepted.
>
I remember that Gaby (I hope I remember correctly, hehe) argued that the body
of "f" is late-parsed. Hence, the argument, until after the end of definition
of "B", "f" is only considered declared but not defined.
I don't share that view though. That view is an implementation detail. In the
language, the function marked by "#" is defined as soon as its body has been
completely seen. If something else is intended, the specification needs to be
explicit about this. Unless I've missed the text, it is not explicit about
that.
