在C++泛型编程中如何只特化类的某个成员函数

　　我们可以看到，当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编程，如有错误，欢迎指正。