std :: arrays vectoriales y c-style

Question

Estoy experimentando con OpenCL para aumentar la velocidad de nuestro software. Trabajamos mucho con mapas y, para simplificar, representamos un mapa como std :: vector < std :: vector>. La API de OpenCL toma punteros de estilo c en bruto como argumentos, por ejemplo, int * en el caso anterior.

Mis preguntas:

• ¿Existen garantías de ejecución en la que STL vector es, a nivel interno, consecutivas en la memoria?
• ¿Puedo lanzar con seguridad un std :: vector a int * y esperar que funcione?
• En el caso de un vector de vectores, ¿todavía puedo asumir que esto es cierto? Esperaría que el vector tuviera otros datos de estado, o problemas de alineación, o tal vez alguna otra cosa ...
• ¿Cuál es la mejor manera de abordar esto? ¿Escribir una estructura de datos 2d personalizada que contenga un búfer interno en memoria contigua y trabajar con eso? Tendría que copiar mucho/a vectores mucho ...

Gracias.

Answer 1

¿Existen garantías de implementación en el stl que el vector es, internamente, consecutivo en la memoria?

A partir de C++ 03, sí, se garantiza que un vector utiliza el almacenamiento contiguo. (En C++ 98, hubo una laguna accidental por lo que una implementación podría usar hipotéticamente el almacenamiento no contiguo, pero se corrigió en la revisión de 2003 del estándar, y ninguna implementación en realidad usó el almacenamiento no contiguo porque ' d ser una idea terrible)

¿Puedo lanzar con seguridad un std :: vector a int * y espero que funcione?

La forma habitual es &v[0].(&*v.begin() probablemente también funcione, pero parece recordar que hay algunas palabras suaves en el estándar que hacen que esto no sea 100% confiable)

No. ¿Por qué esperas que funcione? Un vector es una clase. No es un puntero. Sólo contiene un puntero.

En el caso de un vector de vectores, ¿puedo seguir suponiendo que esto sea cierto? Esperaría que el vector tuviera otros datos de estado, o problemas de alineación, o tal vez alguna otra cosa ...

El vector se comporta igual en cualquier lugar que guarde en él. Si comete un vector de vectores, se termina con un objeto que contiene un puntero a una matriz de heap-asignado, donde cada elemento es un objeto que contiene un puntero a una matriz de heap-asignado.

En cuanto a cómo se debe abordar esto, depende de muchos factores. ¿Qué tan grande es su conjunto de datos total? Es posible que desee tener toda la tabla asignada contiguamente. Con un vector de vectores, cada fila es una asignación separada.

Answer 2

¿Existen garantías de implementación en el stl de que el vector es, internamente, consecutivo en la memoria?

Aunque no puedo citar los estándares aquí, he visto código en bibliotecas de alta calidad que asumen este diseño (a saber, POCO).

¿Puedo lanzar con seguridad un std :: vector a int * y espero que funcione?

Específicamente, no puede volver a montar el vector en sí. Sin embargo, he visto el siguiente código:

std::vector<int> vec; 
int* ptr = &vec[0]; 

En el caso de un vector de vectores, ¿puedo suponer que esto es cierto? Esperaría que el vector tuviera otros datos de estado, o problemas de alineación, o tal vez alguna otra cosa ...

Probablemente no se puede convertir un vector de vectores en una matriz lineal. Cada vector reservará su propio rango de memoria y no puede esperar que todos estos rangos sean secuenciales.

Answer 3

• ¿Hay garantías de ejecución en la que STL vector es,
  internos, consecutivos en la memoria

Sí, es una matriz dinámica. Estándar garantiza que los objetos dentro del vector se almacenan consecutivamente.

• ¿Puedo con seguridad emitir un std :: vector a int * y esperar que funcione?

No, pero se puede utilizar begin() y usar eso como el puntero.

• ¿Hay garantías de ejecución en la STL que el vector es,
  internamente, consecutivos en la memoria

No, ya que el vector puede contener algunas variables miembro internos toda la matriz 2D no lo hará ser la ubicación de memoria continua

Answer 4

usted ha mencionado en un comentario de que se trabaja con hasta 2500x2500xsizeof datos (dobles). En ese caso, sugeriría usar un único vector en lugar de un vector de vectores. Asigne elementos NxM en un vector y envuélvalo en una clase que exponga la indexación bidimensional si lo desea. Obtiene todos los beneficios del vector con una sobrecarga mínima y todos sus datos están todavía en la memoria contigua para un procesamiento rápido.