Map Integral Constants to Types

最新推荐文章于 2024-08-25 08:15:56 发布

原创最新推荐文章于 2024-08-25 08:15:56 发布 · 1k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#Generic Programming #泛型编程

泛型编程专栏收录该内容

8 篇文章

订阅专栏

本文介绍了如何利用Map Integral Constants to Types技术进行编译时的选择，特别是在泛型编程中的应用。通过Int2Type模板，可以为每个常量生成不同类型，实现编译时的分支选择，避免运行时的if-else或多态。这种方法适用于编译时必须根据类特性选择不同代码路径的场景。

何种情况使用

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

例子

#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;
}

为什么可以这样用

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

解决了什么

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