Задача: написать метафункции, позволяющие произвести декомпозицию произвольного Callable типа - получить тип возвращаемого значения и типы аргументов.
Код должен быть ориентирован на С++0х компилятор, минимум msvs2010 и gcc4.5, в перспективе и clang.

-----------------

На данный момент есть метафункции, решающие похожие задачи - это
function_traits из boost.type_traits, которая позволяет производить декомпозицию типов R(T1, T2, ... TN)
и parameter_types, result_type из boost.function_types, которая позволяет производить декомпозицию функций, ссылок на функции, указателей на функции, указателей на функции-члены.

-----------------

Надо обеспечить малое время компиляции.

с функциями не-членами все просто:
отрезаем от нее указатель, и применяем function_traits

а с функторами все интереснее.

Можно получить operator(), 

и передать его в boost.function_types
но boost.function_types медленная, т.к. возвращает boost::mpl::vector.

Можно попробовать поступить хитро, и отрезать у decltype(&T::operator()) класс - преобразовать в указатель на функцию не-член

однако этот код не работает в MSVC, т.к. 
decltype(mem_ptr_to_ptr_helper(&T::operator())) имеет тип RetT (__thiscall*)(ArgT)
затем
typename std::remove_pointer<decltype(mem_ptr_to_ptr_helper(&T::operator()))>::type имеет тип RetT __cdecl (ArgT)
( __thiscall превратился в __cdecl ! o_O )
а boost::function_traits не понимает типы вида R __convention(...)
Надо как-то избавляться от __cdecl

Это сообщение отредактировал(а) Abyx - 23.7.2010, 12:11