Наследовать от константного класса (C++)
Скажем, у меня есть класс под названием DataStructure и другой класс под названием ConstDataStructure, связанные, как показано ниже:
class DataStructure
{
public:
DataStructure();
virtual ~DataStructure();
unsigned char * data();
template <class T>
void setData(T data);
private:
unsigned char * data_;
}
а также
class ConstDataStructure
{
public:
ConstDataStructure();
virtual ~ConstDataStructure();
const unsigned char * data() const;
private:
const unsigned char * data_;
}
Меня просят «заставить DataStructure наследовать от ConstDataStructure для повторного использования». Однако это не кажется логичным заявлением. Меня учили, что наследование похоже на отношения «есть-а», поэтому, если A наследуется от B, это все равно, что сказать, что «A - это B». Здесь это все равно что сказать, что «DataStructure - это ConstDataStructure», что, похоже, не так, поскольку класс DataStructure имеет изменяемый объект data_ с функцией установки, тогда как ConstDataStructure обязательно не имеет ни того, ни другого. Для ConstDataStructure кажется более естественным наследование от DataStructure, поскольку это тот же тип класса, но более конкретный его экземпляр. Или просто не наследовать ни в одном из направлений, хотя это кажется излишним.
Я здесь не прав? Насколько разумна просьба? Если да, то как работает наследование от константной версии класса?
«А - это Б» означает, что вы можете сделать с А, все, что вы можете сделать с Б, а может и больше. Тогда имеет смысл, что константная структура данных, имеющая доступ только для чтения, является базовым классом нормальной структуры данных, к которой также имеет доступ для записи.
Есть ли разница между константным классом и классом с константными членами?
@Quentin Я понимаю, как это могло быть так, но разве это не означает, что DataStructure наследует постоянство data () и data_?
Предупреждение: похоже, вы нарушаете Правило трех.
В стандартной библиотеке уже используется нечто подобное: связь между const_iterator и iterator.
У ConstDataStructure, похоже, нет никаких средств для инициализации своего члена data_. Непонятно, для какой цели он служит.
@IgorTandetnik, который обрабатывается в конструкторе. Здесь конструктор по умолчанию не принимает никаких аргументов, но вы можете представить, что он будет написан аналогичным образом. Я не думаю, что необходимо явно писать каждый возможный тип конструктора, чтобы задать этот вопрос.
Если бы вы могли изменить ConstDataStructure так, чтобы его член data_ был protected и неконстантный, то DataStructure мог бы быть производным от него и отбросить свой собственный член data_. В качестве альтернативы (и, возможно, предпочтительнее) создать общий базовый класс, в котором хранятся данные, и получить от него как DataStructure, так и ConstDataStructure.
@ AlexanderJ93 data() можно перегрузить, чтобы получить версию const и версию, отличную от const. Что касается data_, это деталь реализации - и демонстрация того, что разумный интерфейс не обязательно соответствует простой реализации :)
Вы правы в том, что наследованием нельзя злоупотреблять только для повторного использования кода. Однако, вероятно, это должны быть только
DataStructureиconst DataStructure. Я не могу придумать, почему вы хотели бы иметь эти отдельные