我们可以看到,当return_type是void时,因为没有返回值,上面的代码会编译失败,因此我们只能偏特化这种情况:

template<typename first_type, typename second_type>
class CEvent<void, first_type, second_type>
{
public:
    //other function
    //....
    void operator()(first_type p1, second_type p2)
    {
        //...
        //invoker(p1, p2);
        return;
    }
};

  但是,我们会发现只有这个operator()函数是需要根据return_type特殊对待的,其他函数永远都是一样的。

  我们现在的问题是如何只特化这个函数。

  首先我们会想到如下的实现方法:

template<typename T>
struct IsVoid
{
    enum { value = false };
};
template<>
struct IsVoid<void>
{
    enum { value = true };
};
template<typename return_type, typename first_type, typename second_type>
class CEvent
{
public:
    other function
    ....
    return_type operator()(first_type p1, second_type p2)
    {
        if(IsVoid<return_type>::value)
        {
            cout << "return type is void" << endl;
            //...
            //invoker(p1, p2);
        }
        else
        {
            cout << "return type is not void" << endl;
            return_type ret = return_type();
            //...
            //ret = invoker(p1, p2);
            return ret;
        }
    }
};

  但是我们很快会发现这种情况下if语句被编译进去了,所以return_type是void的情况下还是会编译失败。

  我们要解决的问题是如何把这个if语句变成函数重载,于是我们想到如下实现:

template<typename T>
struct IsVoid
{
    enum { value = false };
};
template<>
struct IsVoid<void>
{
    enum { value = true };
};
template<int v>
class Int2Type
{
    enum {value = v };
};
template<typename return_type, typename first_type, typename second_type>
class CEvent
{
public:
    //other function
    //....
    return_type InvokerImpl(first_type p1, second_type p2, Int2Type<true>)
    {
        cout << "return type is void" << endl;
        //...
        //invoker(p1, p2);
    }
    return_type InvokerImpl(first_type p1, second_type p2, Int2Type<false>)
    {
        cout << "return type is not void" << endl;
        return_type ret = return_type();
        //...
        //ret = invoker(p1, p2);
        return ret;
    }
    return_type operator()(first_type p1, second_type p2)
    {
        return InvokerImpl(p1, p2, Int2Type<IsVoid<return_type>::value>());
    }
};

  上面的实现首先通过编译时类型识别,然后再把识别后相应的bool值转成不同类型,后再利用不同类型函数重载实现。

  后总结下,我们可以看到,从编译时到运行时,从面向对象到普通泛型编程再到模板元编程,C++复杂得让人无语,也强大得让人无语,而且C++语言本身是在不断发展的(C++11),同一问题在C++中往往有多种解决方案,这些解决方案有的简单,有的复杂,有的高效,也有的低效, 而我们的目标是利用C++这把利器寻找简单而高效的解决方案。

  注:本人初学C++ templates编程,如有错误,欢迎指正。