Модераторы: Daevaorn

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> шаблонный operator= 
V
    Опции темы
MAKCim
Дата 9.2.2006, 19:16 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Воін дZэна
****


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

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



Есть один вопрос, допустим есть какой-нибудь контейнер, пусть даже smart pointer
Код

template<class T> class container
{
private:
    T* pointer;
public:
...
    template<class C> container<T>& operator=(const container<C>& object)
    {
    }
};

вопрос в том, как можно реализовать operator=, чтобы можно было присваивать объекту класса container<T> объект класса container<C> в случае если класс C - реализация интерфейса T или просто T - открытый базовый класс для C. Вообщем надо каким-то образом получить pointer типа C* из object в примере выше. Сложность в том, что нельзя пользоваться оператором преобразования template<class P> operator container<P>() {...}, ввиду его неявного применения там, где это не нужно


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

PM MAIL   Вверх
Daevaorn
Дата 9.2.2006, 19:23 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Комодератор
Сообщений: 2155
Регистрация: 29.11.2004
Где: Москва

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



MAKCim
а чем не устраивает?
Код

 template<class C> container<T>& operator=(const container<C>& object)
    {
       //...
       p = object.p;
       //...
       return *this;
    }


PM MAIL WWW   Вверх
Hroft
Дата 9.2.2006, 19:27 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 310
Регистрация: 20.10.2003
Где: Москва

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



Ты собираешься нарушить семантику присваивания, на мой взгляд.
Где ты видел, чтобы типы аргументов оператора присваивания различались?
PM MAIL ICQ   Вверх
Daevaorn
Дата 9.2.2006, 19:32 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Комодератор
Сообщений: 2155
Регистрация: 29.11.2004
Где: Москва

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



Цитата(Hroft @ 9.2.2006, 19:27 Найти цитируемый пост)

Где ты видел, чтобы типы аргументов оператора присваивания различались?

Хе. это иногда бывает полезноsmile Вот std::auto_ptr
Код

template<class _Other>
        auto_ptr<_Ty>& operator=(auto_ptr<_Other>& _Right) _THROW0()
        {    // assign compatible _Right (assume pointer)
        reset(_Right.release());
        return (*this);
        }

PM MAIL WWW   Вверх
Hroft
Дата 9.2.2006, 19:38 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 310
Регистрация: 20.10.2003
Где: Москва

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



Ну ладно. Тогда к твоему p = pointer.p надо добавить еще освобождение правого аргумента, в смысле ему какой-нибудь null присвоить.

Это сообщение отредактировал(а) Hroft - 9.2.2006, 19:57
PM MAIL ICQ   Вверх
Lotrex
Дата 9.2.2006, 19:47 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 95
Регистрация: 9.2.2006
Где: Казань

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



Цитата

MAKCim
а чем не устраивает?
Код

 template<class C> container<T>& operator=(const container<C>& object)
    {
       //...
       p = object.p;
       //...
       return *this;
    }


По-моему, лучше сделать так:
Код

 template<class T> container<T>& operator=(const container<T>& object)
    {
       //...
       p = new T
       *p = *(object.p);
       //...
       return *this;
    }


Я умышленно в списке пр-ров написал container<T> а не container<С>
Если преобразование типов будет допустимо, то тип параметра object или при вызове преобразуется автоматически, или преобразование можно явно при вызове указать...
PM MAIL ICQ   Вверх
Daevaorn
Дата 9.2.2006, 19:53 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Комодератор
Сообщений: 2155
Регистрация: 29.11.2004
Где: Москва

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



Lotrex
Это: p = new T
накладывает ограничение на класс T, т.е. наличие открытого конструктора по умолчанию, что может быть не очень удобно если его нет, тогда использовать этот контейнер с таким классом нельзя. Ещё то, что это лишние операции, которые в принципе могут быть не нужны и могут повлеч за собой падение производительности. Хотя, конечно, всё зависит от реализации контейнера и клиентских классов...
PM MAIL WWW   Вверх
Lotrex
Дата 9.2.2006, 20:07 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 95
Регистрация: 9.2.2006
Где: Казань

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



Может, тогда вот так:
Код

template<class T> container<T>& operator=(const container<T>& object)
    {
       //...
       p = new typeid(object);
       *p = *(object.p);
       //...
       return *this;
    }


Вообще-то, если p - указатель, и мы не хотим поиметь проблем, то без new тут никак не обойтись.
PM MAIL ICQ   Вверх
Hroft
Дата 9.2.2006, 20:11 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 310
Регистрация: 20.10.2003
Где: Москва

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



А что ты изменил? Предполагается все равно наличие public конструктора без параметров. И почему проблемы? Наша цель - уничтожить объект только когда он не нужен, и не раньше.
PM MAIL ICQ   Вверх
Lotrex
Дата 9.2.2006, 20:16 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 95
Регистрация: 9.2.2006
Где: Казань

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



Даже нет, без typeid:
Код

template<class T> container<T>& operator=(const container<T>& object)
    {
       //...
       p = new T(object);
       *p = *(object.p);
       //...
       return *this;
    }

PM MAIL ICQ   Вверх
Daevaorn
Дата 9.2.2006, 20:21 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Комодератор
Сообщений: 2155
Регистрация: 29.11.2004
Где: Москва

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



Lotrex
smile А тут те же яйца только в профильsmile Теперь нужен конструктор копирования открытый. И твои заявления по поводу new тоже не обоснованыsmile
Это всё не имеет смысла, поскольку мы не знаем поведение класса container и деталей его реализации.
PM MAIL WWW   Вверх
Mayk
Дата 9.2.2006, 20:27 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


^аВаТаР^ сообщение>>
****


Профиль
Группа: Участник
Сообщений: 2616
Регистрация: 22.5.2005
Где: за границей разум а

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



Силу метапрограммирования использовать можно.


Код

template<class T> class container
{
    T* pointer;

public:
    const T* get()const{return pointer;}
    template<class C> container<T>& operator=(const container<C>&  
                          object){
       enum{ Check = FailOnFalse<IsConvertibleTo<C*,T*>::Value>::Value };
           pointer = const_cast<T*>(static_cast<const T*>((object.get())));
    }
};

class Foo{};
class FooBar : public Foo{};

int main()
{
    container<Foo> cFoo;
    container<FooBar> cFooBar;

    cFoo = cFooBar; //ok
    cFooBar = cFoo; //ct error

}

А вспомогательеые классы это что-то типа этого:



Код

template <class A, class B>
class IsConvertibleTo
{
        struct SingleByte{char a[1];};
        struct NonSingleByte{char a[2048];};

        static SingleByte check(B);
        static NonSingleByte check(...);

        public:
        enum{
                Value = sizeof(check(*static_cast<A*>(0)))==sizeof(SingleByte)
        };
};

template<bool b> class FailOnFalse;
template<> struct FailOnFalse<true> {enum{Value=1};};


зы. проверено гнус4 и комом

Это сообщение отредактировал(а) Mayk - 9.2.2006, 20:30


--------------------
 Здесь был кролик. Но его убили.
Человеки < кроликов, йа считаю.
PM MAIL WWW ICQ   Вверх
MAKCim
Дата 9.2.2006, 20:39 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Воін дZэна
****


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

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



Цитата

Я умышленно в списке пр-ров написал container<T> а не container<С>

дело в том, что
Код

template<class T> class container
{
...
    template<class T> container<T>& operator=(const container<T>& object) {...}
};

не скомпилируется по понятным причинам (shadows template parm 'class T') (gcc 4.0)
Daevaorn
Цитата

а чем не устраивает?
Код

 template<class C> container<T>& operator=(const container<C>& object)
    {
       //...
       p = object.p;
       //...
       return *this;
    }


написать object.p нельзя т.к container<C> и container<T> разные типы, причем p находится в private секции, т е из container<T> нет доступа к container<C>:smile
Добавлено @ 20:41
Mayk
а если у нас нет
Код

const T* get() const {return pointer;}



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

PM MAIL   Вверх
Lotrex
Дата 9.2.2006, 20:42 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 95
Регистрация: 9.2.2006
Где: Казань

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



Цитата

.... И почему проблемы? Наша цель - уничтожить объект только когда он не нужен, и не раньше.

Если сделать так:
Код

template<class C> container<T>& operator=(const container<C>& object)
    {
       //...
       p = object.p;
       //...
       return *this;
    }

и p - это указатель, мы скопируем тока значение указателя, а не данные, на которые он указывает(а надо бы совсем наоборот - данные скопировать в другую область памяти). Вот простенький примерчик(ничего, если там нужны конструкторы по умолчанию? smile ):
Код

    container<T>  a;
    container<C> *b;
    //.....
    b = new container<C>;
    //....
    a = *b;
    //....
    delete b; //После этого указатель a.p указывает на "убитую" область памяти.
    //.....
    return; //А в этом месте будет кердык типа "Segmentation fault"

PM MAIL ICQ   Вверх
MAKCim
Дата 9.2.2006, 20:47 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Воін дZэна
****


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

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



Mayk
Цитата

Код

 enum{ Check = FailOnFalse<IsConvertibleTo<C*,T*>::Value>::Value };
           pointer = const_cast<T*>(static_cast<const T*>((object.get())));


думаю тут можно и не использовать проверку на конвертируемость, т. к
Код

static_cast<const T*>((object.get()))

компилятор выдаст ошибку на этапе компиляции если C* не преобразуется в T*


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

PM MAIL   Вверх
Ответ в темуСоздание новой темы Создание опроса
Правила форума "С++:Общие вопросы"
Earnest Daevaorn

Добро пожаловать!

  • Черновик стандарта C++ (за октябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика(4.4мб).
  • Черновик стандарта C (за сентябрь 2005) можно скачать с этого сайта. Прямая ссылка на файл черновика (3.4мб).
  • Прежде чем задать вопрос, прочтите это и/или это!
  • Здесь хранится весь мировой запас ссылок на документы, связанные с C++ :)
  • Не брезгуйте пользоваться тегами [code=cpp][/code].
  • Пожалуйста, не просите написать за вас программы в этом разделе - для этого существует "Центр Помощи".
  • C++ FAQ

Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Earnest Daevaorn

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


 




[ Время генерации скрипта: 0.1281 ]   [ Использовано запросов: 21 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.