Scoped

[Old]

В boost'е тоже есть умные указатели)

Да там свой шаблончик будет на несколько строк.

[Igors]

Ну вот, я так и знал Полез делать template - и сразу надо еще что-то учить. Для текста выше не проходит

Код

template <class Ref, class Deleter>
struct CScopedRef {
..

Говорит, мол, Deleter ф-ция, а должен быть класс

[m_ax]

Ну вот, я так и знал Полез делать template - и сразу надо еще что-то учить. Для текста выше не проходит

Код

template <class Ref, class Deleter>
struct CScopedRef {
..

Говорит, мол, Deleter ф-ция, а должен быть класс

Ничего подобного) Можно и функцию вставить)

[Igors]

Ничего подобного) Можно и функцию вставить)

Цитированием не злоупотребляйте если и так ясно о чем речь

Код

C++ (Qt)
template <typename TRef, typename TDeleter>
struct CScopedRef {
	CScopedRef( TRef * ref ) : mRef(ref) {}
	~CScopedRef( void )		{ if (mRef) TDeleter(mRef);	}	
	operator TRef * ( void )	{ return mRef; }
 
	void operator = ( TRef * ref ) 
	{
		if (mRef != ref) {
			if (mRef) TDeleter(mRef);
			mRef = ref;
		}	
	}
 
private:
	TRef * mRef;
	CScopedRef( const CScopedRef & ) {}
	void operator = ( const CScopedRef & ) {}
};
 
typedef CScopedRef <OpaqueRef, DestroyOpaqueRef> CScopedOpaqueRef;
 

На "инстанциации" вякает

error: type/value mismatch at argument 2 in template parameter list for 'template<class TRef, class TDeleter> struct CScopedRef'

error:   expected a type, got 'DestroyOpaqueRef'

[m_ax]

Хе хе) Конечно вякает)

Код

C++ (Qt)
template <typename TRef, typename TDeleter = default_deleter>
struct CScopedRef {
	CScopedRef( TRef * ref, TDeleter deleter) : mRef(ref), mDeleter(deleter) {}
        CScopedRef( TRef * ref) : mRef(ref) {}
	~CScopedRef( void )		{ if (mRef) mDeleter(mRef);	}	
	operator TRef * ( void )	{ return mRef; }
 
	void operator = ( TRef * ref ) 
	{
		if (mRef != ref) {
			if (mRef) mDeleter(mRef);
			mRef = ref;
		}	
	}
 
private:
	TRef * mRef;
        TDeleter mDeleter;
	CScopedRef( CScopedRef & )
	void operator = ( CScopedRef & )
};
 

Код

C++ (Qt)
typedef void (*FunctionType)(Ref *);
CScopedRef<Ref, FunctionType> ref(new Rew, DestroyOpaqueRef);
 

или ещё проще с decltype..

[Old]

Тут два пути:

Три:

Код

C++ (Qt)
template<typename T, void (*destroyer)( T )>
struct CScopedRef {
{
public:
        ~CScopedRef() { destroyer( mRef ); }
 

[m_ax]

Тут два пути:

Три:

Код

C++ (Qt)
template<typename T, void (*destroyer)( T )>
struct CScopedRef {
{
public:
        ~CScopedRef() { destroyer( mRef ); }
 

Да, так даже лучше)
Только igors туда уже ничего кроме void (*destroyer)( T ) не вставит)
Но, думаю, он не сильно расстроится)

[m_ax]

Тут два пути:

Три:

Код

C++ (Qt)
template<typename T, void (*destroyer)( T )>
struct CScopedRef {
{
public:
        ~CScopedRef() { destroyer( mRef ); }
 

Хотя подождите.. destroyer - это же тип..

[Old]

И наверное лучше не завязываться на указателях, например может понадобиться такое:

Код

C++ (Qt)
typedef unsigned int HANDLE;
 
HANDLE create( ... );
destroy( HANDLE );
 

Пусть лучше пользователь шаблона задает точный тип:

Код

C++ (Qt)
CScoped<Data *, DestroyData> d1 = CreateData( ... );
CScoped<HANDLE, destroy> d2 = create( ... );
 

[Old]

Только igors туда уже ничего кроме void (*destroyer)( T ) не вставит)

Все он вставит.

[m_ax]

Хотя подождите.. destroyer - это же тип..

В смысле я к тому, что ему в любом случае придётся передавать указатель на функцию.. 

[Old]

В смысле я к тому, что ему в любом случае придётся передавать указатель на функцию.. 

Тут, правда, будет затык, если какие то дестроеры имеют не такой прототип, например возвращают значение. Но тут уже Igors решать, по какому пути идти.

[m_ax]

Хотя подождите.. destroyer - это же тип..

В смысле я к тому, что ему в любом случае придётся передавать указатель на функцию..  

Ааа.. Всё, дошло до меня) Я не о том подумал просто)
В таком варианте:

Код

C++ (Qt)
template<typename T, void (*destroyer)( T )>
struct CScopedRef {
{
public:
        ~CScopedRef() { destroyer( mRef ); }
 

указатель на функцию в конструкторе передавать уже ненужно) Всё верно)

[Igors]

Да, так бычит, спасибо

Код

C++ (Qt)
template <typename TRef, void (*delFunc)(TRef *)>
struct CScopedRef {
	CScopedRef( TRef * ref ) : mRef(ref) {}
	~CScopedRef( void )		{ if (mRef) delFunc(mRef);	}	
	operator TRef * ( void )	{ return mRef; }
 
	void operator = ( TRef * ref ) 
	{
		if (mRef != ref) {
			if (mRef) delFunc(mRef);
			mRef = ref;
		}	
	}
 
private:
	TRef * mRef;
	CScopedRef( const CScopedRef & ) {}
	void operator = ( const CScopedRef & ) {}
};
 
typedef CScopedRef <OpaqueRef, DestroyOpaqueRef> CScopedOpaqueRef;
 

Но возникает маленькая неприяность.

Код

C++ (Qt)
OpaqueRef * src = CreateOpaqueRef();
CScopedOpaqueRef ref1(src);  // Ок
CScopedOpaqueRef ref2 = src;  // error
 

error: 'CScopedRef<TRef, delFunc>::CScopedRef(const CScopedRef<TRef, delFunc>&) [with TRef = OpaqueRef, void (* delFunc)(OpaqueRef*) = DestroyOpaqueRef]' is private

Да, он действительно private (я так и хотел), но чего она зовет конструктор копирования, если есть штатный?

Да. кстати, а с unique_ptr работает или m_ax меня просто на понт взял?   Там вроде ситуевина та же, но у меня нет под рукой С++ 11

[_Bers]

error: 'CScopedRef<TRef, delFunc>::CScopedRef(const CScopedRef<TRef, delFunc>&) [with TRef = OpaqueRef, void (* delFunc)(OpaqueRef*) = DestroyOpaqueRef]' is private

Да, он действительно private (я так и хотел), но чего она зовет конструктор копирования, если есть штатный?

Рассмотрим пример:

Код:

Some obj = 10;

На языке строгой статической типизации в правой части обязан быть объект такого же типа, как и в левой.

Поэтому, компилятор выполняет приведение типов, что есть суть запуск конструктора:

Код:

Some obj = 10;

эквивалент:

Код:

Some obj = Some(10);

Здесь сразу нужно заметить, что в правой части присутствует временный объект. И компилятор знает, что время жизни этого объекта - гарантированно до конца построения объекта в левой части.

Построение объекта в левой же части происходит по прототипу в правой части:

Код:

Some obj = Some(10);

эквивалент:

Код:

Some obj (  Some(10) );

Здесь нужно понимать: что временный объект в правой части первейший прентендент на оптимизацию RVO, то бишь в релизе компилятор запросто может выпилить все промежуточные конструкторы, изначально построив в левой части нужный объект.

Но в дебаге:

http://codepad.org/L0aneALk