这篇笔记介绍了C++中的泛型编程概念，特别是adaptable function objects，如unary_negate，它们用于指定参数和返回类型。此外，还探讨了不同类型的typedef，如value_type、pointer和const_iterator，以及它们在STL容器中的作用。内容还涵盖了关联容器如Hashed Associative Container，包括hash_function和key_eq函数对象，以及resize操作对迭代器的影响。
1 泛型编程和面向对象编程不同，它并不要求你通过额外的间接层来调用函数；它让你撰写完全一般化并可重复运用的算法，其效率和“针对特定数据类型而设计”的算法旗鼓相当。
2 STL编译效率不高。因为需要template引数推导(argument deduction)和具现化(instantiation)，但不影响运行效率。
3 对象持久性(object persistence)：保存对象的状态，从而可以在以后恢复且使用。STL尚未支持对象持久性(persistence)。
4 adapters配接器（适配器）。allocators配置器。template classes（可参数化的型别）。
5 STL把算法和数据结构完全分离开来，互不耦合。
6 泛型算法：用来描述算法步骤的实际指令；正确指定“其引数型别必须满足之性质”的一组需求条件。
7 定义抽象的concepts，并根据抽象的concepts来撰写算法与数据结构，是泛型编程的本质。
8 泛型(genericity)，具有“在多种数据型别上皆可操作”的含意。
9 泛型编程：concepts, modeling和refinement
STL: iterators, containers, function objects
10 concept：一组“描述某个型别”的条件
model：当某个型别满足所有这样的条件
条件： 一组有效表达式
11 正规型别(regular type)：一种同时满足Assignable, Default Constructible, Equality Comparable
12 任何时刻，某个区间内只能有一个有效的input iterator, output iterator。而forward iterator没有这限制。
同一性：p和q都是可提领指针，那么当且仅当*p与*q是同一对象, p==q才成立。
13 refinement(精炼、强化)：如果concept C2提供concept C1的所有功能，再加上其他可能的额外功能，则C2是C1的refinement。
14 value type：iterator会指向某物，而此物的型别为这iterator的value type
15 type inference：型别推论
16 typename I::value_type 在模块里，指明typename后面是类型
17 value type（数值型别）
总是在class以嵌套型别定义value_type
template <class Node>
struct node_wrap
{
typedef Node value_type;
};
template <class Iterator>
struct iterator_traits
{
2 STL编译效率不高。因为需要template引数推导(argument deduction)和具现化(instantiation)，但不影响运行效率。
3 对象持久性(object persistence)：保存对象的状态，从而可以在以后恢复且使用。STL尚未支持对象持久性(persistence)。
4 adapters配接器（适配器）。allocators配置器。template classes（可参数化的型别）。
5 STL把算法和数据结构完全分离开来，互不耦合。
6 泛型算法：用来描述算法步骤的实际指令；正确指定“其引数型别必须满足之性质”的一组需求条件。
7 定义抽象的concepts，并根据抽象的concepts来撰写算法与数据结构，是泛型编程的本质。
8 泛型(genericity)，具有“在多种数据型别上皆可操作”的含意。
9 泛型编程：concepts, modeling和refinement
STL: iterators, containers, function objects
10 concept：一组“描述某个型别”的条件
model：当某个型别满足所有这样的条件
条件： 一组有效表达式
11 正规型别(regular type)：一种同时满足Assignable, Default Constructible, Equality Comparable
12 任何时刻，某个区间内只能有一个有效的input iterator, output iterator。而forward iterator没有这限制。
同一性：p和q都是可提领指针，那么当且仅当*p与*q是同一对象, p==q才成立。
13 refinement(精炼、强化)：如果concept C2提供concept C1的所有功能，再加上其他可能的额外功能，则C2是C1的refinement。
14 value type：iterator会指向某物，而此物的型别为这iterator的value type
15 type inference：型别推论
16 typename I::value_type 在模块里，指明typename后面是类型
17 value type（数值型别）
总是在class以嵌套型别定义value_type
template <class Node>
struct node_wrap
{
typedef Node value_type;
};
template <class Iterator>
struct iterator_traits
{
最低0.47元/天 解锁文章
扫一扫
643
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
