Numeric_Range<T> 模板的定义:
类型参数 T 是序列的值类型,因此它必定是数值类型。对于模板主体中的函数 static_assert(),当 T 不是整型也不是浮点型时,它的第一个参数会为 false,这时会生成一条包含第二个字符串参数的编译时错误消息。这里使用的断言模板定义在头文件 type_traits 中,模板中还有一些其他的编译时模板类型参数检查断言。这个构造函数的三个参数都有默认值,因此它也可以作为无参构造函数。这三个参数分别用来初始化值、指定一个值到另一个值的增量,以及指定值的个数。因此默认定义了又有两个值的元素段:0 和 1。编译器会在需要时,提供适当的拷贝构造函数。
另有两个成员函数生成,然后返回元素段的开始和结束迭代器。结束迭代器的成员变量 value 的值为最后一个 value+1。结束迭代器是通过修改开始迭代器的 value 生成的。Numeric_Itemtor<T>模板类型的声明在其定义之前是必要的,因为还没有定义迭代器类型模板。Numeric_Iterator<T> 模板被指定为这个模板的友元类,这样 Numeric_Iterator<T> 的实例就可以访问Numeric_Range<T> 的私有成员。Numeric_Range<T> 模板也需要成为 Numeric_Iterator<T> 的友元类,因为 Numeric_Range<T> 的成员函数 end() 需要访问 Numeric_Iterator<T> 的一个私有成员。
如果您发现该资源为电子书等存在侵权的资源或对该资源描述不正确等,可点击“私信”按钮向作者进行反馈;如作者无回复可进行平台仲裁,我们会在第一时间进行处理!
加入交流群
请使用微信扫一扫!