STL之浅谈std::conditional

问题背景：为什么有三元运算符了，std还要实现诸多类似std::conditional的模板呢？

结论：完全实例化（展开）问题，避免模板编程带来的空间开销

初步探索：

• 首先来看下测试用例的代码

#include <iostream>
//#include <type_traits>//struct conditional
using namespace std;
/***********************
      v=a*(a-1)*(a-2)*...*1;
***********************/
//part one
template<int _Cond, typename _Iftrue, typename _Iffalse>
struct IfElse
{};

template<typename _Iftrue, typename _Iffalse>
struct IfElse<false, _Iftrue, _Iffalse>
{
    typedef _Iffalse type;
};

template<typename _Iftrue, typename _Iffalse>
struct IfElse<true, _Iftrue, _Iffalse>
{
    typedef _Iftrue type;
};

template <int _Val>
struct Recursion{
    enum { val = Recursion<_Val-1>::val * _Val};
};
template<>
struct Recursion<1>{
    enum {val = 1};
};

template <int Va,int Vb>
struct TestIfElse{
    typedef typename IfElse< (Va > Vb), Recursion<3>, Recursion<4>>::type ResultVal;
};


void RecTest()
{
    int a,b;
    cin >> a;
    cin >> b;
    int v = a > b ? Recursion<3>::val : Recursion<4>::val;
    v = TestIfElse<1,2>::ResultVal::val;
    v = 1 > 2 ? Recursion<3>::val : Recursion<4>::val;
}

//part two
class Int{
public:
    Int()=delete;
    ~Int()=default;
    Int(int _v):val(_v){ cout << "constructor: " << val <<endl; };
    const int val;
};

template<int _Val>
class IntRecursion{
public:
    const int Val=Int(_Val).val * IntRecursion<_Val-1>().Val ;
};
template<>
class IntRecursion<1>{
public:
    const int Val=Int(1).val ;
};

void IntRecTest(int a,int b)
{
    int v = a > b ? IntRecursion<4>().Val : IntRecursion<3>().Val;
    v = 1 > 2 ? IntRecursion<4>().Val : IntRecursion<3>().Val;
    cout << v <<endl;
}

int main()
{
    RecTest();
    IntRecTest(1,2);
    return 0;
}

• 在part one中的用例最后是由RecTest函数来测试的，在测试之前可以先猜猜这个函数中的最后三行都有啥区别，这个也是原因所在

来看看汇编代码，在图中的14~25行对应着函数的最后三行代码，可以看出，使用了TestIfElse的和三元运算符已经确定的情况下一样（看TestIfelse里的typedef，实现情形和14行的情形是一样的（a和b都还不确定），只计算出来Recursion<4>的值；而14行那个语句却计算了参数值为3和4的值（18行和19行），这个可能与三元运算符的机制相关。这就可以基本猜到，使用模板进行比较，可以少实例化（准确来说，是实例化对象，而代码层层面都是一样的，意思就是说，模板解析后22行和14行都计算了参数3和4的值，但是就是有没有实例化的问题，/*因为模板一有变化就是一种不同的类型*/）；

• 接着再来看part two的汇编代码

在part two中，和在part one中实现的东西基本是一样的，这次的参数，我封装了一个Int类来看它构造了几个对象

可以看到第19和31行，它和part one中，ab参数都不确定时候一样，调用了两个函数，而当ab确定时候，它却只调用了参数为3的（45行），这就验证了上面的结论。

而在打印中，却这打印了两次参数为3的，没有打印参数为4的（即19行的值嘞？），我想，这个是因为这个是因为与class Int相关，因为在IntRecursion模板中使用的是一个类对象，它是在运行时，在栈分配的空间，虽然它在汇编代码里面是实例了，但是在运行的时候没有实例化改对象，因此没有打印。

 

其他杂言

• 模板的本质还是对象类型，它是在编译时就已经实例化好了（这里的实例化和类的实例化有些不一样，可以理解成类似宏展开），而类的实例化是要在运行时
• 我记得在《C++ template》中有提到过，模板的递归有限制（好像是不能超过14还是17层），测试了，是可以的，可能是那本书是基于98版的
• 模板编程是以空间换运行效率
• 很久没碰模板了，有些生疏，有问题欢迎留言