Partilhar via


make_checked_array_iterator

Cria um checked_array_iterator que pode ser usado por outros algoritmos.

Dica

Essa função é uma extensão da Biblioteca Padrão do C++ da Microsoft.O código implementado usando essa função não é portátil para ambientes de criação do C++ Standard que não oferecem suporte a essa extensão da Microsoft.

template <class Iter>
  checked_array_iterator<Iter> 
    make_checked_array_iterator(
      Iter Ptr,
      size_t Size,
      size_t Index = 0
);

Parâmetros

  • Ptr
    Um ponteiro para a matriz de destino.

  • Size
    O tamanho da matriz de destino.

  • Index
    O índice opcional na matriz.

Valor de retorno

Uma instância de checked_array_iterator.

Comentários

A função make_checked_array_iterator é definida no namespace stdext.

Essa função usa um ponteiro bruto (que normalmente geraria preocupação sobre saturação de limites) e o encapsula em uma classe checked_array_iterator que faz verificação. Como essa classe é marcada como verificada, a STL não avisa sobre isso. Para obter mais informações e exemplos de código, consulte Iteradores Verificados.

Exemplo

No exemplo a seguir, um vector é criado e populado com 10 itens. O conteúdo do vetor é copiado em uma matriz usando o algoritmo de cópia e, em seguida, make_checked_array_iterator é usado para especificar o destino. Isso é seguido por uma violação intencional da verificação dos limites, de modo que uma falha de asserção de depuração é acionada.

// make_checked_array_iterator.cpp
// compile with: /EHsc /W4 /MTd

#include <algorithm>
#include <iterator> // stdext::make_checked_array_iterator
#include <memory> // std::make_unique
#include <iostream>
#include <vector>
#include <string>

using namespace std;

template <typename C> void print(const string& s, const C& c) {
    cout << s;

    for (const auto& e : c) {
        cout << e << " ";
    }

    cout << endl;
}

int main()
{
    const size_t dest_size = 10;
    // Old-school but not exception safe, favor make_unique<int[]>
    // int* dest = new int[dest_size];
    unique_ptr<int[]> updest = make_unique<int[]>(dest_size);
    int* dest = updest.get(); // get a raw pointer for the demo

    vector<int> v;

    for (int i = 0; i < dest_size; ++i) {
        v.push_back(i);
    }
    print("vector v: ", v);

    copy(v.begin(), v.end(), stdext::make_checked_array_iterator(dest, dest_size));

    cout << "int array dest: ";
    for (int i = 0; i < dest_size; ++i) {
        cout << dest[i] << " ";
    }
    cout << endl;

    // Add another element to the vector to force an overrun.
    v.push_back(10);
    // The next line causes a debug assertion when it executes.
    copy(v.begin(), v.end(), stdext::make_checked_array_iterator(dest, dest_size));
}

Saída

vector v: 0 1 2 3 4 5 6 7 8 9
int array dest: 0 1 2 3 4 5 6 7 8 9

Requisitos

Cabeçalho: <iterator>

Namespace: stdext

Consulte também

Referência

Biblioteca de Modelos Padrão