¿Es posible eliminar un objeto no nuevo?

Question

Tengo un objeto con un vector de punteros a otros objetos en ella, algo como esto:

class Object { 
    ... 
    vector<Object*> objlist; 
    ... 
}; 

A continuación, se añade objetos a la lista en estas dos maneras:

Object obj; 
obj.objlist.push_back(new Object); 

y

Object name; 
Object* anon = &name; 
obj.objlist.push_back(anon); 

Si un hacer un destructor que es simplemente

~Object { 
    for (int i = 0; i < objlist.size(); i++) { 
     delete objlist[i]; 
     objlist[i] = NULL; 
    } 
} 

¿Habrá consecuencias adversas en términos de cuándo intenta eliminar un objeto que no se creó con nuevo?

Answer 1

Sí, habrá efectos adversos.

No debe delete un objeto que no fue asignado con new. Si el objeto fue asignado a la pila, su compilador ya generó una llamada a su destructor al final de su alcance. Esto significa que llamarás al destructor dos veces, con efectos potencialmente muy malos.

Además de llamar al destructor dos veces, también intentará desasignar un bloque de memoria que fue nunca asignado asignado. El operador new supuestamente coloca los objetos en el montón; delete espera encontrar el objeto en la misma región que los pone el operador new. Sin embargo, su objeto que no estaba asignado con new vive en la pila. Esto probablemente bloqueará tu programa (si no se cuelga después de llamar al destructor por segunda vez).

También se meterá en graves problemas si su Object en el montón vive más tiempo que su Object en la pila: obtendrá una referencia oscilante en algún lugar de la pila, y obtendrá resultados incorrectos/bloquee el la próxima vez que accedas a él.

La regla general que veo es que las cosas que viven en la pila pueden hacer referencia a cosas que viven en el montón, pero las cosas en el montón no deberían hacer referencia a la pila debido a las altas posibilidades de que sobrevivan a la pila objetos. Y los indicadores para ambos no deberían mezclarse.

Answer 2

Esto no funcionará - si delete un objeto que no fue asignado por new ha violado las reglas o el operador delete.

Si necesita tener sus objetos vectoriales almacenados que pueden o no necesitar ser eliminados, necesitará hacer un seguimiento de eso de alguna manera. Una opción es usar un puntero inteligente que realice un seguimiento de si el objeto apuntado es dinámico o no. Por ejemplo, shared_ptr<> le permite especificar un objeto deallocator al construir la shard_ptr<> y como los documentos mencionan:

Por ejemplo, un "no-op" deallocator es útil cuando se devuelva un shared_ptr a un objeto de forma estática asignada

Sin embargo, debe tener cuidado al pasar punteros a las variables automáticas; si la vida del vector es más larga que la vida útil de la variable, en algún momento se referirá a la basura.

Answer 3

No, sólo se puede delete lo que new ed

Object* anon = &name; 

Cuando el nombre se sale del ámbito, tendrá un puntero no válido en su vector.

Answer 4

Lo que en realidad está preguntando es si es seguro eliminar un objeto no asignado a través del new a través del operador delete, y si es así, ¿por qué?

Desafortunadamente, esto está ofuscado por algunos otros problemas en su código. Como se mencionó, cuando nombre sale del alcance, terminará con un puntero no válido.

Consulte zneak's answer para saber por qué su pregunta original no da como resultado una operación segura, y por qué el alcance para nombre realmente importa.