беда с typename

[impus]

Добрый день. Смешной вопрос, но ответа не знаю... (
Задача: вынести из хэдера описание метода в файл inl.
Не могу заставить скомпилироваться конструкцию, которая опишет тело метода...

HEADER

template<class T, class G>
class Logic: public OtherClass
{
public:
typedef localname::intrusive_ptr<G> LPG;
typedef std::vector<LPG> GList;
...
CREF(GList) getG () const;
...
}

INLINE

template<class T, class G>
inline typename CREF(Logic<T, G>::GList) Logic<T,G>::getG() const
{
...
}

где
#define CREF(A) const A&

Так вот. Вся проблема в этом самом макросе. Не могу его приткнуть так, чтобы конструкция стала валидной. Есть ограничения: вводить новые типы нельзя. И без макроса работает... Но нужно именно с ним конструкцию построить

Спасибо

[pproger]

2impus
1. выдавать из класса наружу члены-данные, а тем более контейнер - плохая идея. добавь в класс нужные тебе методы для работы с контейнером.
2.

Задача: вынести из хэдера описание метода в файл inl.

опять же, нельзя в с++ отделять шаблонное определение от реализации.
3.

#define CREF(A) const A&

в с++ такой бред не используют. используют следующий бред:

template <typename T>
class A {
public:
	typedef T &reference;
	typedef const T &const_reference;

	A(T t) : m_t(t)
	{}

	const_reference foo() const
	{
		cout << "called const ref foo" << endl;
		return m_t;
	}

	reference foo()
	{
		cout << "called non const ref foo" << endl;
		return m_t;
	}

private:
	T m_t;
};

template <typename T>
void foo1(A<T> &a)
{
	typename A<T>::reference ref = a.foo();
}

template <typename T>
void foo2(const A<T> &a)
{
	typename A<T>::const_reference ref = a.foo();
}

int main(int argc)
{
	A<int> a(10);

	foo1(a);
	foo2(a);

	return 0;
}

подробнее читай про traits (характеристики). читать можно в книге по шаблонам Вандервуда, либо у Александреску

[impus]

Спасибо большое за развернутый ответ, но дело в том, что мне надо внести озвученные изменения в уже существующий код. Я не могу отказаться от макроса. Мне сказали вынести описания методов в отдельный файл, потому что код стал некомфортно читаем.
Определение от реализации отделять технически можно. Есть методы в этом классе, типа Logic<T, G>::GList
И они прекрасно компилируются.
Возможно сделать конструкцию валидной?

[pproger]

2impus

Возможно сделать конструкцию валидной?

для этого нужно понимать, что ты делаешь. давай разберемся.
самый ближайший к валидному коду (но тем не менее, он нерабочий) это

template<class T, class G>
CREF(typename Logic<T, G>::GList) Logic<T,G>::getG() const
{
}

почему он не рабочий? препроцессор думает, что мы вызываем макрос CREF с двумя параметрами. первый параметр - все, что СЛЕВА от запятой (зеленое), второй - все, что справа (красное). у нас же макрос с 1 параметром --> ошибка. можно попробовать написать так

template<class T, class G>
CREF(typename (Logic<T, G>::GList)) Logic<T,G>::getG() const
{
}

с кол-вом параметров тут все нормально, но после работы препроцессора получим

template<class T, class G>
const typename (Logic<T, G>::GList)& Logic<T,G>::getG() const
{
}

что уже не пропустит синтаксический анализатор. как этого избежать, не меняя макроса я не знаю.

Проблема в том, что препроцессор разработан для использования в языке СИ, где таких проблем нет. в С++ препроцессор себя изжил.

если твой компилятор поддерживает следующую конструкцию, можешь попробовать написать так:

#define CREF(...) const __VA_ARGS__&

template<class T, class G>
CREF(typename Logic<T, G>::GList) Logic<T,G>::getG() const
{
}

и это уже соберется.

но опять же. НЕЛЬЗЯ, НЕЛЬЗЯ ТАК ПИСАТЬ В С++.


Как быть в данной ситуации? Заменить макрос на шаблон!

template <typename T>
struct CREF {
	typedef T const &type;
};

template<class T, class G>
class Logic {
public:
	typedef std::vector<T> GList;

	typename CREF<GList>::type getG () const;
};

template<class T, class G>
typename CREF<typename Logic<T, G>::GList>::type Logic<T,G>::getG() const
{
}

но мне больше нравятся характеристики

[impus]

спасибо большое :-)