Можно ли обойтись без виртуального наследования?

Question

[Кролик Пушистый]

У меня есть ромбовидное наследование интерфейсов: общий интерфейс IReadableDataset виртуально наследуется двумя другими: IEditableDataset и IStatisticalDataset. В свою очередь, есть реализация CDatasetImpl, которая реализует IStatisticalDataset и IEditableDataset.


Можно ли обойтись без виртуального наследования? Например, с помощью какого-то хитрого трюка с шаблонами?

class IReadableDataset
{
public:
    virtual void SayReadableDataset() const = 0;
};

class IEditableDataset: virtual public IReadableDataset
{
public:
    virtual void SayEditableDataset() const = 0;
};

class IStatisticalDataset: virtual public IReadableDataset
{
public:
    virtual void SayStatisticalDataset() const = 0;
}

class CDatasetImpl: public IEditableDataset, public IStatisticalDataset
{
public:
    virtual void SayReadableDataset() const;
    virtual void SayEditableDataset() const;
    virtual void SayStatisticalDataset() const;
};

Answer 1

[Алексей Гусейнов]

Если классы, названия которых начинаются с «I» — это интерфейсы, то есть у них нет своих данных и логики, то такое множественное наследование не считается моветоном.
Но, возможно, в вашем случае можно IEditableDataset переименовать в IWritableDataset и не наследовать его от IReadableDataSet.

Comments

[Кролик Пушистый]

Тут хинт в том, что мне бы ооочень хотелось давать пользователю в одних местах — полностью редактируемый IEditableDataset, а в других местах — IReadableDataset + навешенные на него статистические методы, то бишь, IStatisticalDataset.

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

[Алексей Гусейнов]

Отдавать const и не const объект. Методы, соответсвенно, тоже пометить как const и не const.
А статистические мотоды лучше попробовать навесить агрегацией, а не наследованием. Т.е. сделать класс, который хранит ссылку на dataset и считает статистику. Это более слабая связь, что хорошо.

Answer 2

[vScherba]

Это классический случай множественного наследования интерфейсов. Т.к. они не содержат состояния, нужно просто убрать ключевое слово virtual.
Кстати, для чего Вам здесь понадобилось виртуальное наследование?

Comments

[Кролик Пушистый]

Ну, если я уберу virtual, то при использовании CDatasetImpl меня замучают disambiguition method'ами.

[Алексей Гусейнов]

Зачем убирать virtual, если у них действительно общая база?

[Кролик Пушистый]

Формальные требования к коду.

[vScherba]

> Ну, если я уберу virtual, то при использовании CDatasetImpl меня замучают disambiguition method'ами.
Приведите, пожалуйста, пример кода, когда компилятор начнет ругаться о disambiguition method. Возможно, я что-то упустил, вот этот код компилируется без ошибок: CDatasetImpl().SayReadableDataset();

[vScherba]

> Зачем убирать virtual, если у них действительно общая база?

Виртуальное наследование имеет накладные расходы в рантайм. Но к нему приходится прибегать, когда дубликаты членов-данных в нескольких одинаковых базах недопустимы. IReadableDataset не имеет состояния, поэтому виртуальное наследование здесь бесполезно. Для примера, добрая часть COM-объектов множественно наследуют интерфейсы, которые в свою очередь унаследованы от IUnknown (т.е. IUnknown база имеен несколько копий), и все прекрасно работает без virtual.

[Алексей Гусейнов]

Согласен. Спасибо.

Answer 3

[tbd]

еквивалент на шаблонах например такой, только не сильно красиво…

class ReadableDataset
{
public:
    virtual void SayReadableDataset() const = 0;
};

template<class Base>
class EditableDataset: public Base
{
public:
    virtual void SayEditableDataset() const = 0;
};

template<class Base> 
class StatisticalDataset: public Base
{
public:
    virtual void SayStatisticalDataset() const = 0;
};

class CDatasetImpl: public StatisticalDataset<EditableDataset<ReadableDataset> >
{
public:
    virtual void SayReadableDataset() const
    {
        std::cout << "SayReadableDataset" << std::endl;
    };
    virtual void SayEditableDataset() const
    {
        std::cout << "SayEditableDataset" << std::endl;
    };
    virtual void SayStatisticalDataset() const
    {
        std::cout << "SayStatisticalDataset" << std::endl;
    };
};

template<class T>
void statistic(const StatisticalDataset<T>& x)
{
    x.SayReadableDataset();
    x.SayStatisticalDataset();
}

template<class T>
void edit(EditableDataset<T>& x)
{
    x.SayReadableDataset();
    x.SayEditableDataset();
}

void read(const ReadableDataset& x)
{
    x.SayReadableDataset();
}

int main()
{
    CDatasetImpl a;

    read(a);
    edit(a);
    statistic(a);
    return 0;
}

Comments

[Алексей Гусейнов]

Теперь интерфейсы превратились в шаблонные классы. Как привести указатель к этому базовому классу, чтобы куда-то передать?

[Кролик Пушистый]

Что-то как-то всё не то. То ли я что-то не так делаю, то ли что.

#include <iostream>
using namespace std;

class ReadableDataset
{
public:
	virtual void SayReadableDataset() const = 0;
};

template<class Base>
class EditableDataset: public Base
{
public:
	virtual void SayEditableDataset() const = 0;
};

template<class Base> 
class StatisticalDataset: public Base
{
public:
	virtual void SayStatisticalDataset() const = 0;
};

class CDatasetImpl: public StatisticalDataset<EditableDataset<ReadableDataset> >
{
public:
	virtual void SayReadableDataset() const
	{
		std::cout << "SayReadableDataset" << std::endl;
	};
	virtual void SayEditableDataset() const
	{
		std::cout << "SayEditableDataset" << std::endl;
	};
	virtual void SayStatisticalDataset() const
	{
		std::cout << "SayStatisticalDataset" << std::endl;
	};
};

template<class T>
void statistic(const StatisticalDataset<T>& x)
{
	x.SayReadableDataset();
	x.SayStatisticalDataset();
}

template<class T>
void edit(EditableDataset<T>& x)
{
	x.SayReadableDataset();
	x.SayEditableDataset();
}

void read(const ReadableDataset& x)
{
	x.SayReadableDataset();
}

int main()
{
	CDatasetImpl* datasetImpl = new CDatasetImpl;
	
	ReadableDataset* readable = dynamic_cast<ReadableDataset*>(datasetImpl);
	readable->SayReadableDataset();

	cout << "===" << endl;

	EditableDataset<ReadableDataset>* editable = dynamic_cast<EditableDataset<ReadableDataset>*>(datasetImpl);
	editable->SayReadableDataset();
	editable->SayEditableDataset();
	cout << "===" << endl;

	StatisticalDataset<EditableDataset<ReadableDataset> >* statistical = dynamic_cast<StatisticalDataset<EditableDataset<ReadableDataset> >*>(datasetImpl);
	statistical->SayReadableDataset();
	statistical->SayStatisticalDataset();
	statistical->SayEditableDataset();//этого метода из этого интерфейса видно быть не должно

	return 0;
}



// #include <iostream>
// #include <string>
// using namespace std;
// 
// 
// class IReadableDataset 
// {
// public:
// 	virtual string sayReadable() const = 0;
// };
// 
// 
// 
// Первый из двух родителей для Dataset1
// template <typename T=IReadableDataset>
// class IEditableDataset : public T
// {
// public:
// 	virtual string sayEditable() const = 0;
// };
// 
// Второй из двух родителей для Dataset1
// class IStatistics : public IReadableDataset
// {
// public:
// 	virtual string sayStatistics() const = 0;
// };
// 
// class Dataset : public IEditableDataset<IStatistics> {
// public:
// 	virtual string sayReadable() const;
// 	virtual string sayEditable() const;
// 	virtual string sayStatistics() const;
// };
// 
// std::string Dataset::sayReadable() const
// {
// 	return "Readable";
// }
// 
// std::string Dataset::sayEditable() const
// {
// 	return "Editable";
// }
// 
// std::string Dataset::sayStatistics() const
// {
// 	return "Statistics";
// }
// 
// int main()
// {
// 	Dataset* dataset = new Dataset;
// 	cout << dataset->sayReadable() << endl;
// 	cout << dataset->sayEditable() << endl;
// 	cout << dataset->sayStatistics() << endl;
// 
// 	cout << "==STATS==" << endl;
// 	IStatistics* statistics = dynamic_cast<IStatistics*>(dataset);
// 	cout << statistics->sayReadable() << endl;
// 	cout << statistics->sayStatistics() << endl;
// 
// 	cout << "==DATASET==" << endl;
// 
// 	IEditableDataset<IStatistics>* editable = dynamic_cast<IEditableDataset<IStatistics>*>(dataset);
// 	cout << (editable != 0) << endl;
// 	cout << editable->sayEditable() << endl;
// 	cout << editable->sayReadable() << endl;
// 	cout << editable->sayStatistics() << endl;// не-не-не, я не хочу, чтобы этот метод был видео
// 
// 	return 0;
// }

[tbd]

да вы правы. это не то. неверно понял вопрос.

Answer 4

[Door]

Нет, нельзя.
Это как пытаться не применять ключевое слово virtual для указания того, что данный метод — виртуальный.
Т.е. у Вас есть все условия для применения виртуального наследования — и это не костыль — без его применения — вот это костыль.
Не нравится виртуальное наследование — передумайте свою иерархию классов.