Зачем нужны абстрактные классы и методы?

@MaxKech · Регистрация: 11.01.2019

Author24 — интернет-сервис помощи студентам

Можете объяснить в чём смысл абстрактного класса? Ведь с тем же успехом я могу написать:

C++

class Test {
public:
       void virtual test( ){ }
};

Вместо:

C++

class Test {
public:
       virtual void test( ) = 0;
};

Это будет виртуальный метод без реализации. Согласен, будет возможность создать объект данного класса, но тогда, опять же, можно не писать никакой реализации

@mustimur · 12.01.2019, 21:57

MaxKech, Вы сами ответили на свой вопрос, абстрактный класс - фундамент и основа для производных классов, и часто сам по себе недееспособный. Но зато указатель на абстрактный класс, может указывать на производные классы, таким образом в один массив собрать разные производные классы. Это дает довольно мощные возможности, при этом компилятор защитит от создания экземпляра абстрактного (недееспособного класса)

@eva2326 · 12.01.2019, 22:18

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

Можете объяснить в чём смысл абстрактного класса?

Абстрактный класс выполняет роль интерфейса.
Определяет какие именно методы обязаны будут поддерживать будущие наследники.
Он нужен, что бы в своей программе вы могли оперировать именно интерфейсом,
абстрагировавшись от конкретных наследников.

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

Это будет виртуальный метод без реализации. Согласен, будет возможность создать объект данного класса, но тогда, опять же, можно не писать никакой реализации

Чисто-виртуальная функция не просто определяет контракт - метод,
который обязаны поддерживать все будущие наследники.
Но и в буквальном смысле слова вынуждает реализовывать этот метод в наследниках.

Виртуальная функция с телом в базовом классе выполняет роль "поведения по умолчанию".
В наследнике её можно переопределить, а можно и не переопределять.

Чисто-виртуальная заставляет обязательно писать реализацию в каждом наследнике.

Это нужно например для тех случаев,
когда на уровне интерфейса в принципе нельзя предугадать какая может быть реализация.
Но при этом эта реализация нужна.

Например, для работы некоторой библиотеки нужно получить какие то важные данные.
Но заранее не известно, где и как они будут храниться.
Может быть просто в файле на диске.
А может быть в базе данных.

Здесь не получится реализовать поведение по умолчанию.
Чисто-виртуальный метод не позволит разработчику
ничайно забыть реализовать важный метод.

@8Observer8 · 13.01.2019, 14:27

If you will use GoogleMock Framework for unit testing or TDD you will often create interfaces for DI (dependency injection). DI is used for the injection of dependencies like: databases, file system, network, expertal API and classes/methods that you did not implement yet.

Example:

IDataContext.h

C++

#pragma once
 
#include "Person.h"
 
class IDataContext
{
public:
    virtual ~IDataContext() {};
    virtual void SavePerson(const Person &person) = 0;
};

C++

class MockDataContext : public IDataContext
{
public:
    MOCK_METHOD1(SavePerson, void(const Person &person));
};

@Undisputed · 13.01.2019, 16:38

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

Абстрактный класс выполняет роль интерфейса.

Думаю это выражение не совсем некорректно.

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

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

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

А когда заранее реализация ни одного метода неизвестна - надо использовать интерфейс.

В С++ нет интерфейсов и абстрактных классов на программном уровне как в некоторых других языках (interface, abstract class).
Но понимая их суть - можно реализовать классы/структуры по принципу абстрактных классов/интерфейсов используя виртуальные методы.

На практике вполне может возникнуть ситуация, где абстрактный класс используется в паре с интерфейсом...

@mustimur 320 / 225 / 74 Регистрация: 22.11.2013 Сообщений: 865 Записей в блоге: 1
	12.01.2019, 21:57	2
	MaxKech, Вы сами ответили на свой вопрос, абстрактный класс - фундамент и основа для производных классов, и часто сам по себе недееспособный. Но зато указатель на абстрактный класс, может указывать на производные классы, таким образом в один массив собрать разные производные классы. Это дает довольно мощные возможности, при этом компилятор защитит от создания экземпляра абстрактного (недееспособного класса) 1

@eva2326 1535 / 455 / 101 Регистрация: 17.05.2015 Сообщений: 1,423
	12.01.2019, 22:18	3
	Сообщение было отмечено Evg как решение Решение Сообщение от MaxKech Можете объяснить в чём смысл абстрактного класса? Абстрактный класс выполняет роль интерфейса. Определяет какие именно методы обязаны будут поддерживать будущие наследники. Он нужен, что бы в своей программе вы могли оперировать именно интерфейсом, абстрагировавшись от конкретных наследников. Сообщение от MaxKech Это будет виртуальный метод без реализации. Согласен, будет возможность создать объект данного класса, но тогда, опять же, можно не писать никакой реализации Чисто-виртуальная функция не просто определяет контракт - метод, который обязаны поддерживать все будущие наследники. Но и в буквальном смысле слова вынуждает реализовывать этот метод в наследниках. Виртуальная функция с телом в базовом классе выполняет роль "поведения по умолчанию". В наследнике её можно переопределить, а можно и не переопределять. Чисто-виртуальная заставляет обязательно писать реализацию в каждом наследнике. Это нужно например для тех случаев, когда на уровне интерфейса в принципе нельзя предугадать какая может быть реализация. Но при этом эта реализация нужна. Например, для работы некоторой библиотеки нужно получить какие то важные данные. Но заранее не известно, где и как они будут храниться. Может быть просто в файле на диске. А может быть в базе данных. Здесь не получится реализовать поведение по умолчанию. Чисто-виртуальный метод не позволит разработчику ничайно забыть реализовать важный метод. 4

@Undisputed 872 / 459 / 90 Регистрация: 10.06.2014 Сообщений: 2,665
	13.01.2019, 16:38	5
	Сообщение от eva2326 Абстрактный класс выполняет роль интерфейса. Думаю это выражение не совсем некорректно. Абстрактный класс, это класс который содержит хотя бы один абстрактный метод. Такой класс так же может содержать в себе поля и методы, которые не являются абстрактными. В случае интерфейса - все методы являются абстрактными, а поля отсутствуют. Если реализация некоторых методов у подтипов заранее известна и в случае если данная реализация общая для определенной группы типов, то эти общие реализации методов можно поместить в абстрактном классе, который будет базовым для этой группы типов. Методы, реализации которых не являются общими для подтипов - оставляются абстрактными. Вот так приблизительно выглядит среднестатистический абстрактный класс Естественно тут важно понимать что на одну сущность надо возлагать одну ответственность. Т.е не пытайтесь написать один абстрактный класс "на все случаи жизни" А когда заранее реализация ни одного метода неизвестна - надо использовать интерфейс. В С++ нет интерфейсов и абстрактных классов на программном уровне как в некоторых других языках (interface, abstract class). Но понимая их суть - можно реализовать классы/структуры по принципу абстрактных классов/интерфейсов используя виртуальные методы. На практике вполне может возникнуть ситуация, где абстрактный класс используется в паре с интерфейсом... 1

Опции темы

Зачем нужны абстрактные классы и методы?

Решение