Блог

У меня есть абстрактный класс, содержащий два класса (один абстрактный, один неабстрактный). Я хочу вызвать абстрактный метод из неабстрактного метода.

Вот что я хочу сделать :

 class abstractClass { 
     public:
     virtual void abstractMethod() = 0 ;
     void nonAbstractMethod();
}
  

в .cpp :

 void abstractClass::nonAbstractMethod() {
     abstractClass::abstractMethod();

     /* ... */

}
  

Возможно ли это в c ?

Проблема здесь в том, что nonAbstracMethod не является статическим, поэтому я не могу вызвать его без экземпляра object . Но это абстрактный класс! Я не могу создать его экземпляр… Как я могу справиться с этим?

Я часто делаю это на Java, но я не нашел, как в c …

Конкретные подклассы предоставят свою версию abstractMethod() . При вызове виртуального механизма nonAbstractMethod() вызова с экземпляром конкретного подкласса abstractMethod() будет вызвана правильная реализация. То есть, если вы не определяете метод с именем типа (что вы можете сделать, если вы также предоставляете реализацию в abstractClass *).

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

Кроме того, вы должны знать, что функции-члены статически связаны в конструкторе деструкторах. В противном случае вы бы вызывали методы, ожидающие части объекта, которые еще не созданы или уже уничтожены.

Это объектно-ориентированное программирование 101

_{* Да, чисто виртуальные функции могут иметь реализацию.}

Вам нужно иметь экземпляр, но это абстрактный класс. Таким образом, экземпляр фактически должен быть подклассом, который реализует чисто виртуальный метод.

И ваш синтаксис будет просто:

 void abstractClass::nonAbstractMethod() {
     abstractMethod();
    /* ... */
}
  

Итак, это будет выглядеть так:

 class ConcreteClass : public abstractClass {
  virtual void abstractMethod() { //do something 
  }
};

int main() {
  abstractClass *a = new ConcreteClass();
  a->nonAbstractMethod();
  return 0;
}
  

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

И если вы решите сделать деструктор единственной функцией, которая является чисто виртуальной при определении абстрактного класса, чистый виртуальный деструктор, тем не менее, должен также иметь реализацию (хотя, возможно, ему ничего не нужно делать; пусто, если нет ресурсов для освобождения.)

Я часто делаю это на Java, но я не нашел, как в c …

Это то, что я не совсем понимаю в вашем вопросе. Если вы знаете, как это сделать на Java, то в чем именно проблема в C ? Все, что вам нужно сделать, это добавить виртуальный деструктор и подумать о том, чтобы сделать абстрактный метод закрытым (а не защищенным, как в Java).

Java:

 public abstract class Example {
    protected abstract void abstractMethod();
    public void nonAbstractMethod() {
        abstractMethod();
    }
}
  

C :

 class Example {
private:
    virtual void abstractMethod() = 0;
public:
    void nonAbstractMethod() {
        abstractMethod();
    }
    virtual ~Example() {}
};
  

Подсказка: проведите некоторое исследование в Google по «Шаблону проектирования метода шаблона» или «Идиоме невиртуального интерфейса».