Я учился прохождению по ссылке, и вот тест, который я сделал:

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

И вот результат, который я получаю:

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

Мой вопрос:

Если мы передаем константное выражение, оно всегда вызывает неконстантную ссылку-значение? При каких условиях он будет вызывать постоянную ссылку-значение (и почему s6 не запускает ее?)

Почему непостоянная ссылка и постоянная ссылка-значение недопустимы?

Я ожидал, что a не может изменить s3, но почему b во внутренней области может изменить s3? Если назначение нового объекта s3 для b - это присвоение новой ссылки, почему, когда я назначаю ему s4, а s3 изменился, а s4 пуст после этого?

Извините за то, что задали слишком много вопросов ... Я увеличу баллы, когда на все вопросы ответят :) Ссылка просто выводит меня из смятения от указателя на совершенно новый уровень.

Я не знаю, как повысить балл ... поэтому подожду 2 дня, пока не получу право на получение награды, затем выберу ответ.