Estaba aprendiendo el paso por referencia, y aquí está la prueba que hice:

#include <iostream>

using namespace std;

int i = 0;

//If this is uncommented, compiler gives ambiguous definition error.
//void paramCheck (string s) {
//  cout << ++i << ". Param is var.\n";
//}

void paramCheck (const string& s) {
    cout << ++i << ". Param is const ref.\n";
}

void paramCheck (string& s) {
    cout << ++i  << ". Param is non-const ref.\n";
}

void paramCheck (const string&& s) {
    cout << ++i  << ". Param is const rvalue-reference.\n";
}

void paramCheck (string&& s) {
    cout << ++i  << ". Param is non-const rvalue-reference.\n";
}


int main(int argc, char **argv) {
    //Function call test
    paramCheck("");

    paramCheck(string{""});

    string s3{""};
    paramCheck(s3);

    const string s4{""};
    paramCheck(s4);

    //Illegal
    //string& s{""};
    //paramCheck(s);

    const string& s5{s3};
    paramCheck(s5);

    string&& s6{""};
    paramCheck(s6);

    //Illegal
    //const string&& s{s1};
    //onstFP(s);

    //Reference test
    string a = s3;
    a = "a changed s3";
    cout << s3;

    {
    string& b = s3;
    b = "b changed after assigning s3\n";
    cout << "s3 is now " <<s3;

    b = s4;
    b = "b changed after assigning s4\n";
    cout << "s3 is now " <<s3;
    cout << "s4 is now " <<s4;
    }

    cin.get();
    return 0;
}

Y aquí está el resultado que obtengo:

1. Param is non-const rvalue-reference.
2. Param is non-const rvalue-reference.
3. Param is non-const ref.
4. Param is const ref.
5. Param is const ref.
6. Param is non-const ref.
s3 is now b changed after assigning s3
s3 is now b changed after assigning s4
s4 is now

Mi pregunta es:

Si pasamos una expresión constante, ¿siempre desencadena una referencia-valor no constante? ¿Bajo qué condición activará la referencia-valor constante (y por qué s6 no la está activando?)

¿Por qué la referencia no constante y la referencia constante de rvalor son ilegales?

Esperaba que a no pueda cambiar s3, pero ¿por qué b en el ámbito interno puede cambiar s3? Si asignar un nuevo objeto s3 a b es asignar una nueva referencia, ¿por qué cuando le asigno s4 y s3 ​​se cambió y s4 está vacío después?

Perdón por hacer demasiadas preguntas ... Incrementaré los puntos cuando todas las preguntas sean respondidas :) La referencia simplemente lleva mi confusión desde el puntero a un nivel completamente nuevo.

No sé cómo aumentar el punto ... así que esperaré 2 días hasta que sea elegible para obtener una recompensa y luego elegir la respuesta.