компиляторы, которые дружат по разному

[_Bers]

Одному так подавай, другому - так подавай. А как же стандарт?
Неужели нет единого регламентированного синтаксиса объявления класса-френда, который одинаково понимают все компиляторы с++?

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

#include <iostream>

using namespace std;

template<class T>
class Prow
{
public:
    typedef T Result;
};


template<class T>
class PProw
{
public:
    typedef Prow<T> Result;
};

template<class T>
class CCrol
{
    typedef typename PProw<T>::Result Result;

    //гцц/мингв шуршит, студия ругается:
    //main.cpp:36: ошибка: C2242: имя typedef не может следовать за классом, структурой или объединением
    friend class PProw<T>::Result;

    //студийный шуршит, гцц/мингв ругается:
    //main.cpp:38: ошибка: a class-key must be used when declaring a friend
    //main.cpp:38: ошибка: friend declaration does not name a class or function
    friend Result;
};

int main()
{
    cout << "Hello World!" << endl;
    return 0;
}

Есть ли способ сделать единую синтаксическую запись: объявить френда, который является typedef в инстансе шаблонного класса. Да так, что бы её без изменений скушали и гцц/мингв, и студия?

Уж очень мне не хочется уродовать код препроцессором.

[pproger]

template<class T>
class CCrol
{
	friend class Prow<T>;
};

Уж очень мне не хочется уродовать код препроцессором.

правильно, нужно уродовать шаблонами)

[_Bers]

Сообщение от pproger

template<class T>
class CCrol
{
	friend class Prow<T>;
};

правильно, нужно уродовать шаблонами)

Другом является не инстанс Prow<T>
А тот тип, который будет забит в тайпдефе PProw<T>::Result

[pproger]

2_Bers

//main.cpp:36: ошибка: C2242: имя typedef не может следовать за классом, структурой или объединением
friend class PProw<T>::Result;

судя стандарту, msvc тут не прав

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

#include <iostream>

using namespace std;

template<class T>
class Prow {
public:
    typedef T Result;
};

template<
	typename T,
	template <typename> class P
>
class PProw {
public:
	typedef typename P<T>::Result Result;
};

template<
	typename T,
	template <typename> class P = Prow,
	template <typename, template <typename> class> class PP = PProw
>
class CCrol {
public:
	friend class P;
};

int main()
{
    CCrol<int> c;
    cout << "Hello World!" << endl;
    return 0;
}

тогда проблем не будет, но придется дополнительно передавать в CCrol необходимые шаблонные параметры

[_Bers]

Нет. Это не вариант. Зачем тащить толпу параметров и иметь долгоиграющие последствия, когда можно все эти параметры вывести из минимально возможного и фиксированного количества?

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

Уж тогда лучше, как меньшее из двух зол - препроцессор, который будет френдить для студии и для гцц используя чуть более различный синтаксис:

template<class T1, class T2=SEmpty>
class TLauncher: public ILauncher_t
{
public:
    typedef typename TMetaProgramm<T1,T2>::Strategy_t Executer_t;
    typedef typename TMetaProgramm<T1,T2>::Function_t Function_t;
    typedef typename TMetaProgramm<T1,T2>::Client_t Client_t;
    typedef typename TMetaProgramm<T1,T2>::Arg_t Arg_t;


    #ifdef __GNUC__
        #pragma message("System: gcc/mingw compiler option")
        friend class TMetaProgramm<T1,T2>::Strategy_t;
    #elif defined(_MSC_VER)
        #pragma message("System: MSC compiler option")
        friend Executer_t;
    #else
        #pragma message("System: WARNING! Unkown compiler option")
        friend class TMetaProgramm<T1,T2>::Strategy_t;
    #endif

    ...

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