Вложенные шаблоны ошибок компилятора gcc 4.1.2

Question

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

В приведенном ниже примере кода (не фактический проект, а просто упрощенная версия для иллюстрации проблемы), в то время как в основной программе я могу использовать интерфейс ob_traits. Но когда я пытаюсь создать шаблонный StructWrapper, который использует ob_traits в качестве базового класса, я получаю ошибки, и gcc не распознает созданный класс IntAdapter. Компилируется на MSVC 8.0, но не работает на gcc 4.1.2 20070626 (Red hat 4.1.2-14)

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

Во-вторых, есть ли предложения о том, как реализовать эту концепцию более простым способом?

    #include <iostream>

    template <typename T >
    struct ob_traits
    {
        ob_traits( T& param ) { value = param; };
        T value;
    };

    struct GeneralStructure
    {
        int a;
        GeneralStructure(int param):a(param){}
    };

    struct DifferentStructure
    {
        GeneralStructure hidden;
        DifferentStructure( int param ):hidden(param){};
    }
    ;

    /*template< typename T > struct ob_traits
    {
    };
    */
    template<> struct ob_traits< GeneralStructure >
    {
        struct IntAdapter
        {
            IntAdapter( GeneralStructure& valueParam ):value(valueParam){}
            GeneralStructure value;
            int& getValue() { return value.a; };
        };
    };

    template<> struct ob_traits< DifferentStructure >
    {
        struct IntAdapter
        {
            IntAdapter( DifferentStructure& valueParam):value( valueParam ){}
            DifferentStructure value;
            int& getValue( ){ return value.hidden.a; };
        };
        void dump()
        {
            DifferentStructure testLocal(44);
            IntAdapter local( testLocal );
            std::cout << local.getValue()<<std::endl;
        }
    };

    template <typename T > struct StructWrapper:public ob_traits< T >
    {
        StructWrapper(){};
    /*main.cpp:60: error: 'IntAdapter' was not declared in this scope
    main.cpp:60: error: expected `;' before 'inner'
    main.cpp:60: error: 'inner' was not declared in this scope
    */
        void dumpOuter(const T& tempParam) { IntAdapter inner(tempParam); inner.dump(); };
    /*
    main.cpp: In member function 'void StructWrapper<T>::dumpOuterFailsAsWell(const T&)':
    main.cpp:66: error: expected `;' before 'inner'
    main.cpp:66: error: 'inner' was not declared in this scope
    */
        void dumpOuterFailsAsWell(const T& tempParam) { ob_traits<T>::IntAdapter inner(tempParam); inner.dump(); };
    };

    int main(int argc, char* argv[])
    {
        GeneralStructure dummyGeneral(22);
        ob_traits<struct GeneralStructure >::IntAdapter test(dummyGeneral);
        DifferentStructure dummyDifferent(33);
        ob_traits<struct DifferentStructure >::IntAdapter test2(dummyDifferent);
        std::cout << "GeneralStructure: "<<test.getValue()<<std::endl;
        std::cout << "DifferentStructure: "<<test2.getValue()<<std::endl;
        ob_traits<struct DifferentStructure > test3;
        test3.dump();
    std::cout << "Test Templated\n";
    return 0;
    }

Answer 1

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

void dumpOuterWorks(const T& tempParam) 
{ 
   typename ob_traits<T>::IntAdapter inner(tempParam); 
   inner.dump(); 
}

Без typename здесь GCC будет считать, что IntAdapter является идентификатором, и ожидает, что вы будете формировать выражение, а не объявление переменной.

Также обратите внимание, что вам не нужно ставить точку с запятой после тела метода!

Answer 2

Сбой компиляции, потому что IntAdapter появляется только в специализированном шаблоне, и, следовательно, он не виден в точке ссылки.

Не ясно, для чего бы вы его использовали? Пожалуйста, уточните обстоятельства.

Answer 3

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