Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > шаблонный operator=

Автор: MAKCim 9.2.2006, 19:16

Есть один вопрос, допустим есть какой-нибудь контейнер, пусть даже 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>() {...}, ввиду его неявного применения там, где это не нужно

Автор: Daevaorn 9.2.2006, 19:23

MAKCim а чем не устраивает? Код  template<class C> container<T>& operator=(const container<C>& object)     {        //...        p = object.p;        //...        return *this;     }

Автор: Hroft 9.2.2006, 19:27

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

Автор: Daevaorn 9.2.2006, 19:32

Цитата(Hroft @ 9.2.2006, 19:27 ) Где ты видел, чтобы типы аргументов оператора присваивания различались? Хе. это иногда бывает полезно Вот 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);         }

Автор: Hroft 9.2.2006, 19:38

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

Автор: Lotrex 9.2.2006, 19:47

Цитата 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 или при вызове преобразуется автоматически, или преобразование можно явно при вызове указать...

Автор: Daevaorn 9.2.2006, 19:53

Lotrex Это: p = new T накладывает ограничение на класс T, т.е. наличие открытого конструктора по умолчанию, что может быть не очень удобно если его нет, тогда использовать этот контейнер с таким классом нельзя. Ещё то, что это лишние операции, которые в принципе могут быть не нужны и могут повлеч за собой падение производительности. Хотя, конечно, всё зависит от реализации контейнера и клиентских классов...

Автор: Lotrex 9.2.2006, 20:07

Может, тогда вот так: Код template<class T> container<T>& operator=(const container<T>& object)     {        //...        p = new typeid(object);        *p = *(object.p);        //...        return *this;     } Вообще-то, если p - указатель, и мы не хотим поиметь проблем, то без new тут никак не обойтись.

Автор: Hroft 9.2.2006, 20:11

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

Автор: Lotrex 9.2.2006, 20:16

Даже нет, без typeid: Код template<class T> container<T>& operator=(const container<T>& object)     {        //...        p = new T(object);        *p = *(object.p);        //...        return *this;     }

Автор: Daevaorn 9.2.2006, 20:21

Lotrex А тут те же яйца только в профиль Теперь нужен конструктор копирования открытый. И твои заявления по поводу new тоже не обоснованы Это всё не имеет смысла, поскольку мы не знаем поведение класса container и деталей его реализации.

Автор: Mayk 9.2.2006, 20:27

Силу метапрограммирования использовать можно. Код 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 и комом

Автор: MAKCim 9.2.2006, 20:39

Цитата Я умышленно в списке пр-ров написал 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>: Добавлено @ 20:41 Mayk а если у нас нет Код const T* get() const {return pointer;}

Автор: Lotrex 9.2.2006, 20:42

Цитата .... И почему проблемы? Наша цель - уничтожить объект только когда он не нужен, и не раньше. Если сделать так: Код template<class C> container<T>& operator=(const container<C>& object)     {        //...        p = object.p;        //...        return *this;     } и p - это указатель, мы скопируем тока значение указателя, а не данные, на которые он указывает(а надо бы совсем наоборот - данные скопировать в другую область памяти). Вот простенький примерчик(ничего, если там нужны конструкторы по умолчанию? ): Код     container<T>  a;     container<C> *b;     //.....     b = new container<C>;     //....     a = *b;     //....     delete b; //После этого указатель a.p указывает на "убитую" область памяти.     //.....     return; //А в этом месте будет кердык типа "Segmentation fault"

Автор: MAKCim 9.2.2006, 20:47

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*

Автор: Daevaorn 9.2.2006, 21:05

MAKCim Цитата(MAKCim @ 9.2.2006, 20:39 ) написать object.p нельзя т.к container<C> и container<T> разные типы, причем p находится в private секции, т е из container<T> нет доступа к container<C> Мдя, лажанулся. Тогда действительно как предложил Mayk - метод get() и static_cast

Автор: Lotrex 9.2.2006, 21:07

Ладно, вот мой smartpointer (пользуюсь им уже без малого 3 года, ни разу не подводил): Код template <class Type> class dynvect  //Dynamic vector of Type { public:     dynvect();                 //Конструктор     dynvect(const dynvect<Type> &dv);//Конструктор копирования.     int setlength(int length); //установить длину массива     int add(Type el);//добавить элемент массива.     int length(void) const;//Получить длину массива     ~dynvect();     //Деструктор     dynvect<Type> &operator = (const dynvect<Type> &dv);//Присваивание     Type &operator [](int index);//Оператор индексирования массива     operator Type*(void) const; //Оператор преобразования указателя.     void remove(int index);//Удаление элемента с номером index. private:     Type *ptr;     int len; }; А вот реализация оператора присваивания: Код template <class Type> dynvect<Type> &dynvect<Type>::operator = (const dynvect<Type> &dv) {     setlength(dv.length());     Type *p = ptr;     for(int i=0; i < len; i++)         *p++ = dv.ptr[i];     return *this; } Все фурыкает, и без глюков. Функция setlength выделяет память для указателя ptr (писать не буду, но там тоже нужен конструктор по умолчанию). Ежели сюда впихнуть класс, производный от Type - думаю, должно работать, единственное условие - у этих классов д.б. конструторы по умолчанию. Черт, извиняюсь, это т.н. "безопасный массив", safe array, который я содрал из книжки "Структуры данных в C++"... (а не smart pointer, про который я вообще нифига не знаю).

Автор: Mayk 9.2.2006, 21:10

О! Нашёл. Тут дружбу использовать следует Код template<class T> class container {     T* pointer;  template <class U> friend      class container; public:     template<class C> container<T>& operator=(const container<C>&                                                         object){            pointer = object.pointer;     } };

Автор: MAKCim 9.2.2006, 22:05

Цитата О! Нашёл. Тут дружбу использовать следует Код template<class T> class container {     T* pointer;  template <class U> friend      class container; public:     template<class C> container<T>& operator=(const container<C>&                                                         object){            pointer = object.pointer;     } }; где такое компилируется? у меня (gcc) выдает Цитата class container<T> has the same name as the class in which it is declared

Автор: MAKCim 9.2.2006, 22:22

Mayk, извини, все работает! я и сам уже нашел решение но намного длиннее чем это

Автор: zabivator 14.9.2006, 13:27

Берем смарт-поинтер Александреску и не паримся. Там же оператор присвения курим

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)