Как задать свойство класса экземпляром другого класса, если его значения не известны при инициализации?

Question

[Илья]

Есть класс вот такие примитивные классы:

// Point.h
class Point
{
    public:
        Point(double x, double y);
        double x_coord;
        double y_coord;
};
// Square.h
class Square
{
    public:
        Point center_pt;
        Square(double x, double y, double size);
};

// Square.cpp
Square::Square(double x, double y, double size)
{
    center_pt = *new Point(x-size/2, y-size/2);
}

Возникает ошибка:

error: no matching function for call to 'Point::Point()'

Как я понимаю компилятор хочет определить переменную center_pt с помощью стандартного конструктора, без аргументов, но его нет. Это легко решается добавлением вызова другого конструктора:

Square::Square(double x, double y, double size):center_pt(x/size, y/size)
{...

Но если значения невозможно так просто посчитать, если в конструкторе происходит вычисление этих значений или переменные не заданы, а считываются допустим с датчика или ещё какой вариант, когда до выполнения конструктора Square нельзя получить параметры для Point, как тогда поступать?
Добавление конструктора для Point без параметров, не подходит, так как в реальной задачи это внешняя библиотека и ей изменение недопустимо.

Answer 1

[Mercury13]

center_pt = *new Point(x/size, y/size);
Утечка памяти. Никто в «си с крестами» за вас не будет подчищать все эти new.
Правильно:
center_pt = Point(x/size, y/size);
(Ну и, разумеется, я не понимаю, что значат эти x/size и y/size, но шут с ним.)

Примерно таким образом и происходит переприсваивание объектов, если им оставили таки операцию =. То есть…

class Geolocator {
public:
  Point coords;
  bool isReliable;

  Geolocator() : coords(0,0), isReliable(false) {}

  void getFromSensor() {
    coords = Point(100, 100);
    isReliable = true;
  }
};

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

class Geolocator {
public:
  std::unique_ptr<Point> coords;

  void getFromSensor() {
    Point pt(100, 100);
    if (coords) {
      *coords = pt;
    } else {
      coords.reset(new Point(pt));
    }
    // а если и операции = у Point нет, то можно
    // coords.reset(new Point(100, 100));
  }

  void declareUnreliable() {
    coords.reset();
  }
};

Comments

[Илья]

1)Вы правы там должно быть x-size/2, y-size/2 - центр квадрата
2)Что значит "если им оставили таки операцию =" и "если и операции = у Point нет", как может не быть операции присвоения, тем более за пределами самого класса? Я просто не опытный в C++, по JS вообще базируюсь, там такого нет, удивительно, не так ли? :) Был бы очень благодарен за объяснение

[Илья]

И то что в первом варианте конструктор у Poin будет вызван два раза, с 0,0 и с 100,100 - это нормально? Лишние вычисления как-никак

[Mercury13]

Операцию «присвоить» (operator = ) обычно Си++ строит сам.

А теперь представьте себе такой объект, как «поток-файл» или тот же unique_ptr. Не бывает у такого объекта операции =, есть только File& File::operator = (File&&) (перемещение из временного объекта, новая фишка Си++11).

Есть два способа закрыть операцию присваивания.

class File {
public:
  File& operator = (const File&) = delete;  // Си++11
private:
  File& operator = (const File&);   // Си++03
}

[Mercury13]

Илья,

И то что в первом варианте конструктор у Poin будет вызван два раза, с 0,0 и с 100,100 - это нормально? Лишние вычисления как-никак

Можно и так…

if (coords) {
      coords->x = 100; coords->y = 100;
    } else {
      coords.reset(new Point(100, 100));
    }

Код менее универсальный, и нужно смотреть по месту.

[Павел Язовских]

Илья, operator= может быть private/protected, или вообще deleted. А ещё, если в классе это явно не запрещено, вы всегда можете сделать у класса Point наследника и реализовать в нём любой конструктор, какой захочется.

[Илья]

Mercury13, спасибо большое за разъяснения, очень благодарен вам. В реали куда больше параметров у конструктора и большинство это массивы, дума что получиться избавиться от определение без знания параметров, но похоже что нет, так как со вторым вариантом мне разбираться ещё очень долго, как это всё работает. Вот реальный конструктор из библиотеки (playground.arduino.cc//Code/Keypad)

Keypad::Keypad(char *userKeymap, byte *row, byte *col, byte numRows, byte numCols)

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

Answer 2

[Roman]

Значения по умолчанию

class Point
{
    double x_coord;
    double y_coord;
  public:
    Point(double x = {}, double y = {}) : x_coord{x}, y_coord{y}
    {
    }
};

class Square
{
    Point* center_pt;
    double size;
  public:
    Square(double x = {}, double y = {}, double sz = {1}) 
     : center_pt{new Point(x / sz, y / sz)}, size{sz}
    {
    }
    ~Square(){ delete center_pt; }
};

int main()
{
  Square sq(10, 10, 2);
  Square sq2();
}

Comments

[Илья]

Я же писал что Point из примера в реали - это библиотека и менять её недопустимо.

[Roman]

Илья, так не меняйте в Square оставьте значения по умолчанию

[Илья]

Что в вашем примере значит = {}, просто пустое значение или как? Объясните пожалуйста

[Roman]

Илья,
С++11 форма инициализации с фигурными скобками.
в случае с простыми типами это int x{}, int x ={} ... -> int x = 0;