[C++ 2011 STL (VS2012 Update4) 源代码阅读系列(2)]熟悉一些宏定义和模版偏特化或叫模版专门化

[C++ 2011 STL (VS2012 Update4) 源代码阅读系列(2)]熟悉一些宏定义和模版偏特化或叫模版专门化

// point_test.cpp : 知识点练习和测试,用于单步调试,跟踪。
//

#include "stdafx.h"
#include <functional>
#include <string>
#include <iostream>

using namespace std;
 //for _1, _2, _3...
using namespace std::placeholders;

template<class T1,class T2> const T1 my_strcat(const T1 &t1,const T2 &t2)
{
    return std::move(t1 + t2);
}

/*
测试例子演示了std::bind 和 std:function 的各种组合以及调用的方式
如果你的编译器编译失败,请尽可能的先去掉 const 后编译,如果全部去掉后
还是编译失败,请把你的编译器升级到最高版本或者换了它。
*/
void test_bind()
{
    std::string s1 = "aaa",s2 = "BBB",ss = "";
    ss = std::bind(my_strcat<std::string,std::string>,s1,s2)();
    std::cout<<ss<<endl;
    ss = my_strcat<std::string,std::string>(s1,s2);
    std::cout<<ss<<endl;
    std::function<const std::string (std::string,std::string)> f1 ;
    f1 = std::bind(my_strcat<std::string,std::string>,_1,_2);
    ss = f1(s1,s2);
    std::cout<<ss<<endl;
    std::function<std::string ()> f2;
    f2 = std::bind(my_strcat<const std::string,std::string>,s1,s2);
    ss = f2();
    std::cout<<ss<<endl;  
}

int _tmain(int argc, _TCHAR* argv[])
{
    test_bind();

    system("pause");
    return 0;
}

/*输出结果是:

aaaBBB
aaaBBB
aaaBBB
aaaBBB
请按任意键继续. . .

*/

 

为了比较熟练的看懂各式各样的宏定义,现在先举出一个推导的例子。我们这里以 std::function 的
源代码为例逐步展开,追根溯源,其间各种模版和宏定义令你目不暇接,叹为观止。
0. 总体流程
总体来看，宏定义
_VARIADIC_EXPAND_0X(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )
是6个宏定义
_VARIADIC_CALL_OPT_X1,而每个_VARIADIC_CALL_OPT_X1又是3个模板类 _Get_function_impl 的定义
所以6 *3 总计是18个_Get_function_impl的定义

1. std::function 定义
std::function 申明如下
 // TEMPLATE CLASS function
template<class _Fty>
 class function
  : public _Get_function_impl<_Fty>::type
 { // wrapper for callable objects
public:
 typedef function<_Fty> _Myt;
 typedef typename _Get_function_impl<_Fty>::type _Mybase;

 function() _NOEXCEPT
  { // construct empty function wrapper
  this->_Reset();
  }
  
  ......省略部分定义和实现
  
  //上面的的代码就调用了这个赋值函数
  template<class _Fx>
  _Myt& operator=(_Fx&& _Func)
  { // move function object _Func
  this->_Tidy();
  this->_Reset(_STD forward<_Fx>(_Func));
  return (*this);
  }
  
  ......省略部分定义和实现
  
private:
 template<class _Fty2>
  void operator==(const function<_Fty2>&); // not defined
 template<class _Fty2>
  void operator!=(const function<_Fty2>&); // not defined
 };

我们重点关注申明这句 template<class _Fty> class function : public _Get_function_impl<_Fty>::type,
 _Get_function_impl<_Fty>::type 何许人也,能当它的父类?
   
2.  _Get_function_impl<_Fty>
我们继续追踪,有如下定义
template<class _Tx> struct _Get_function_impl;
那不对啊，上面的定义应该不是全部的 _Get_function_impl定义。怀疑何在呢?我们看std::function 类
里面的移动赋值运算符 template<class _Fx> _Myt& operator=(_Fx&& _Func),里面的实现调用了
_Tidy(),this->_Reset(_STD forward<_Fx>(_Func));这些函数std::function 里面都没有实现啊，那只有一种可能，
是父类里面实现了这些函数,但是我们看到_Get_function_impl类并没有任何实现啊。那实现到哪里去了呢？那父
类还有那些诡异的东东呢？  下面熊出没,注意！！！

3. 追踪 _Get_function_impl
我们看到 _Get_function_impl 没有任何实现，下面还有几个名称比较类似宏定义。
#define _CLASS_GET_FUNCTION_IMPL( \
 TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, CALL_OPT, X2, X3, X4) \
template<class _Ret COMMA LIST(_CLASS_TYPE)> \
 struct _Get_function_impl<_Ret CALL_OPT (LIST(_TYPE))> \
 { /* determine type from argument list */ \
 typedef _Func_class<_Ret COMMA LIST(_TYPE)> type; \
 };

#define _CLASS_GET_FUNCTION_IMPL_CALLS( \
 TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, CALL_OPT, X2, X3, X4) \
  _VARIADIC_CALL_OPT_X1(_CLASS_GET_FUNCTION_IMPL, \
   TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, __cdecl, X2, X3, X4)

_VARIADIC_EXPAND_0X(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )

我们展开看看,里面有何端倪。

4. 展开 _VARIADIC_EXPAND_0X
我们继续追,在文件 xstddef 里面，我们发现了它的定义。xstddef 是公共的STL 实现的定义,从
文件名称可以明显的看出功能。
 // for 0-X args
#define _VARIADIC_EXPAND_0X(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_0(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_1X(FUNC, X1, X2, X3, X4)

继续展开 _VARIADIC_EXPAND_0 和 _VARIADIC_EXPAND_1X

我们把 _VARIADIC_EXPAND_1X 也全部展开
#define _VARIADIC_EXPAND_1X(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_1(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_2X(FUNC, X1, X2, X3, X4)

 继续展开_VARIADIC_EXPAND_2X,注意,这里标明了最大支持5个函数参数,这个就是
 为什么 std::function 最大支持5个函数参数。
 
 #if _VARIADIC_MAX == 5
#define _VARIADIC_EXPAND_2X _VARIADIC_EXPAND_25
#define _VARIADIC_EXPAND_25(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_2(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_3(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_4(FUNC, X1, X2, X3, X4) \
 _VARIADIC_EXPAND_5(FUNC, X1, X2, X3, X4)

_VARIADIC_EXPAND_0 最终展开就是这个定义了
// call FUNC(TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, X1, X2, X3, X4)
#define _VARIADIC_EXPAND_0(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , X1, X2, X3, X4)

_VARIADIC_EXPAND_1 最终展开就是这个定义了
#define _VARIADIC_EXPAND_1(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST1, _PAD_LIST1, _RAW_LIST1, _COMMA, X1, X2, X3, X4)

结果全部出来了
#define _VARIADIC_EXPAND_2(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST2, _PAD_LIST2, _RAW_LIST2, _COMMA, X1, X2, X3, X4)

#define _VARIADIC_EXPAND_3(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST3, _PAD_LIST3, _RAW_LIST3, _COMMA, X1, X2, X3, X4)

#define _VARIADIC_EXPAND_4(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST4, _PAD_LIST4, _RAW_LIST4, _COMMA, X1, X2, X3, X4)

#define _VARIADIC_EXPAND_5(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST5, _PAD_LIST5, _RAW_LIST5, _COMMA, X1, X2, X3, X4) 
 
这样,我们获取到6(索引0~5)个类似 _VARIADIC_EXPAND_ 的定义。它们最终是宏定义。
_VARIADIC_EXPAND_0(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )
_VARIADIC_EXPAND_1(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )
...
_VARIADIC_EXPAND_5(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )

我们以索引为 0 的宏定义展开为例。
_VARIADIC_EXPAND_0(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , ) 展开,那对应的替换就是
// call FUNC(TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, X1, X2, X3, X4)
#define _VARIADIC_EXPAND_0(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , X1, X2, X3, X4)

展开后就是
_VARIADIC_EXPAND_0(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )
就是
_CLASS_GET_FUNCTION_IMPL_CALLS(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , X1, X2, X3, X4)
但是这样展开后，我们还是没有看到一个任何类的定义和实现，那继续...

5. 宏 _CLASS_GET_FUNCTION_IMPL_CALLS
#define _CLASS_GET_FUNCTION_IMPL_CALLS( \
 TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, CALL_OPT, X2, X3, X4) \
  _VARIADIC_CALL_OPT_X1(_CLASS_GET_FUNCTION_IMPL, \
   TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, __cdecl, X2, X3, X4)
通过定义，我们展开 _CLASS_GET_FUNCTION_IMPL_CALLS 宏。还是以索引 0的为例,能得到下面
的定义:
_VARIADIC_CALL_OPT_X1(_CLASS_GET_FUNCTION_IMPL, _TEM_LIST0, _PAD_LIST0, _RAW_LIST0,,__cdecl,X2, X3, X4)

6. 宏_VARIADIC_CALL_OPT_X1
我们来看看这个嵌套在里面的宏.
#define _VARIADIC_CALL_OPT_X1(FUNC, X1, X2, X3, X4, \
 CALL_OPT, X6, X7, X8) \
  FUNC(X1, X2, X3, X4, CALL_OPT, X6, X7, X8) \
  FUNC(X1, X2, X3, X4, __stdcall, X6, X7, X8) \
  FUNC(X1, X2, X3, X4, __fastcall, X6, X7, X8)

那实际上展开就是3个如下的宏定义
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , __cdecl,X2, X3, X4)
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , __stdcall,X2, X3, X4)
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , __fastcall,X2, X3, X4)

7. 宏 _CLASS_GET_FUNCTION_IMPL
我们来看 _CLASS_GET_FUNCTION_IMPL 的定义
#define _CLASS_GET_FUNCTION_IMPL( \
 TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, CALL_OPT, X2, X3, X4) \
template<class _Ret COMMA LIST(_CLASS_TYPE)> \
 struct _Get_function_impl<_Ret CALL_OPT (LIST(_TYPE))> \
 { /* determine type from argument list */ \
 typedef _Func_class<_Ret COMMA LIST(_TYPE)> type; \
 
 };
 
8. 获取原型
结合上面对宏_CLASS_GET_FUNCTION_IMPL的使用，我们能大致获取到下面的定义,我们以
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , __cdecl,X2, X3, X4)
为例展:
template<class _Ret  _RAW_LIST0(_CLASS_TYPE)> \
 struct _Get_function_impl<_Ret __cdecl (_RAW_LIST0(_TYPE))> \
 { /* determine type from argument list */ \
 typedef _Func_class<_Ret _RAW_LIST0(_TYPE)> type; \
 };
 
  #define _RAW_LIST0(MAP)
  #define _VAR_VAL(NUM) _V ## NUM
#define _VAR_TYPE(NUM) _V ## NUM ## _t
#define _CLASS_TYPE(NUM) class _VAR_TYPE(NUM)

template<class _Ret> struct _Get_function_impl<_Ret __cdecl()>
{
 typedef _Func_class<_Ret)> type;
};

那
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , __stdcall,X2, X3, X4)
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST0, _PAD_LIST0, _RAW_LIST0, , __fastcall,X2, X3, X4)
对应就是

template<class _Ret> struct _Get_function_impl<_Ret __stdcall()>
{
 typedef _Func_class<_Ret)> type;
};

template<class _Ret> struct _Get_function_impl<_Ret __fastcall()>
{
 typedef _Func_class<_Ret)> type;
};

9. 我们以 _VARIADIC_EXPAND_2 为例来再推导一次
由
_VARIADIC_EXPAND_0X(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )
开始,得到
#define _VARIADIC_EXPAND_2(FUNC, X1, X2, X3, X4) \
FUNC(_TEM_LIST2, _PAD_LIST2, _RAW_LIST2, _COMMA, X1, X2, X3, X4)
可以得到
_CLASS_GET_FUNCTION_IMPL_CALLS(_TEM_LIST2, _PAD_LIST2, _RAW_LIST2, _COMMA, X1, X2, X3, X4)
进而得到
_VARIADIC_CALL_OPT_X1(_CLASS_GET_FUNCTION_IMPL, _TEM_LIST2, _PAD_LIST2, _RAW_LIST2, _COMMA,__cdecl, X2, X3, X4)
继续展开,得到
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST2,_PAD_LIST2,_RAW_LIST2,_COMMA,__cdecl,X2, X3, X4)
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST2,_PAD_LIST2,_RAW_LIST2,_COMMA,__stdcall,X2, X3, X4)
_CLASS_GET_FUNCTION_IMPL(_TEM_LIST2,_PAD_LIST2,_RAW_LIST2,_COMMA,__fastcall,X2, X3, X4)
继续展开,得到(先用__cdecl为例)
#define _CLASS_GET_FUNCTION_IMPL( \
 TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, CALL_OPT, X2, X3, X4) \
template<class _Ret _COMMA _RAW_LIST2(_CLASS_TYPE)> \
 struct _Get_function_impl<_Ret __cdecl (_RAW_LIST2(_TYPE))> \
 { /* determine type from argument list */ \
 typedef _Func_class<_Ret _COMMA _RAW_LIST2(_TYPE)> type; \
 };

#define _RAW_LIST2(MAP) MAP(0) _COMMA MAP(1)
#define _RAW_LIST0(MAP)
#define _RAW_LIST2(MAP) MAP(0) _COMMA MAP(1)
#define _VAR_VAL(NUM) _V ## NUM
#define _VAR_TYPE(NUM) _V ## NUM ## _t
#define _CLASS_TYPE(NUM) class _VAR_TYPE(NUM)
#define _TYPE(NUM)  _VAR_TYPE(NUM)

全部继续展开,
template<class _Ret , class _V0_t class _V1_t>  
struct _Get_function_impl<_Ret __cdecl (_V0_t,_V1_t))>
{
 typedef _Func_class<_Ret, _V0_t,_V1_t> type;
};

template<class _Ret , class _V0_t class _V1_t>  
struct _Get_function_impl<_Ret __cdecl (_V0_t,_V1_t))>
{
 typedef _Func_class<_Ret, _V0_t,_V1_t> type;
};

template<class _Ret , class _V0_t class _V1_t>  
struct _Get_function_impl<_Ret __stdcall (_V0_t,_V1_t))>
{
 typedef _Func_class<_Ret, _V0_t,_V1_t> type;
};  

10. 我们发现,
_VARIADIC_EXPAND_0 对应的是类似这样的定义
template<class _Ret> struct _Get_function_impl<_Ret __stdcall()>
{
 typedef _Func_class<_Ret)> type;
};

_VARIADIC_EXPAND_1 对应的是类似这样的定义
template<class _Ret,_V0_t> struct _Get_function_impl<_Ret __stdcall(_V0_t)>
{
 typedef _Func_class<_Ret,_V0_t)> type;
};

_VARIADIC_EXPAND_2 对应的是类似这样的定义
template<class _Ret,_V0_t,_V1_t> struct _Get_function_impl<_Ret __stdcall(_V0_t,_V1_t)>
{
 typedef _Func_class<_Ret,_V0_t,_V1_t)> type;
};

_VARIADIC_EXPAND_5 对应的是类似这样的定义,5表示有5个参数
template<class _Ret,_V0_t,_V1_t,_V2_t,_V3_t,_V4_t> struct _Get_function_impl<_Ret __stdcall(_V0_t,_V1_t,_V2_t,_V3_t,_V4_t)>
{
 typedef _Func_class<_Ret,_V0_t,_V1_t,_V2_t,_V3_t,_V4_t)> type;
};

自此,全部推导结束,也就能理解类是构造的了。