non-class rvalues always have cv-unqualified types

Question

§3.10 section 9 says \"non-class rvalues always have cv-unqualified types\". That made me wonder...

int foo()
{
    return 5;
}

const int bar()
{
    return         


        

Answer 1

Good point. I guess there are two things to look at: 1) as you pointed out the non-class rvalue thingsy and 2) how overload resolution works:

The selection criteria for the best function are the number of arguments, how well the arguments match the parameter-type-list of the candidate function, [...]

I haven't seen anything in the standard that tells me non-class rvalues are treated specially during overload resolution.

Your question is covered in the draft of the standard I have though (N-4411) somewhat:

What does come into play is however a parallel reading of reference binding, implicit conversion sequences, references, and overload resolution in general:

13.3.3.1.4 Reference binding

2 When a parameter of reference type is not bound directly to an argument expression, the conversion sequence is the one required to convert the argument expression to the underlying type of the reference according to 13.3.3.1.

and

13.3.3.2 Ranking implicit conversion sequences

3 Two implicit conversion sequences of the same form are indistinguishable conversion sequences unless one of the following rules applies:

— Standard conversion sequence S1 is a better conversion sequence than standard
conversion sequence S2 if

— S1 and S2 are reference bindings (8.5.3) and neither refers to an implicit object parameter of a nonstatic member function declared without a ref-qualifier, and either S1 binds an lvalue reference to an lvalue and S2 binds an rvalue reference or S1 binds an rvalue reference to an rvalue and S2 binds an lvalue reference.

[ Example:

int i;
int f();
int g(const int&);
int g(const int&&);
int j = g(i); // calls g(const int&)
int k = g(f()); // calls g(const int&&)