Map Integral Constants to Types

何种情况使用

1. 你需要根据编译时的常量, 从几个不同的函数中选择其中一个进行调用.
2. 你需要在编译时进行分支选择

例子

#include <iostream>

template <int v>
struct Int2Type
{
    enum { value = v }; // 如果不要获取常量, 只是用来分发, 这行可以注释掉
};

template <bool b>
class CTDispatch
{
private:
    void SaySomething(Int2Type<false>) {
        std::cout << "I say false.\n";
    }

    void SaySomething(Int2Type<true>) {
        std::cout << "I say true.\n";
    }
public:
    void SaySomething() {
        SaySomething(Int2Type<b>());
    }
};

int main(int argc, char* argv[])
{
    CTDispatch<true> ctdt;
    CTDispatch<false> ctdf;

    ctdt.SaySomething();
    ctdf.SaySomething();

    return 0;
}

为什么可以这样用

1. Int2Type对每一个常量生成不同的类型, 也就是Int2Type<0>和Int2Type<1>是2种不同的类型.
2. 泛型编程中, 编译器对于不用的代码段使不会去编译的.

解决了什么

严格来说, 没解决什么. 任何一个问题, 通常来说都是多解的. 这个可以完成编译时分发. 因为平常如果要实现选择的话, 我们会用if-else或使用多态. 但是这些都是运行时才能进行. 某些情况, 例如, 根据类是否具有多态属性, 来选择不同分支, 这个在常规的if-else中就无法实现, 因为if-else要求, 不管怎样, 编译会对if和else块进行编译, 有一个块不通过, 编译就不通过.