Eu estava aprendendo passando por referência, e aqui está o teste que fiz:

#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;
}

E aqui está o resultado que recebo:

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

Minha pergunta é:

Se passarmos uma expressão constante, ela sempre dispara referência de valor não constante? Sob que condição ele acionará a referência de valor constante (e por que o s6 não está acionando?)

Por que referência não constante e constante referência de referência são ilegais?

Eu esperava um não pode mudar s3, mas por que b no escopo interno pode mudar s3? Se atribuir um novo objeto s3 a b está atribuindo uma nova referência, por que quando atribuo s4 a ele e s3 foi alterado e s4 fica vazio depois?

Desculpe por fazer muitas perguntas ... Vou aumentar os pontos quando todas as perguntas forem respondidas :) A referência apenas traz minha confusão do ponteiro para um novo nível.

Eu não sei como aumentar o ponto ... então vai esperar por 2 dias até que seja elegível para a recompensa, em seguida, escolha a resposta.