模板之型别选择

不念不忘少年蓝@ 2022-08-10 11:57 128阅读 0赞

问题：在NiftyContainer 例子中，也许以一个std::vector 作为后端存储结构。面对 polymorphic 型别，不能存储其对象实体，必须存储其指针。但如果面对 non-polymorphic 型别，可以存储其实体，比较有效率。这时，vector <T\*> 还是 vector<T> 需要根据 isPolymorphic 来决定 ValueType 定义为 T \* 或 T。

方法1：可以选择 traits class template 实现，如下：

// traits class template
    template <typename T, bool isPolymorphic>
    struct NiftyContainerValueTraits
    {
    	typedef T* ValueType;
    };
    template <typename T>
    struct NiftyContainerValueTraits < T, false >
    {
    	typedef T ValueType;
    };
    template <typename T, bool isPolymorphic>
    class  NiftyContainer
    {
    	// Traits
    	typedef NiftyContainerValueTraits<T, isPolymorphic> Traits;
    	typedef typename Traits::ValueType ValueType;
       ....
    };

这样做法笨拙难用，无法扩充：针对不同型别选择，都必须定义出专属 traits class template

方法二：Select class template 可使型别的选择立时可用，它采用偏特化机制：

template <bool flag, typename T, typename U>
    struct Select
    {
    	typedef T Result;
    };
    template <typename T, typename U>
    struct Select < false, T, U >
    {
    	typedef U Result;
    };
    template <typename T, bool isPolymorphic>
    class  NiftyContainer
    {       ...
    	typedef Select<isPolymorphic, T*, T>::Result ValueType;
    };

发表评论取消回复

表情：

评论列表（有 0 条评论，128人围观）

还没有评论，来说两句吧...

相关阅读

相关 Java泛型和模板编程区别：何时选择其中之一？

Java的泛型（Generics）和模板编程（Template Programming）虽然都涉及到类型参数，但它们在设计目的、使用场景以及实现方式上存在一些显著的区别。 1

缺乏、安全感/ 2024年11月25日 23:15/ 0 赞/ 59 阅读

相关设计模式 ☞ 行为型之模板方法模式

1.1 简介 1.1.1 概述模板方法(Template Method)模式的定义如下：定义一个操作中的算法骨架，而将算法的一些步骤延迟到子类中，允许子类在不

r囧r小猫/ 2023年01月03日 04:10/ 0 赞/ 196 阅读

相关【设计模式系列】行为型之模板模式

目录理论实践总结理论 1.模板模式：定义一个操作算法中的框架，而将这些步骤延迟加载到子类中。模板方法模式使得子类可以不改变一个算法

痛定思痛。/ 2022年11月21日 03:40/ 0 赞/ 245 阅读

相关模板之型别对型别的映射

假设 Widget 类定义是我们不能修改的类型： class Widget { public: Widget(int arg, int i

╰半夏微凉°/ 2022年08月14日 01:35/ 0 赞/ 180 阅读

相关模板之长整数映射为型别

template <int v> struct Int2Type { enum { value = v }; }; Int2Type

小咪咪/ 2022年08月14日 01:00/ 0 赞/ 222 阅读

相关模板之型别选择

问题：在NiftyContainer 例子中，也许以一个std::vector 作为后端存储结构。面对 polymorphic 型别，不能存储其对象实体，必须存储其指针。但如果

不念不忘少年蓝@/ 2022年08月10日 11:57/ 0 赞/ 129 阅读

相关行为型模式之模板方法模式

模板方法模式（Template Method）解释一下模板方法模式，就是指：一个抽象类中，有一个主方法，再定义1...n 个方法，可以是抽象的，也可以是实际的方法，定

分手后的思念是犯贱/ 2022年05月15日 10:44/ 0 赞/ 247 阅读

相关 14、设计模式(行为型)之模板方法模式(模板模式)

作用定义一个操作中的算法的骨架，而将一些步骤延迟到子类中。模板方法使得子类可以不改变一个算法的结构即可重定义该算法的某些特定步骤。何时使用有一些

梦里梦外;/ 2022年05月10日 05:18/ 0 赞/ 253 阅读

相关泛型笔记之类型模板及其局限性

泛型本质上是「代码类型样版」，可讓開發人員定義类型安全性（在C\的程序中拆装箱和强制类型转换越少，其类型安全性越高）数据結構，而不需要指定實際数据類型。泛型将类型参数的概念

àì夳堔傛蜴生んèń/ 2021年09月27日 08:52/ 0 赞/ 262 阅读

相关设计模式之模板方法模式(行为型)

文章目录一、模式定义二、模式角色三、模式分析四、具体例子

矫情吗；*/ 2021年09月17日 11:14/ 0 赞/ 372 阅读