VPF::Доступ к полям потомков - Форум программистов

CPlusPlusFAN

Дата 20.2.2006, 21:48 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 315
Регистрация: 1.11.2005
Где: Воронеж

Репутация: нет
Всего: нет

Имеется класс:

Код


class cl
{
/*Поля класса cl*/
};

Ещё есть 2 класса:

Код


class cl1:public cl
{
/*Поля класса cl1*/
};

class cl2:public cl
{
/*Поля класса cl2*/
};

И класс-контейнер:

Код


class cont
{
cl *elem;
const char*ClassName;
public:
cont(int):ClassName("cl1"){elem=new cl1;}
cont(int,int):ClassName("cl2"){elem=new cl2;}
cl* operator ->(){return elem;}//Вот здесь проблема...
~cont(){delete elem;}
};

Класс cont содержит элемент базового класса cl и имя действительного класса ClassName.
А вот оператор стрелка возвращает указатель на elem. Но вот проблема, с помощью оператора можно получить доступ только к базовому классу. А можно ли получить доступ (без явного приведения) именно к полю elem как к классу cl1 или cl2 (в зависимости от того, какой конструктор выбран)?
Я понимаю, что elem формируется во время выполнения, но всё же...

chipset

Дата 20.2.2006, 22:16 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 4071
Регистрация: 11.1.2003
Где: Seattle, US

Репутация: 27
Всего: 165

Шаблоны, специализация конструктора и dynamic_cast спасут тебя.

--------------------

Цитата(Jimi Hendrix)

Well, I stand up next to a mountain
And I chop it down with the edge of my hand

CPlusPlusFAN

Дата 21.2.2006, 00:11 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 315
Регистрация: 1.11.2005
Где: Воронеж

Репутация: нет
Всего: нет

Спасибо, я тоже думал про шаблоны, а можно пример?

chipset

Дата 21.2.2006, 01:29 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 4071
Регистрация: 11.1.2003
Где: Seattle, US

Репутация: 27
Всего: 165

Примерно так.

Код


template <typename T>
cl* operator ->(){
return dynamic_cast<T*>(elem);
}

или так

Код


template <class T>
class cont
    
{
    
cl *elem;
    
const char*ClassName;
    
public:

cont(int,int);
cont(int);



    
cl* operator ->(){return dynamic_cast<cl2>(elem);}//Вот здесь проблема...
    
~cont(){delete elem;}
    
}; //class cont
template<> cont<cl1>::cont(int a, int b) {}
template<> cont<cl2>::cont(int a) {}

--------------------

Цитата(Jimi Hendrix)

Well, I stand up next to a mountain
And I chop it down with the edge of my hand

MAKCim

Дата 21.2.2006, 09:27 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Цитата

Примерно так.

Код


template <typename T>
cl* operator ->(){
return dynamic_cast<T*>(elem);
}

зачем приводить все к T* а затем возвращать заново cl*?
кроме того ты уверен, что cl - полифорфный, чтобы применять dynamic_cast?

Это сообщение отредактировал(а) MAKCim - 21.2.2006, 09:28

--------------------

Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©

chipset

Дата 21.2.2006, 10:04 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 4071
Регистрация: 11.1.2003
Где: Seattle, US

Репутация: 27
Всего: 165

Цитата(MAKCim @ 20.2.2006, 23:27

)

зачем приводить все к T* а затем возвращать заново cl*?

Ступил

Цитата(MAKCim @ 20.2.2006, 23:27

)

кроме того ты уверен, что cl - полифорфный, чтобы применять dynamic_cast?

Нет. А у тебя есть метода получше? smile

--------------------

Цитата(Jimi Hendrix)

Well, I stand up next to a mountain
And I chop it down with the edge of my hand

threef

Дата 21.2.2006, 11:26 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 375
Регистрация: 27.10.2005
Где: Запорожье

Репутация: 9
Всего: 10

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

Код


class _1{
public:
   virtual int get()=0;
};
class _2:public _1{
   int x;
public:
   int get(){ return x; }//перекрываем метод предка
};
class _3:public _1{
   int x,y;
public:
   int get(){ return x+y; }//перекрываем метод предка
};

[quote]
 class cont
{
_1 *elem;
const char*ClassName;
public:
cont(int):ClassName("cl2"){elem=new _2;}
cont(int,int):ClassName("cl3"){elem=new _3;}
cl* operator ->()
{
[/quote]

return elem->get();//где-то так
[quote]

}
~cont(){delete elem;}
};

 

[/quote]

MAKCim

Дата 21.2.2006, 18:57 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Цитата

Код


class _1{
public:
   [B]virtual ~_1() {}[/B]
   virtual int get()=0;
};
class _2:public _1{
   int x;
public:
   int get(){ return x; }//перекрываем метод предка
};
class _3:public _1{
   int x,y;
public:
   int get(){ return x+y; }//перекрываем метод предка
};
[quote]
 class cont
{
_1 *elem;
const char*ClassName;
public:
cont(int):ClassName("cl2"){elem=new _2;}
cont(int,int):ClassName("cl3"){elem=new _3;}
cl* operator ->()
{
[/quote]
return elem->get();//где-то так
[quote]
}
~cont(){delete elem;}
};

--------------------

Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©

MAKCim

Дата 21.2.2006, 19:15 (ссылка)

(нет голосов)

Загрузка ...

Воін дZэна

Профиль
Группа: Экс. модератор
Сообщений: 5644
Регистрация: 10.12.2005
Где: Менск, РБ

Репутация: 52
Всего: 207

Цитата

Нет. А у тебя есть метода получше?

может это

Код


...
using std::auto_ptr;

template<class Base, class List> class container
{
private:
    auto_ptr<Base> pointer;
public:
    class bad_convert {...};
    container(int a)
        : pointer(new typename index_type<List,0>::type) {}
    container(int a, int b)
        : pointer(new typename index_type<List,1::type>) {}
    ...
    template<class U> U* get()
    {
        U* ptr=convert<Base,U>::cnvt(pointer);
        assert<bad_convert>(ptr);
        return ptr;
    }
};
...
class A
{
public:
    virtual ~A()=0;
};

A::~A() {}

class B: public A {};
class C: public A {};

int main()
{
    container<A,typelist2(B,C)> w(345);
    w.get<B>()...;          //как сделать w.get()... я не знаю
    return 0;
}

List - список типов производных от Base классов длины равной кол-ву перегруженных версий конструктора
Base - базовый класс
index_type - определяет тип в списке типов по его порядковому номеру в нем
convert - определяет является ли U - производным от Base
cnvt - статический метод convert, пытается сконвертировать pointer в U*

про списки типов см. Александреску smile

--------------------

Ах, у елі, ах, у ёлкі, ах, у елі злыя волкі ©

CPlusPlusFAN

Дата 21.2.2006, 19:56 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 315
Регистрация: 1.11.2005
Где: Воронеж

Репутация: нет
Всего: нет

У меня начинает складываться впечатление, что эта задача вообще не разрешима без приведения типа извне...

За время решения задачи мне на ум пришло 3 возможных метода:
1) общий потомок. Класс, унаследованный от 2-х потомков класса cl. Этот метод не пашет, т.к. поля одного из родительских классов будут неинициализированы.
2) шаблон. Оформление оператора-селектора в виде шаблона, но при этом при доступе к классу требуется явно задать тип в <>.
3) виртуальные методы возврата. Возврат полей класса виртуальной(ыми) функцией(ями). Если возвращать по одному полю из функции, то количество функций будет меняться при добавлении/удалении полей, да и при несовпадении количества и типов полей у разных потомков это приводит в тупик. Если возвращать структуры полей, то для всех потомков будет 1 структура на всех (т.е. общая), но при инициализации часть полей будет неопределена (и пользователь может перепутать поля, особенно, если их много).

Итак, все 3 способа привели в тупик... Может, у кого-то есть ещё предложения???

Earnest

Дата 21.2.2006, 21:29 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

Цитата(CPlusPlusFAN @ 21.2.2006, 19:56

)

Итак, все 3 способа привели в тупик...

Это потому, что ты пытаешься родить общую теорию всего. smile

Задачу поставь поконкретней...

А вообще приведенный тобой класс cont напоминает попытку сваять smart-pointer, т.е. псевдо-указатель, инкапсулирующий управление памятью. Если дело только в этом, то задача давно успешно решена товарищами Мейерсом, Александреску,etc... Да вот хотя бы boost::smart_pointer...

--------------------

...

CPlusPlusFAN

Дата 21.2.2006, 21:58 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 315
Регистрация: 1.11.2005
Где: Воронеж

Репутация: нет
Всего: нет

Цитата

Задачу поставь поконкретней...

Итак уже поставил, конкретней некуда:

необходимо, чтобы указатель elem в классе cont возвращал указатель на корректный класс (cl1 или cl2). Т.е., чтобы пользователю не приходилось делать что-то вроде:

Код


if (a->ClassName=="cl1") (dynamic_cast<cl1*>(elem))->...;
else (dynamic_cast<cl2*>(elem))->...;

Это сообщение отредактировал(а) CPlusPlusFAN - 21.2.2006, 21:59

np9mi7

Дата 22.2.2006, 00:17 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 553
Регистрация: 17.8.2003
Где: Volgograd, Russia

Репутация: 5
Всего: 10

Цитата

У меня начинает складываться впечатление, что эта задача вообще не разрешима без приведения типа извне...

Это смотря как задачу поставить:

1.) Если действительный тип не известен на этапе компиляции, то придеться делать dynamic_cast либо определять общий интерфейс;

2.) Если действительный тип известен на этапе компиляции, то использование шаблонов даст красивое решение, без такого ужаса:

Код

if (a->ClassName=="cl1") (dynamic_cast<cl1*>(elem))->...;
else (dynamic_cast<cl2*>(elem))->...;

, за который руки нужно отрывать (прости CPlusPlusFAN - ничего личного). Если хочеться так делать, то typeid есть, а вообще использования таких вещей нужно как огня бояться;

Это сообщение отредактировал(а) np9mi7 - 22.2.2006, 00:24

--------------------

"Я точно знаю то, что ничего не знаю..." Сократ.
evolution project

CPlusPlusFAN

Дата 23.2.2006, 01:17 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 315
Регистрация: 1.11.2005
Где: Воронеж

Репутация: нет
Всего: нет

np9mi7, действительный тип неизвестен, ведь пользователь сам волен выбирать, какой из конструкторов выбрать:

Код


cont(int):ClassName("cl1"){elem=new cl1;}
cont(int,int):ClassName("cl2"){elem=new cl2;}

Цитата(np9mi7 @ 22.2.2006, 00:17

)

за который руки нужно отрывать

А думаете мне это нравится?

Цитата(np9mi7 @ 22.2.2006, 00:17

)

то придеться делать dynamic_cast либо определять общий интерфейс

А вот отсюда можно поподробней?

np9mi7

Дата 23.2.2006, 13:49 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 553
Регистрация: 17.8.2003
Где: Volgograd, Russia

Репутация: 5
Всего: 10

CPlusPlusFAN, перед тем как всё это прочтешь, поймешь всю сложность задачи и уродливость любого из его решений - задай себе вопрос "Тип точно не известен на этапе компиляции?"

Итак, если тебе тип не известен, то стандартнее делать так:

1) dynamic_cast:

Базовый тип:

Код


class CBase
{

        CBase (const CBase &);
        const CBase& operator = (const CBase &);

    public:
        CBase (){}
        virtual ~CBase (){};
};

Определение потомков:

Код


class CChild1 : public CBase
{
        const char m_cValue;

        CChild1 (const CChild1 &);
        const CChild1& operator = (const CChild1 &);

    public:
        CChild1 () : m_cValue (){}
        virtual ~CChild1 (){};
        
        char GetCharValue () const                                    /// УНИКАЛЬНОЕ свойство объекта
        {
            return m_cValue;
        }
};

class CChild2 : public CBase
{
        const int m_iValue;

        CChild2 (const CChild2 &);
        const CChild2& operator = (const CChild2 &);

    public:
        CChild2 () : m_iValue (){}
        virtual ~CChild2 (){};
        
        int GetIntValue () const                                    /// УНИКАЛЬНОЕ свойство объекта
        {
            return m_iValue;
        }
};

Используй почти стандартный boost::shared_ptr вместо написания своего owner - а

Код


typedef boost::shared_ptr <CBase> CBasePtr;

Функция которая будет работать с конткетным типом, имея только абстрактный тип:

Код


void SomeFunction (CBasePtr ptrBase)
{
    if (typeid ( * ptrBase.get ()) == typeid (CChild1))
    {
        CChild1 * const pChild1 = 
            dynamic_cast <CChild1 * const> (ptrBase.get ());
        
        /// ...
        
        pChild1->GetCharValue ();                               /// использование УНИКАЛЬНОГО свойства объекта
        
        /// ...

        return;
    }
    else if (typeid ( * ptrBase.get ()) == typeid (CChild2))
    {
        CChild2 * const pChild2 = 
            dynamic_cast <CChild2 * const> (ptrBase.get ());
        
        /// ...
        
        pChild2->GetIntValue ();                                /// использование УНИКАЛЬНОГО свойства объекта
        
        /// ...

        return;
    }
    
    throw std::logic_error ("Unknown child type!");
}

2) Общий интерфейс

Базовый тип:

Код


class CBase
{

        CBase (const CBase &);
        const CBase& operator = (const CBase &);

    public:
        
        CBase (){}
        virtual ~CBase (){};

        virtual char GetCharValue () const = 0;                        /// ОБЩИЙ интерфейс
        virtual int GetIntValue () const = 0;                        /// ОБЩИЙ интерфейс
};

Определение потомков:

Код


class CChild1 : public CBase
{
        const char m_cValue;

        CChild1 (const CChild1 &);
        const CChild1& operator = (const CChild1 &);

    public:
        CChild1 () : m_cValue (){}
        virtual ~CChild1 (){};
        
        virtual char GetCharValue () const                            /// реализация ОБЩЕГО интерфейса
        {
            return m_cValue;
        }

        virtual int GetIntValue () const                            /// реализация ОБЩЕГО интерфейса
        {
            throw std::logic_error ("Method not implemented!");
        }
};

class CChild2 : public CBase
{
        const int m_iValue;

        CChild2 (const CChild2 &);
        const CChild2& operator = (const CChild2 &);

    public:
        CChild2 () : m_iValue (){}
        virtual ~CChild2 (){};
        
        virtual char GetCharValue () const                            /// реализация ОБЩЕГО интерфейса
        {
            throw std::logic_error ("Method not implemented!");
        }

        virtual int GetIntValue () const                            /// реализация ОБЩЕГО интерфейса
        {
            return m_iValue;
        }
};

Используй почти стандартный boost::shared_ptr вместо написания своего owner - а

Код


typedef boost::shared_ptr <CBase> CBasePtr;

Функция которая будет работать с конткетным типом, имея только абстрактный тип (необходимо следить за исключениями):

Код


void SomeFunction (CBasePtr ptrBase)
{
    /// ...
    ptrBase->GetCharValue ();                                       /// использование ОБЩЕГО интерфейса объекта
    /// ...

    /// ...
    ptrBase->GetIntValue ();                                           /// использование ОБЩЕГО интерфейса объекта
    /// ...
}

Это сообщение отредактировал(а) np9mi7 - 24.2.2006, 01:11

--------------------

"Я точно знаю то, что ничего не знаю..." Сократ.
evolution project

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »