C ++: implicit member functions

Consider the code I wrote below:

#include <iostream>

using namespace std;

class Sample{
    int a;
    public:
    Sample(){a=0;cout << "Sample Created (Default Constructor)" << endl;}
    Sample(int n):a(n){cout << "Sample Created" << endl;}
    ~Sample(){ cout << "Sample destroyed" << endl;}
    Sample(Sample& s){a=s.getA(); cout << "Sample Copy Constructor called" << endl;}
    Sample& operator= (Sample& s){this->a=s.getA(); cout << "Assignment Operator Called" << endl;return (*this);}
    void setA(int n){ a=n;}
    int getA(){return a;}
    };

class Test{
    Sample k;
    public:
    Test(){ cout << "Test Created(Default Constructor)" << endl;}
    Test(Sample& S):k(S){ cout << "Test Created" << endl;}
    ~Test(){cout << "Test Destroyed" << endl;}
    Test& operator= (Test& test){ k = test.getK(); cout << "Test Assignement Operator called" << endl; return (*this); } // Here 1
    Test(Test& test){k=test.getK();cout << "Test Copy Constructor called" << endl;}
    Sample getK(){return k;} // Here 2
    void setK(Sample& s){k=s;}
    };

int main()
{
    Sample a1(5);
    //Sample a2,a4;
    //a2=a1=a4;
    //Sample a3(a2);
    Test b1(a1);
    Test b2=b1;
    //b2=b1;

    return 0;
    }

In the compilation process, I get the following errors:

$ g++ -Wall Interview.cpp -o Interview
Interview.cpp: In member function `Test& Test::operator=(Test&)':
Interview.cpp:23: error: no match for 'operator=' in '((Test*)this)->Test::k = Test::getK()()'
Interview.cpp:12: note: candidates are: Sample& Sample::operator=(Sample&)
Interview.cpp: In copy constructor `Test::Test(Test&)':
Interview.cpp:24: error: no match for 'operator=' in '((Test*)this)->Test::k = Test::getK()()'
Interview.cpp:12: note: candidates are: Sample& Sample::operator=(Sample&)

When I make changes to here 2as - Sample& getK(){return k;}, it compiles fine.

Can someone explain why this is so?

Also in here 1, if the function is defined asTest& operator= (const Test& test){ k = test.getK(); cout << "Test Assignement Operator called" << endl; return (*this); }

I get an error -

$ g++ -Wall Interview.cpp -o Interview
Interview.cpp: In member function `Test& Test::operator=(const Test&)':
Interview.cpp:23: error: passing `const Test' as `this' argument of `Sample& Test::getK()' discards qualifiers

Why is that?

0
source share
2 answers

First, your copy constructors and assignment operators accept non-constant lvalue references. For instance,

Test& operator= (Test& test)

This means that temporary persons cannot be bound as arguments to these constructors / operators. For this reason, the canonical signature uses links constand because it makes no sense to mutate the operand:

Test& operator= (const Test& test)
                 ^^^^^

This will allow you to bind to temporary:

Test foo () { return Test(); }

Test t0;
t0 = foo();

-, "" const, const const:

Sample getK() const {return k;}
              ^^^^^
+3

:

Sample& Sample::operator= (Sample& s);
Test& Test::operator= (Test& test);

a - Sample, a = b; a.operator= (b);. , b Sample&. getK Sample, -const lvalue ( , Sample& variables) . .

getK, lvalue (Sample&), . , (const Sample&), .

+1

Source: https://habr.com/ru/post/1570919/


All Articles