классы, операторы. Проблема this, op= [c++]

[icyFairy]

Добрый день.

1) В классе существует оператор (), в том же классе я хочу использовать этот оператор для облегчения жизни:

class cls
{
public:
int a, b;
...

int operator()(int in_a, int in_b)
{...};

cls foo(cls in)
{
...
cls res(c,d);
res(i,j) = this(i,k)*in(j,k);
...
};

...
};

Компилер мне выдал `this' cannot be used as a function.

Хорошо, нельзя - значит нельзя (точно нельзя?).

2) Идем другим путем.

class cls
{
public:
int a, b;
...

int operator()(int in_a, int in_b)
{...};

cls operator=(cls in)
{
a = in.a;
b = in.b;
return this;
};

cls foo(cls in)
{
...
cls res(c,d), tmp(a,b);
tmp = this;
res(i,j) = tmp(i,k)*in(j,k);
...
};

...
};

Здесь обнаруживаем сразу две проблемы:
- conversion from `cls* const' to non-scalar type `cls' requested
- no match for 'operator=' in 'tmp = this'

Честно говоря, первой не очень поняла. Немного поискав, я нашла, что действительно используется return *this, но я же оперирую не адресами, но самими объектами, зачем мне возвращать указатель?

Хорошо, допустим пусть будет

cls& operator=(cls in)
{
...
return *this;
};

Но пролема несоответствия оператора остается.
Причем компилятор мне намекает, что надо бы использовать указатели:
note: candidates are: cls& cls::operator=(cls)
Нельзя ли обойтись без них?

В качестве бонуса компилер выдал

non-lvalue in assignment: res(i,j) = tmp(i,k)*in(j,k);

Вот здесь моя голова окончательно перестала соображать.

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

[netrino]

Сообщение от icyFairy

Добрый день.

1) В классе существует оператор (), в том же классе я хочу использовать этот оператор для облегчения жизни:

class cls
{
public:
int a, b;
...

int operator()(int in_a, int in_b)
{...};

cls foo(cls in)
{
...
cls res(c,d);
res(i,j) = this(i,k)*in(j,k);
...
};

...
};

Компилер мне выдал `this' cannot be used as a function.

Хорошо, нельзя - значит нельзя (точно нельзя?).

Можно.

res(i, j) = (*this)(i, k) * in(j, k);

this - указатель, а указатель это отдельный тип. А операторы перегружены для класса, потому и работать нужно с объектом класса, а не с указателем на объект )

Единственная проблема в этом случае, так это тип возвращаемого значения оператора()

int operator()(int in_a, int in_b)
...

Раз он возвращает элемент массива, и вы хотите присваивать этому элементу новое значение, то, вероятно, стоит возвращать ссылку

int& operator()(int in_a, int in_b)
{
     ....
}

[icyFairy]

Сообщение от netrino

this - указатель, а указатель это отдельный тип.

Я этот момент как-то упустила, да. Это многое объясняет.
С возвращением ссылки тоже все просто, как обычно.
Задав tmp указателем, компилер перестал ругаться и, кажется, заработало как надо. Спасибо большое.

Тогда заодно еще один вопрос:
При попытке сделать наследный класс, компилер в конструкторе наследного класса ругается на несовпадение функций для вызова конструктора базового класса. Я, честно говоря, думала, что конструктор наследного класса замещает конструктор базового, поэтому не очень понимаю, что именно требуется. Различается в конструкторах только количество параметров.

class cls
{
int a,b;
cls(int a, int b);
};

class cls_:cls
{
int a;
cls_(int a);
};

Типа того. С классами не работала совсем, да.

[netrino]

Нет, конструкторы не могут замещаться, также как и деструкторы. При создании объекта производного класса последовательно вызываются конструкторы всех его базовых классов и затем конструктор производного. Проблема в том, что нельзя предугадать с какими конкретно параметрами вызывать конструкторы базовых классов, потому по умолчанию компилятор пытается вызвать конструктор без параметров, если такого не существует, то необходимо указывать явно какой конструктор и с какими параметрами вызывать:

class cls
{
public:
    int a, b;
    cls(int a, int b) { ... }
};

class cls_ : cls 
{
public:
    int c;
    cls_(int a_) : cls(10, 20) { c = a_; }
};

[icyFairy]

Извиняюсь за лишнее поднятие темы, но долго не было интеренета, не могла ответить сразу.
Большое спасибо за объеснение, разобралась. Видимо, я таки невниметельно читала теорию.