14.7. 自增操作符和自减操作符

#include<iostream>

#include<string>

using namespace std;



/*

14.7. 自增操作符和自减操作符

*/



//可以定义一个类，该类指向一个数组并为该数组中的元素提供访问检查

/*

构造函数的参数是两个指针：一个指向数组的开始，另一个指向数组的末端。

构造函数用这两个指针初始化 beg 和 end，并将 curr 初始化为指向第一个元

素。 

*/

class checkedptr

{

public:

	checkedptr(int* a,int* b):beg(a),end(b),curr(a){}



	//前缀的自增自减

	checkedptr& operator++();

	checkedptr& operator--();



	//后缀的自增自减

	checkedptr operator++(int);

	checkedptr operator--(int);



private:

	int* beg;

	int* end;

	int* curr;

};



/*

为了与内置类型一致，前缀式操作符应返回被增量或减

量对象的引用。 

这个自增操作符根据 end 检查 curr，从而确保用户不能将 curr 增量到超

过数组的末端。如果 curr 增量到超过 end，就抛出一个 out_of_range 异常；

否则，将 curr 加 1 并返回对象引用：

*/

checkedptr& checkedptr::operator++()

{

	if(curr==end)

		throw out_of_range("beyond the end");

	++curr;

	return *this;

}

checkedptr& checkedptr::operator--()

{

	if(curr==beg)

		throw out_of_range("below the beg");

	--curr;

	return *this;

}



/*

为了解决这一问题，后缀式操作符函数接受一个额外的（即，无用的）int 型

形参。使用后缀式操作符进，编译器提供 0 作为这个形参的实参。尽管我们的

前缀式操作符函数可以使用这个额外的形参，但通常不应该这样做。那个形参不

是后缀式操作符的正常工作所需要的，它的唯一目的是使后缀函数与前缀函数区

别开来。 

为了与内置操作符一致，后缀式操作符应返回旧值（即，

尚未自增或自减的值），并且，应作为值返回，而不是

返回引用。

*/

checkedptr checkedptr::operator++(int)

{

	checkedptr ret(*this);

	++*this;

	return ret;

}



checkedptr checkedptr::operator--(int)

{

	checkedptr ret(*this);

	--*this;

	return ret;

}



int main()

{



	system("pause");

	return 1;



}