Re: [boost] C++ millenium challenge solved?

From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2005-12-20 19:23:51

"Eric Niebler" <eric_at_[hidden]> writes:

[...]

| > well, if you call bar(1), it won't compile. what makes this different?
| 
| 
| The type of 1 is "rvalue of int," not "rvalue of int const."

[...]

| Now look above it: "typedef foo const cfoo". So the type of the 3rd 
| operand is "rvalue of foo const". The 2nd operand gets converted to 
              ^^^^^^^^^
| "rvalue of foo" and then picks up the "const" from the 3rd operand.
| 
| Make sense now?

A bit confusing :-)

[there is no type "rvalue of ..." as you said earlier]