Форум программистов «Весельчак У»
  *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.
Вам не пришло письмо с кодом активации?

  • Рекомендуем проверить настройки временной зоны в вашем профиле (страница "Внешний вид форума", пункт "Часовой пояс:").
  • У нас больше нет рассылок. Если вам приходят письма от наших бывших рассылок mail.ru и subscribe.ru, то знайте, что это не мы рассылаем.
   Начало  
Наши сайты
Помощь Поиск Календарь Почта Войти Регистрация  
 
Страниц: [1]   Вниз
  Печать  
Автор Тема: Работа с std::auto_prt.  (Прочитано 12117 раз)
0 Пользователей и 1 Гость смотрят эту тему.
RXL
Технический
Администратор

ru
Offline Offline
Пол: Мужской

WWW
« : 27-04-2010 17:34 » 

Потихонечку влезаю в область STL, где еще не бывал.

У меня есть пара классов. Один класс статический и его метод возвращает ссылку на динамический экземпляр второго класса.

Код:
class A
{
    // ...
};

class B
{
    public:
        static A* getA();
};

A* B::getA()
{
    return new A();
}

Работаю с ним так:

Код:
A *obj;
// ...
obj = B::getA();
// ...
delete obj;

Т.к. это внедряю в существующее приложение с разветвленной логикой, писавшееся более 10 лет минимум 4 программистами-непрофессионалами (включая меня), то, чтобы не ошибиться с delete, решил попробовать использовать auto_ptr.

Код:
typedef std::auto_ptr<A> aptrA;

aptrA obj;
// ...
obj = aptrA(B::getA());

Т.к. конструкция "aptrA(B::getA())" в реальности много длиннее и легко ошибиться и написать просто "B::getA()", то хотелось бы сократить выражение сразу до "B::getA()".
Возможно ли вернуть auto_ptr из метода? Какие тут подводные камни?

В принципе, больше устроило бы преобразование A* -> aptrA через operator aptrA, но что-то сомневаюсь, что можно это сделать по указателю.
« Последнее редактирование: 27-04-2010 17:47 от RXL » Записан

... мы преодолеваем эту трудность без синтеза распределенных прототипов. (с) Жуков М.С.
Вад
Модератор

ru
Offline Offline
Пол: Мужской

« Ответ #1 : 27-04-2010 18:49 » 

Вернуть auto_ptr можно - этому, по-моему, совсем ничто не мешает.

Можно также сделать
Код:
aptrA obj;
// ...
obj.reset( B::getA() );
Записан
RXL
Технический
Администратор

ru
Offline Offline
Пол: Мужской

WWW
« Ответ #2 : 27-04-2010 19:00 » 

Вад, спасибо.

В доку то я глянул, но без примеров с пояснениями все же туго сразу понять. Но удалось Улыбаюсь
Жаль только, что в C++ нельзя задать два одинаковых метода с разным типом возвращаемого значения.
« Последнее редактирование: 27-04-2010 19:14 от RXL » Записан

... мы преодолеваем эту трудность без синтеза распределенных прототипов. (с) Жуков М.С.
Антон (LogRus)
Глобальный модератор

ru
Offline Offline
Пол: Мужской
Внимание! Люблю сахар в кубиках!


WWW
« Ответ #3 : 28-04-2010 03:34 » 

главный подводный про который периодически забывают это то, что любая операция копирования, как-то присваивание, конструирование на основе другого auto_ptr, передача по значению, и т.д. приводит к передаче владения указателем.
Например:
Код:
std::auto_ptr<int> a = new int;
{
   std::auto_ptr<int> b(a); // a больше не владеет указателем и метод a.get вернёт NULL
} // тут разрушится b и будет вызван деструктор для int

void foo(std::auto_ptr<int> a);
.............
{
std::auto_ptr<int> a = new int;
foo(a); // передаём владение
int c = *a; // нарушение доступа к памяти, т.к. владение объектом было передано в foo
}

об этом хорошо расписано в книгах Скота Мейерса "Эффективное использование STL" и "Еще более эффективное использование STL"
Записан

Странно всё это....
Алексей++
глобальный и пушистый
Глобальный модератор

ru
Offline Offline
Сообщений: 13


« Ответ #4 : 28-04-2010 04:01 » 

Вад, спасибо.

В доку то я глянул, но без примеров с пояснениями все же туго сразу понять. Но удалось Улыбаюсь
Жаль только, что в C++ нельзя задать два одинаковых метода с разным типом возвращаемого значения.

а так если
Код:
template <typename T>
T F(int a, T*) //
{
   T t;
   return t;
}


//возврат DWORD
DWORD dwd=F(10,(DWORD*)0);

//возврат int
int n=F(20,(int*)0);
Записан

Антон (LogRus)
Глобальный модератор

ru
Offline Offline
Пол: Мужской
Внимание! Люблю сахар в кубиках!


WWW
« Ответ #5 : 28-04-2010 05:01 » 

Алексей1153++, это грязный хак Улыбаюсь и кстати это не единственное использование dummy параметров Улыбаюсь
например, используем SFINAE для выборы функции,
Код:
        // Enum
template<typename T>
inline void foo(const T & val, typename boost::enable_if<boost::is_enum<T> >::type* dummy = 0)
{
................
}

// Fundamental arrays
template<typename T, size_t N>
inline void foo(const T (&val)[N], typename boost::enable_if<boost::is_fundamental<T> >::type* dummy = 0)
{
................
}

//Classes
template<typename T>
inline void foo(const T & val, typename boost::enable_if<boost::is_class<T> >::type* dummy = 0)
{
................
}
Записан

Странно всё это....
RXL
Технический
Администратор

ru
Offline Offline
Пол: Мужской

WWW
« Ответ #6 : 28-04-2010 05:24 » 

Мудрено пишите... Улыбаюсь
Вот ближе к земле. Есть методы:

Код:
X* getX(bool b);
Y getY(bool b);

Хотелось бы иметь:

Код:
X* get(bool b);
Y get(bool b);

Или каким-то образом получить так:

Код:
Y get(bool b);

X *ptr = get(true);


« Последнее редактирование: 28-04-2010 05:27 от RXL » Записан

... мы преодолеваем эту трудность без синтеза распределенных прототипов. (с) Жуков М.С.
Алексей++
глобальный и пушистый
Глобальный модератор

ru
Offline Offline
Сообщений: 13


« Ответ #7 : 28-04-2010 05:47 » 

тогда без "грязный хак" Улыбаюсь)
Код:
void get(bool b,X*& ret)
{
   ret=...;
}

void get(bool b,Y& ret)
{
   ret=...;
}



LogRus, я тебя сейчас тоже не понимяу! ) Я таких слов не знаю - boost, SFINAE
« Последнее редактирование: 28-04-2010 05:49 от Алексей1153++ » Записан

Антон (LogRus)
Глобальный модератор

ru
Offline Offline
Пол: Мужской
Внимание! Люблю сахар в кубиках!


WWW
« Ответ #8 : 28-04-2010 06:25 » 

RXL, как все мы знаем перегрузка по возвращаемому значению пока еще не поддержана Жаль

Алексей1153++, SFINAE это часть стандарта C++ Улыбаюсь http://en.wikipedia.org/wiki/SFINAE
boost это коллекция библиотек для решения рутинных задач + некоторая кроссплатформенность

в описанном мной примере, используется некий шаблон который при не совпадении типа (или свойства типа) генерирует ошибку подстановки параметр, НО благодаря SFINAE компилятор не останавливается, а продолжает перебирать похожие функции
до тех пор пока не выберет наиболее похожий шаблон.

об этом подробно расписано в книге "Шаблоны C++" Улыбаюсь
Записан

Странно всё это....
Алексей++
глобальный и пушистый
Глобальный модератор

ru
Offline Offline
Сообщений: 13


« Ответ #9 : 28-04-2010 06:39 » 

LogRus, а, вот как это называется, значит )
Записан

Вад
Модератор

ru
Offline Offline
Пол: Мужской

« Ответ #10 : 28-04-2010 06:52 » 

главный подводный про который периодически забывают это то, что любая операция копирования, как-то присваивание, конструирование на основе другого auto_ptr, передача по значению, и т.д. приводит к передаче владения указателем.
Так вопрос ведь был в том, можно ли возвращать, а не передавать Улыбаюсь Передавать - это же совсем другое дело.
Записан
Антон (LogRus)
Глобальный модератор

ru
Offline Offline
Пол: Мужской
Внимание! Люблю сахар в кубиках!


WWW
« Ответ #11 : 28-04-2010 08:10 » 

..........
Какие тут подводные камни?
...........

И такой вопрос был Улыбаюсь
Записан

Странно всё это....
Страниц: [1]   Вверх
  Печать  
 

Powered by SMF 1.1.21 | SMF © 2015, Simple Machines