Класс checked_array_iterator
Класс checked_array_iterator предоставляет возможность преобразовать массив или указатель в проверенный итератор. Используйте этот класс в качестве оболочки (с помощью функции make_checked_array_iterator) для необработанных указателей или массивов, как способ целенаправленного выполнения проверки и управления непроверенными предупреждениями об указателях вместо глобального отключения данных предупреждений. При необходимости можно использовать непроверенную версию данного класса, unchecked_array_iterator.
Примечание.
Этот класс является расширением стандартной библиотеки C++, которое предоставляется Майкрософт. Код, реализованный с помощью этой функции, нельзя перенести в стандартные среды сборки C, не поддерживающие это расширение Microsoft. Пример создания кода, не требующего использования данного класса — это второй пример, представленный ниже.
Синтаксис
template <class _Iterator>
class checked_array_iterator;
Замечания
Этот класс определяется в пространстве имен stdext.
Дополнительные сведения и пример кода функции проверяемого итератора см. в разделе Проверяемые итераторы.
Примеры
В следующем примере показано, как задать и использовать проверенный итератор массива.
Если назначение не может вместить все скопированные элементы (например, в случае изменения строки):
copy(a, a + 5, checked_array_iterator<int*>(b, 5));
до
copy(a, a + 5, checked_array_iterator<int*>(b, 4));
Произойдет ошибка исполняющей среды.
// compile with: /EHsc /W4 /MTd
#include <algorithm>
#include <iostream>
using namespace std;
using namespace stdext;
int main() {
int a[]={0, 1, 2, 3, 4};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b, 5));
cout << "(";
for (int i = 0 ; i < 5 ; i++)
cout << " " << b[i];
cout << " )" << endl;
// constructor example
checked_array_iterator<int*> checked_out_iter(b, 5);
copy(a, a + 5, checked_out_iter);
cout << "(";
for (int i = 0 ; i < 5 ; i++)
cout << " " << b[i];
cout << " )" << endl;
}
/* Output:
( 0 1 2 3 4 )
( 0 1 2 3 4 )
*/
Чтобы исключить необходимость класса checked_array_iterator при использовании алгоритмов стандартной библиотеки C++, попробуйте применить vector вместо динамически выделяемого массива. В следующем примере показано, как это сделать.
// compile with: /EHsc /W4 /MTd
#include <algorithm>
#include <iostream>
#include <vector>
using namespace std;
int main()
{
std::vector<int> v(10);
int *arr = new int[10];
for (int i = 0; i < 10; ++i)
{
v[i] = i;
arr[i] = i;
}
// std::copy(v.begin(), v.end(), arr); will result in
// warning C4996. To avoid this warning while using int *,
// use the Microsoft extension checked_array_iterator.
std::copy(v.begin(), v.end(),
stdext::checked_array_iterator<int *>(arr, 10));
// Instead of using stdext::checked_array_iterator and int *,
// consider using std::vector to encapsulate the array. This will
// result in no warnings, and the code will be portable.
std::vector<int> arr2(10); // Similar to int *arr = new int[10];
std::copy(v.begin(), v.end(), arr2.begin());
for (int j = 0; j < arr2.size(); ++j)
{
cout << " " << arr2[j];
}
cout << endl;
return 0;
}
/* Output:
0 1 2 3 4 5 6 7 8 9
*/
Конструкторы
| Конструктор | Description |
|---|---|
| checked_array_iterator | Формирование итератора checked_array_iterator по умолчанию или итератора checked_array_iterator из базового итератора. |
Определения типов
| Введите имя | Description |
|---|---|
| difference_type | Тип, обеспечивающий разницу между двумя итераторами checked_array_iterator, которые ссылаются на элементы в одном контейнере. |
| pointer | Тип, содержащий указатель на элемент, к которому обращается итератор checked_array_iterator. |
| reference | Тип, содержащий ссылку на элемент, к которому обращается итератор checked_array_iterator. |
Функции элементов
| Функция-член | Description |
|---|---|
| base | Восстановление базового итератора из соответствующего итератора checked_array_iterator. |
Операторы
| Operator | Description |
|---|---|
| operator== | Проверка двух итераторов checked_array_iterator на равенство. |
| оператор!= | Проверка двух итераторов checked_array_iterator на неравенство. |
| operator< | Проверка на то, что итератор checked_array_iterator с левой стороны оператора меньше итератора checked_array_iterator с правой стороны. |
| operator> | Проверка на то, что итератор checked_array_iterator с левой стороны оператора больше итератора checked_array_iterator с правой стороны. |
| operator<= | Проверка на то, что итератор checked_array_iterator с левой стороны оператора меньше или равен итератору checked_array_iterator с правой стороны. |
| operator>= | Проверка на то, что итератор checked_array_iterator с левой стороны оператора больше или равен итератора checked_array_iterator с правой стороны. |
| operator* | Возвращение элемента, к которому обращается checked_array_iterator. |
| operator-> | Возвращение указателя на элемент, к которому обращается checked_array_iterator. |
| оператор++ | Увеличение checked_array_iterator до следующего элемента. |
| Оператор-- | Уменьшение checked_array_iterator до предыдущего элемента. |
| оператор+= | Добавление заданного смещения к итератору checked_array_iterator. |
| operator+ | Добавление смещения к итератору и возврат нового итератора checked_array_iterator, который обращается к вставленному элементу в новой позиции смещения. |
| operator-= | Уменьшение заданного смещения из checked_array_iterator. |
| operator- | Уменьшение смещения из итератора и возврат нового итератора checked_array_iterator, который обращается к вставленному элементу в новой позиции смещения. |
operator[] |
Возврат ссылки на смещение элемента из элемента, к которому обращается checked_array_iterator, на указанное число позиций. |
Требования
Заголовок:<итератор>
Пространство имен: stdext
проверкаed_array_iterator::base
Восстановление базового итератора из соответствующего итератора checked_array_iterator.
_Iterator base() const;
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_base.cpp
// compile with: /EHsc
#include <iterator>
#include <vector>
#include <iostream>
int main() {
using namespace std;
int V1[10];
for (int i = 0; i < 10 ; i++)
V1[i] = i;
int* bpos;
stdext::checked_array_iterator<int*> rpos(V1, 10);
rpos++;
bpos = rpos.base ( );
cout << "The iterator underlying rpos is bpos & it points to: "
<< *bpos << "." << endl;
}
/* Output:
The iterator underlying rpos is bpos & it points to: 1.
*/
проверкаed_array_iterator::проверкаed_array_iterator
Формирование итератора checked_array_iterator по умолчанию или итератора checked_array _iterator из базового итератора.
checked_array_iterator();
checked_array_iterator(
ITerator ptr,
size_t size,
size_t index = 0);
Параметры
ptr
Указатель на массив.
size
Размер массива.
index
Элемент в массиве для инициализации итератора (необязательно). По умолчанию итератор инициализируется первым элементом в массиве.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_ctor.cpp
// compile with: /EHsc
#include <iterator>
#include <iostream>
using namespace std;
using namespace stdext;
int main() {
int a[] = {0, 1, 2, 3, 4};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
for (int i = 0 ; i < 5 ; i++)
cout << b[i] << " ";
cout << endl;
checked_array_iterator<int*> checked_output_iterator(b,5);
copy (a, a + 5, checked_output_iterator);
for (int i = 0 ; i < 5 ; i++)
cout << b[i] << " ";
cout << endl;
checked_array_iterator<int*> checked_output_iterator2(b,5,3);
cout << *checked_output_iterator2 << endl;
}
/* Output:
0 1 2 3 4
0 1 2 3 4
3
*/
проверкаed_array_iterator::d ifference_type
Тип, обеспечивающий разницу между двумя итераторами checked_array_iterator, которые ссылаются на элементы в одном контейнере.
typedef typename iterator_traits<_Iterator>::difference_type difference_type;
Замечания
Тип отличия checked_array_iterator совпадает с типом отличия итератора.
Пример кода см. в разделе checked_array_iterator::operator [].
Дополнительные сведения см. в разделе Проверяемые итераторы.
проверкаed_array_iterator::operator==
Проверка двух итераторов checked_array_iterator на равенство.
bool operator==(const checked_array_iterator<_Iterator>& right) const;
Параметры
right
Итератор checked_array_iterator, по которому выполняется проверка на равенство.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_opeq.cpp
// compile with: /EHsc
#include <iterator>
#include <iostream>
using namespace std;
using namespace stdext;
int main() {
int a[] = {0, 1, 2, 3, 4};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
checked_array_iterator<int*> checked_output_iterator2(b,5);
if (checked_output_iterator2 == checked_output_iterator)
cout << "checked_array_iterators are equal" << endl;
else
cout << "checked_array_iterators are not equal" << endl;
copy (a, a + 5, checked_output_iterator);
checked_output_iterator++;
if (checked_output_iterator2 == checked_output_iterator)
cout << "checked_array_iterators are equal" << endl;
else
cout << "checked_array_iterators are not equal" << endl;
}
/* Output:
checked_array_iterators are equal
checked_array_iterators are not equal
*/
проверкаed_array_iterator::operator!=
Проверка двух итераторов checked_array_iterator на неравенство.
bool operator!=(const checked_array_iterator<_Iterator>& right) const;
Параметры
right
Итератор checked_array_iterator, по которому выполняется проверка на неравенство.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_opneq.cpp
// compile with: /EHsc
#include <iterator>
#include <iostream>
using namespace std;
using namespace stdext;
int main() {
int a[] = {0, 1, 2, 3, 4};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
checked_array_iterator<int*> checked_output_iterator2(b,5);
if (checked_output_iterator2 != checked_output_iterator)
cout << "checked_array_iterators are not equal" << endl;
else
cout << "checked_array_iterators are equal" << endl;
copy (a, a + 5, checked_output_iterator);
checked_output_iterator++;
if (checked_output_iterator2 != checked_output_iterator)
cout << "checked_array_iterators are not equal" << endl;
else
cout << "checked_array_iterators are equal" << endl;
}
/* Output:
checked_array_iterators are equal
checked_array_iterators are not equal
*/
checked_array_iterator::operator<
Проверка на то, что итератор checked_array_iterator с левой стороны оператора меньше итератора checked_array_iterator с правой стороны.
bool operator<(const checked_array_iterator<_Iterator>& right) const;
Параметры
right
Итератор checked_array_iterator, по которому выполняется проверка на неравенство.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_oplt.cpp
// compile with: /EHsc
#include <iterator>
#include <iostream>
using namespace std;
using namespace stdext;
int main() {
int a[] = {0, 1, 2, 3, 4};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
checked_array_iterator<int*> checked_output_iterator2(b,5);
if (checked_output_iterator2 < checked_output_iterator)
cout << "checked_output_iterator2 is less than checked_output_iterator" << endl;
else
cout << "checked_output_iterator2 is not less than checked_output_iterator" << endl;
copy (a, a + 5, checked_output_iterator);
checked_output_iterator++;
if (checked_output_iterator2 < checked_output_iterator)
cout << "checked_output_iterator2 is less than checked_output_iterator" << endl;
else
cout << "checked_output_iterator2 is not less than checked_output_iterator" << endl;
}
/* Output:
checked_output_iterator2 is not less than checked_output_iterator
checked_output_iterator2 is less than checked_output_iterator
*/
checked_array_iterator::operator>
Проверка на то, что итератор checked_array_iterator с левой стороны оператора больше итератора checked_array_iterator с правой стороны.
bool operator>(const checked_array_iterator<_Iterator>& right) const;
Параметры
right
Итератор checked_array_iterator, с которым выполняется сравнение.
Замечания
См checked_array_iterator::operator< . пример кода.
Дополнительные сведения см. в разделе Проверяемые итераторы.
checked_array_iterator::operator<=
Проверка на то, что итератор checked_array_iterator с левой стороны оператора меньше или равен итератору checked_array_iterator с правой стороны.
bool operator<=(const checked_array_iterator<_Iterator>& right) const;
Параметры
right
Итератор checked_array_iterator, с которым выполняется сравнение.
Замечания
См checked_array_iterator::operator>= . пример кода.
Дополнительные сведения см. в разделе Проверяемые итераторы.
checked_array_iterator::operator>=
Проверка на то, что итератор checked_array_iterator с левой стороны оператора больше или равен итератора checked_array_iterator с правой стороны.
bool operator>=(const checked_array_iterator<_Iterator>& right) const;
Параметры
right
Итератор checked_array_iterator, с которым выполняется сравнение.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_opgteq.cpp
// compile with: /EHsc
#include <iterator>
#include <iostream>
using namespace std;
using namespace stdext;
int main() {
int a[] = {0, 1, 2, 3, 4};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
checked_array_iterator<int*> checked_output_iterator2(b,5);
if (checked_output_iterator2 >= checked_output_iterator)
cout << "checked_output_iterator2 is greater than or equal to checked_output_iterator" << endl;
else
cout << "checked_output_iterator2 is less than checked_output_iterator" << endl;
copy (a, a + 5, checked_output_iterator);
checked_output_iterator++;
if (checked_output_iterator2 >= checked_output_iterator)
cout << "checked_output_iterator2 is greater than or equal to checked_output_iterator" << endl;
else
cout << "checked_output_iterator2 is less than checked_output_iterator" << endl;
}
/* Output:
checked_output_iterator2 is greater than or equal to checked_output_iterator
checked_output_iterator2 is less than checked_output_iterator
*/
проверкаed_array_iterator::operator*
Возвращение элемента, к которому обращается checked_array_iterator.
reference operator*() const;
Возвращаемое значение
Значение элемента, найденного итератором checked_array_iterator.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterator_pointer.cpp
// compile with: /EHsc
#include <iterator>
#include <algorithm>
#include <vector>
#include <utility>
#include <iostream>
using namespace std;
using namespace stdext;
int main() {
int a[] = {0, 1, 2, 3, 4};
int b[5];
pair<int, int> c[1];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
for (int i = 0 ; i < 5 ; i++)
cout << b[i] << endl;
c[0].first = 10;
c[0].second = 20;
checked_array_iterator<int*> checked_output_iterator(b,5);
checked_array_iterator<int*>::pointer p = &(*checked_output_iterator);
checked_array_iterator<pair<int, int>*> chk_c(c, 1);
checked_array_iterator<pair<int, int>*>::pointer p_c = &(*chk_c);
cout << "b[0] = " << *p << endl;
cout << "c[0].first = " << p_c->first << endl;
}
/* Output:
0
1
2
3
4
b[0] = 0
c[0].first = 10
*/
checked_array_iterator::operator->
Возвращение указателя на элемент, к которому обращается checked_array_iterator.
pointer operator->() const;
Возвращаемое значение
Указатель на элемент, к которому обращается checked_array_iterator.
Замечания
Пример кода см. в разделе checked_array_iterator::operator.
Дополнительные сведения см. в разделе Проверяемые итераторы.
проверкаed_array_iterator::operator++
Увеличение checked_array_iterator до следующего элемента.
checked_array_iterator& operator++();
checked_array_iterator<_Iterator> operator++(int);
Возвращаемое значение
Первый оператор возвращает предварительно увеличенный checked_array_iterator, а второй, постинкрементный оператор, возвращает копию увеличенного checked_array_iterator.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_op_plus_plus.cpp
// compile with: /EHsc
#include <vector>
#include <iostream>
int main() {
using namespace stdext;
using namespace std;
int a[] = {6, 3, 77, 199, 222};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
cout << *checked_output_iterator << endl;
++checked_output_iterator;
cout << *checked_output_iterator << endl;
checked_output_iterator++;
cout << *checked_output_iterator << endl;
}
/* Output:
6
3
77
*/
проверкаed_array_iterator::operator--
Уменьшение checked_array_iterator до предыдущего элемента.
checked_array_iterator<_Iterator>& operator--();
checked_array_iterator<_Iterator> operator--(int);
Возвращаемое значение
Первый оператор возвращает предварительно уменьшенный checked_array_iterator, а второй, постдекрементный оператор, возвращает копию уменьшенного checked_array_iterator.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_op_minus_minus.cpp
// compile with: /EHsc
#include <vector>
#include <iostream>
int main() {
using namespace stdext;
using namespace std;
int a[] = {6, 3, 77, 199, 222};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
cout << *checked_output_iterator << endl;
checked_output_iterator++;
cout << *checked_output_iterator << endl;
checked_output_iterator--;
cout << *checked_output_iterator << endl;
}
/* Output:
6
3
6
*/
проверкаed_array_iterator::operator+=
Добавление заданного смещения к итератору checked_array_iterator.
checked_array_iterator<_Iterator>& operator+=(difference_type _Off);
Параметры
_Off
Смещение, на которое необходимо увеличить итератор.
Возвращаемое значение
Ссылка на элемент, к которому обращается checked_array_iterator.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_op_plus_eq.cpp
// compile with: /EHsc
#include <vector>
#include <iostream>
int main() {
using namespace stdext;
using namespace std;
int a[] = {6, 3, 77, 199, 222};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
cout << *checked_output_iterator << endl;
checked_output_iterator += 3;
cout << *checked_output_iterator << endl;
}
/* Output:
6
199
*/
проверкаed_array_iterator::operator+
Добавление смещения к итератору и возврат нового итератора checked_array_iterator, который обращается к вставленному элементу в новой позиции смещения.
checked_array_iterator<_Iterator> operator+(difference_type _Off) const;
Параметры
_Off
Смещение для добавления к checked_array_iterator.
Возвращаемое значение
Объект checked_array_iterator, который обращается к элементу смещения.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_op_plus.cpp
// compile with: /EHsc
#include <vector>
#include <iostream>
int main() {
using namespace stdext;
using namespace std;
int a[] = {6, 3, 77, 199, 222};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
cout << *checked_output_iterator << endl;
checked_output_iterator = checked_output_iterator + 3;
cout << *checked_output_iterator << endl;
}
/* Output:
6
199
*/
проверкаed_array_iterator::operator-=
Уменьшение заданного смещения из checked_array_iterator.
checked_array_iterator<_Iterator>& operator-=(difference_type _Off);
Параметры
_Off
Смещение, на которое необходимо увеличить итератор.
Возвращаемое значение
Ссылка на элемент, к которому обращается checked_array_iterator.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_op_minus_eq.cpp
// compile with: /EHsc
#include <vector>
#include <iostream>
int main() {
using namespace stdext;
using namespace std;
int a[] = {6, 3, 77, 199, 222};
int b[5];
copy(a, a + 5, checked_array_iterator<int*>(b,5));
checked_array_iterator<int*> checked_output_iterator(b,5);
checked_output_iterator += 3;
cout << *checked_output_iterator << endl;
checked_output_iterator -= 2;
cout << *checked_output_iterator << endl;
}
/* Output:
199
3
*/
проверкаed_array_iterator::operator
Уменьшение смещения из итератора и возврат нового итератора checked_array_iterator, который обращается к вставленному элементу в новой позиции смещения.
checked_array_iterator<_Iterator> operator-(difference_type _Off) const;
difference_type operator-(const checked_array_iterator& right) const;
Параметры
_Off
Смещение, на которое необходимо уменьшить checked_array_iterator.
Возвращаемое значение
Объект checked_array_iterator, который обращается к элементу смещения.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
проверкаed_array_iterator::operator[]
Возврат ссылки на смещение элемента из элемента, к которому обращается checked_array_iterator, на указанное число позиций.
reference operator[](difference_type _Off) const;
Параметры
_Off
Смещение от адреса checked_array_iterator.
Возвращаемое значение
Ссылка на смещение элемента.
Замечания
Дополнительные сведения см. в разделе Проверяемые итераторы.
Пример
// checked_array_iterators_op_diff.cpp
// compile with: /EHsc
#include <vector>
#include <iostream>
int main() {
using namespace std;
int V1[10];
for (int i = 0; i < 10 ; i++)
V1[i] = i;
// Declare a difference type for a parameter
stdext::checked_array_iterator<int*>::difference_type diff = 2;
stdext::checked_array_iterator<int*> VChkIter(V1, 10);
stdext::checked_array_iterator<int*>::reference refrpos = VChkIter [diff];
cout << refrpos + 1 << endl;
}
/* Output:
3
*/
проверкаed_array_iterator::p ointer
Тип, содержащий указатель на элемент, к которому обращается итератор checked_array_iterator.
typedef typename iterator_traits<_Iterator>::pointer pointer;
Замечания
Пример кода см. в разделе checked_array_iterator::operator*.
Дополнительные сведения см. в разделе Проверяемые итераторы.
проверкаed_array_iterator::reference
Тип, содержащий ссылку на элемент, к которому обращается итератор checked_array_iterator.
typedef typename iterator_traits<_Iterator>::reference reference;
Замечания
Пример кода см. в разделе checked_array_iterator::operator [].
Дополнительные сведения см. в разделе Проверяемые итераторы.
См. также
Обратная связь
Ожидается в ближайшее время: в течение 2024 года мы постепенно откажемся от GitHub Issues как механизма обратной связи для контента и заменим его новой системой обратной связи. Дополнительные сведения см. в разделе https://aka.ms/ContentUserFeedback.
Отправить и просмотреть отзыв по