Работа с std::auto_prt.

[RXL]

Потихонечку влезаю в область 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, но что-то сомневаюсь, что можно это сделать по указателю.

[Вад]

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

Можно также сделать

Код:

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

[RXL]

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

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

[Антон (LogRus)]

главный подводный про который периодически забывают это то, что любая операция копирования, как-то присваивание, конструирование на основе другого 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"

[Алексей++]

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

В доку то я глянул, но без примеров с пояснениями все же туго сразу понять. Но удалось
Жаль только, что в 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)]

Алексей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]

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

Код:

X* getX(bool b);
Y getY(bool b);

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

Код:

X* get(bool b);
Y get(bool b);

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

Код:

Y get(bool b);

X *ptr = get(true);

[Алексей++]

тогда без "грязный хак" )

Код:

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

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

LogRus, я тебя сейчас тоже не понимяу! ) Я таких слов не знаю - boost, SFINAE

[Антон (LogRus)]

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

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

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

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

[Алексей++]

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

[Вад]

главный подводный про который периодически забывают это то, что любая операция копирования, как-то присваивание, конструирование на основе другого auto_ptr, передача по значению, и т.д. приводит к передаче владения указателем.

Так вопрос ведь был в том, можно ли возвращать, а не передавать Передавать - это же совсем другое дело.

[Антон (LogRus)]

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

И такой вопрос был