Obiekty, zwracanie przez wartość - kilka pytań

Question

Hej, niby zwracanie obiektów/zmiennych przez wartość do podstawy-podstaw jednak kiedy w książce była mowa o zwracaniu przez wartość obiektu niemodyfikowalnego (const) to sprawa się nawet rozwinęła i zadałem sobie wiele pytań...

np. taki programik:

class Kl{
public:
    int a;
    int b;

    Kl(int v){
        a=v;
        b=v*2;
    }
};

int r1(){ //zwraca int 
    int i = 6;
    return i;
}

Kl r2(){ //zwraca Kl
    Kl k = 4;
    return k;
}


int main(){
    r1() = 3; //to powoduje błąd 
    r2() = 3; //jest ok
}

Dlaczego użycie po lewej stronie wyrażenia funkcji zwracającej int'a powoduje błąd a w przypadku zwracającej nasz obiekt już nie? ( wiem oczywiście że z obiektem też byś my nie mogli tak zrobić zwracając go z użyciem const ). Jednym słowem dlaczego r1() zwraca nam r-wartość a r2() już chyba l-wartość ?

Zaciekawiła mnie jeszcze kwestia konstruktora kopiującego, gdy mam takie coś:

class Kl{
    Kl(const Kl& k){
        *this = k;
    }
public:
    int a;
    int b;

    Kl(int v){
        a=v;
        b=v*2;
    }
};

Przez to nie ma możliwości zwracania obiektu przez wartość bo nie ma publicznego konstruktora kopiującego, to rozumiem.

Zaciekawiło mnie jednak że w ogóle w ciele konstruktora możemy używać wskaźnika this ( na obiekt wywołujący ), skoro konstruktor dopiero tworzy ten obiekt, to formalnie tego obiektu jeszcze nie ma więc jak się możemy do niego odwoływać? No chyba że powstaje jeszcze przed wywołaniem takiego konstruktora, chyba na pewno bo teraz zanegowałem prawo działania jakiegokolwiek konstruktora ;).

I jeszcze jedno:
 

class Kl{
public:
    int a;
    int b;

    Kl(const Kl& k){ //mój konstruktor kopiujący 
        std::cout<<"(Kl)\n";
        *this = k;
    }

    Kl(int v){
        std::cout<<"(int)\n";
        a=v;
        b=v*2;
    }

    Kl operator=(int v){
         std::cout<<"(operator)\n";
        a=v;
        b=v*2;
    }

};

Kl r2(){
    Kl k = 4;
    return k;
}

W funkcji r2() przy zwracaniu obiektu konstruktor kopiujący powinien mi dać o sobie znać, a nie mam żadnego takiego powiadomienia jak (Kl). Dlaczego? To tak jakby kompilator i tak użył teraz wbudowanego konstruktora kopiującego :/ Z drugiej strony jak go przeniosę do składowych prywatnych to jest błąd. O co tu chodzi?

Z góry dziękuje wam za pomoc i serdecznie pozdrawiam.

Answer 1

Można użyć this, bo w momencie wejścia do ciała konstruktora obiekt jest gotowy do używania. To tylko Twoje widzimisię że chcesz coś do stworzonych zmiennych przypisać.

Ostatnie to optymalizacja kompilatora. Poczytaj o copy elision. Jak nie znasz angielskiego to w skrocie kompilator czasem wykryje ze nie ma sensu mnożyć niepotrzebnych kopii i pominie jawne wywolanie konstr kopiującego.

Co do pierwszego obydwa zwracają rwartosc, ale drugie na prawdę wygląda tak: r2().ooperator=(3), w argumencie niejawna konwersja na Kl i to oczywiście powinno działać w przeciwienstwie do 5=3.

Comments

Dziękuje, wszystko zrozumiałem, ale zastanawiam się jeszcze nad tym ( moim pierwszym pytaniem ):

obydwa zwracają rwartosc, ale drugie na prawdę wygląda tak: r2().ooperator=(3), w argumencie niejawna konwersja na Kl i to oczywiście powinno działać w przeciwienstwie do 5=3.

Tak najprościej mówiąc, dało by się po prostu powiedzieć że dla r-wartości naszego obiektu istnieje operator przypisania a dla typu int nie ma takiej możliwości? Bo chce to sobie jakoś logicznie ułożyć w głowie, z innej odpowiedzi widzę że dało by się operator '=' dla r-wartości wyłączyć stąd ten wniosek.

---

Tak mozna tak o tym myslec. Jeśli klasa ma operator przypisania to działa to jak wywołanie metody na obiekcie tymczasowym. Gdy nie ma tego operatora to jest blad.

---

Jesli szukasz zasady to nie wolno przypisać do rwartosci, ale mozna na niej wysolac metodę, przez co do klas przypisywalnych da sie przypisac mimo ze sa rwartosciami.

Answer 2

Jednym słowem dlaczego r1() zwraca nam r-wartość a r2() już chyba l-wartość ?

r2 zwraca r-wartość. Możesz sobie zrobić eksperyment: zdefiniuj operator przypisania dla obiektów, które są l-wartością, a zablokuj dla r-wartości:

    Kl& operator=(const Kl&) & { return *this; };
    Kl& operator=(const Kl&) && = delete;

  Zobaczysz, że linia r2() = 3; już nie jest ok, choć zwykłe przypisanie, Kl x; x = 3; będzie się kompilować.

Comments

Wow, pierwszy raz widzę takie zapisy/metody ( nawet nie wiem jak to nazwać ) :/

Tak z ciekawości to występują one w c++11? Bo nie wiem czy będę mieć o tym w książce a na tym standardzie jest ona oparta.

---

Tak, to występuje od C++11.