Ошибка: «неполный тип недопустим» при портировании проекта

Question

Я портирую http://www.drdobbs.com/embedded-systems/225700666 на Keil MDK на ARM микропроцессоры. Структура компилирует и отлично работает с использованием gcc на моем рабочем столе, но используя Keil компилятор дает мне ошибку:

logging/singleton.h(65): error: #70: incomplete type is not allowed

После кода показывает реализацию singleton где я получаю эту ошибку. Откуда возникает эта ошибка?

namespace logging { 

    namespace detail { 

     template <typename T> 
     class singleton 
     { 
     private: 
      struct obj 
      { 
      obj() { singleton<T>::instance(); } 
      inline void empty() const { } 
      }; 
      static obj __obj; 

      singleton(); 

     public: 
      typedef T obj_type; 

      static obj_type & instance() 
      { 
      static obj_type obj; // <-- Here I get this error 

      __obj.empty(); 

      return obj; 
      } 
     }; 
     template <typename T> 
     typename singleton<T>::obj 
     singleton<T>::__obj; 

    } /* detail */ 
} /* logging */ 

Edit: singleton получает экземпляр здесь

template <typename log_t, typename T> 
struct Obj { 
    static return_type& obj() { 
     typedef singleton<return_type> log_output; 
     return log_output::instance(); 
    } 
}; 

где return_type является ЬурейеЕ:

typedef R return_type; 

и это параметр родительского шаблона:

template<typename Level = ::logging::Void, typename R = loggingReturnType> 
    class Logger { 
     ... 
    }; 

loggingReturnType поступательно declarated выше определение класса:

struct loggingReturnType; 

Edit 2: Это loggingReturnType получает генерируется через следующие Makro.

#define LOGGING_DEFINE_OUTPUT(BASE)           \ 
namespace logging {               \ 
    struct loggingReturnType : public BASE {         \ 
      /*! \brief The provided typedef is used for compile time   \ 
      *   selection of different implementation of the   \ 
      *   %logging framework. Thus, it is necessary    \ 
      *   that any output type supports this type    \ 
      *   definition, why it is defined here.     \ 
      */                \ 
      typedef BASE output_base_type;         \ 
     };                 \ 
} 

Этот makro вызывается в заголовке конфигурации.

Редактировать 3: Ее ссылка на выход препроцессора: http://www.pasteall.org/31617/cpp. Этот файл компилируется с использованием g++. Определение loggingReturnType является последним до main - поэтому синглтон не является точным типом, но тем не менее он работает. Я также посмотрел вывод препроцессора компилятора Keil, и это почти то же самое.

А как же здесь не так?

Answer 1

Согласно информации, помещенной здесь, сообщение об ошибке имеет смысл. Код пытается создать экземпляр объекта в стеке. Тип этого объекта объявляется только вперед, но в то время компилятор не может определить определение.

Вам необходимо сделать определение этого типа доступным для компилятора до того, как оно создаст экземпляр этого типа.