Почему нельзя клонировать `Space` в Gecode до решения оригинального?

Question

Я ищу способ скопировать Space экземпляры в Gecode, а затем проанализировать разницу между пробелами позже.

Однако после первого экземпляра это уже идет не так. Когда кто-то копирует код в книге " Моделирование и программирование в Gecode", как показано ниже, и просто модифицирует его так, что сначала делается копия (SendMoreMoney* smm = m->copy(true);), возникает ошибка сегментации, независимо от того, shared вариант true или же false,

#include <gecode/int.hh>
#include <gecode/search.hh>

using namespace Gecode;

class SendMoreMoney : public Space {
protected:
  IntVarArray l;
public:
  SendMoreMoney(void) : l(*this, 8, 0, 9) {
    IntVar s(l[0]), e(l[1]), n(l[2]), d(l[3]),
           m(l[4]), o(l[5]), r(l[6]), y(l[7]);
    // no leading zeros
    rel(*this, s, IRT_NQ, 0);
    rel(*this, m, IRT_NQ, 0);
    // all letters distinct
    distinct(*this, l);
    // linear equation
    IntArgs c(4+4+5); IntVarArgs x(4+4+5);
    c[0]=1000; c[1]=100; c[2]=10; c[3]=1;
    x[0]=s;    x[1]=e;   x[2]=n;  x[3]=d;
    c[4]=1000; c[5]=100; c[6]=10; c[7]=1;
    x[4]=m;    x[5]=o;   x[6]=r;  x[7]=e;
    c[8]=-10000; c[9]=-1000; c[10]=-100; c[11]=-10; c[12]=-1;
    x[8]=m;      x[9]=o;     x[10]=n;    x[11]=e;   x[12]=y;
    linear(*this, c, x, IRT_EQ, 0);
    // post branching
    branch(*this, l, INT_VAR_SIZE_MIN(), INT_VAL_MIN());
  }
  // search support
  SendMoreMoney(bool share, SendMoreMoney& s) : Space(share, s) {
    l.update(*this, share, s.l);
  }
  virtual SendMoreMoney* copy(bool share) {
    return new SendMoreMoney(share,*this);
  }
  // print solution
  void print(void) const {
    std::cout << l << std::endl;
  }
};

// main function
int main(int argc, char* argv[]) {
  // create model and search engine
  SendMoreMoney* m = new SendMoreMoney;
  SendMoreMoney* mc = m->copy(true);
  DFS<SendMoreMoney> e(m);
  delete m;
  // search and print all solutions
  while (SendMoreMoney* s = e.next()) {
    s->print(); delete s;
  }
  return 0;
}

Как сделать настоящую копию?

Answer 1

Вы должны позвонить status() на Space первый.

Answer 2

Я нашел этот обмен в архивах списков рассылки Gecode: https://www.gecode.org/users-archive/2006-March/000439.html

Казалось бы, внутри Gecode использует функцию копирования и конструктор для своих внутренних целей, поэтому для создания копии пространства "по значению" вам нужно использовать функцию clone(), определенную в интерфейсе Space. Однако, как указано в ответе @Anonymous, вам нужно вызвать status() перед вызовом clone, иначе он выдаст исключение типаSpaceNotStable

Я расширил свое пространство функцией ниже, чтобы автоматически вызывать статус, создавать клон и возвращать указатель на мой производный тип:

struct Example : public Space {
    ...
    Example * cast_clone() {
        status();
        return static_cast<Example *>(this->clone());
    }
    ...
}

Answer 3

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

Пример:

void cloneHalfValues(SendMoreMoney* origin) {
    int n = l.size();
    for(int i = 0x00; i < n/2; i++) {
        if(origin->l[i].assigned()) {
            rel(*this, l[i], IRT_EQ, origin->l[i].val());
        }
    }
}

Причина, по которой нельзя клонировать Space Однако до сих пор остается загадкой.