function traits

原创 2007年09月29日 10:42:00
我写的一个简单的 function traits,功能比 boost::unary_traits 和 boost::binary_traits 强,下面是其实现和一个简单的demo。这个function traits已经被我用在了一个C++ delegate 上,不过做了一些修改,但事实证明这个function_traits很有用。

template <typename Operation>
struct function_traits;

// no argument

// function type
template <typename R>
struct function_traits<R ()>
{
    // this is function type, not function pointer type
    typedef R (function_type)();
    typedef R result_type;
    enum{argument_count = 0};
    enum{ismemfun = false};
};

// function pointer type
template <typename R>
struct function_traits<R (*)()>
{
    typedef R (function_type)();
    typedef R result_type;
    enum{argument_count = 0};
    enum{ismemfun = false};
};

// pointer to member function
template <typename C, typename R>
struct function_traits<R (C::*)()>
{
    typedef C class_type;
    typedef R result_type;
    enum{argument_count = 0};
    enum{ismemfun = true};
};

// one argument
template <typename R, typename A>
struct function_traits<R (A)>
{
    typedef R (function_type)(A);
    typedef R result_type;
    enum{argument_count = 1};
    typedef A first_argument_type;
};

template <typename R, typename A>
struct function_traits<R (*)(A)>
{
    typedef R (function_type)(A);
    typedef R result_type;
    enum{argument_count = 1};
    typedef A first_argument_type;
};

template <typename C, typename R, typename A>
struct function_traits<R (C::*)(A)>
{
    typedef C class_type;
    typedef R result_type;
    enum{argument_count = 1};
    enum{ismemfun = true};
    typedef A first_argument_type;
};

// two arguments
template <typename R, typename A, typename B>
struct function_traits<R (A, B)>
{
    typedef R (function_type)(A);
    typedef R result_type;
    enum{argument_count = 2};
    typedef A first_argument_type;
    typedef B second_argument_type;
};

template <typename R, typename A, typename B>
struct function_traits<R (*)(A, B)>
{
    typedef R (function_type)(A);
    typedef R result_type;
    enum{argument_count = 2};
    typedef A first_argument_type;
    typedef B second_argument_type;
};

template <typename C, typename R, typename A, typename B>
struct function_traits<R (C::*)(A, B)>
{
    typedef C class_type;
    typedef R result_type;
    enum{argument_count = 2};
    enum{ismemfun = true};
    typedef A first_argument_type;
    typedef B second_argument_type;
};

//-----------------------------------------------------------

typedef int (*FUNC0)();
typedef int (*FUNC1)(int);
typedef int (*FUNC2)(int, char);

class AClass{
public:
    void speak0();
    int speak1(int);
    int speak2(int, char);

    typedef void (*tspeak0)();
    typedef int (*tspeak1)(int);
    typedef int (*tspeak2)(int, char);
};

#include <iostream>
#include <typeinfo>

int _tmain(int argc, _TCHAR* argv[])
{
    using namespace std;
    cout << typeid(function_traits<int (char)>::result_type).name() << '/n';
    cout << typeid(function_traits<int (*)(char)>::result_type).name() << '/n';
    cout << typeid(function_traits<int (AClass::*)(int)>::class_type).name() << '/n';

    //    cout << typeid(function_traits<FUNC2>::first_argument_type).name() << '/n';
//    cout << typeid(function_traits<FUNC2>::second_argument_type).name() << '/n';

//    cout << typeid(function_traits<int (int ***)>::first_argument_type).name() << '/n';
    return 0;
}
 

相关文章推荐

c++11之function_traits

function_traits 例:int func(int a,string b); function_traits::function_type; //获取函数类型 int _cdecl(int,...

增强boost中function_traits的能力

boost的type_traits功能相当强大,特别是function_traits,能够辅助做很多事情。但是美中不足,function_traits竟然没有针对成员函数做任何的traits提取,似乎...

function_traits

template struct function_traits { private: using call_type = function_traits ; public: usin...

boost function_traits

Expression Result function_traitsvoid (void)>::arity 值为0的整形常量表达式 functio...

C++ STL Template Traits使用代码

  • 2017年03月24日 01:28
  • 1KB
  • 下载

【C++泛型编程】编译期型别判断(Type Traits)

1.编译期型别判断(Type Traits)         编译期型别判断犹如在执行期根据数值进行判断,那么型别判断在什么情况下使用呢? 举个例子:假设你想写个copying 算法: temp...

EPD-traits实例

  • 2010年08月17日 16:54
  • 4KB
  • 下载

programmer-3-traits

  • 2008年08月27日 17:12
  • 522KB
  • 下载

再谈高级面向对象编程之traits代码复用

再谈高级面向对象编程之traits PHP实现了代码复用的一个方法,称为traits。 Traits试图用来解决在像PHP这样的面向对象语言中只支持单继承的问题。举例来说,比如我们设计了一个web...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:function traits
举报原因:
原因补充:

(最多只允许输入30个字)