Propiedades de un puntero a una matriz de longitud cero

Considerar

int main()
{
    auto a = new int[0];
    delete[] a; // So there's no memory leak
}

Entre la inicialización y la eliminación de la copia, ¿puede leer el puntero en a + 1?

Por otra parte, el lenguaje no permite que el compilador conjunto ade nullptr?

    auto a = new int[0];

De acuerdo con [basic.compound.3] , el valor almacenado adebe ser uno de los siguientes:

1. Un puntero a un objeto (de tipo int)
2. Un puntero más allá del final de un objeto.
3. Nulo
4. Inválido

Podemos descartar la primera posibilidad ya que no se intconstruyeron objetos de tipo . Se descarta la tercera posibilidad ya que C ++ requiere que se devuelva un puntero no nulo (consulte [basic.stc.dynamic.allocation.2] ). Por lo tanto, nos quedan dos posibilidades: un puntero más allá del final de un objeto o un puntero no válido.

Me inclinaría a ver acomo un puntero pasado-fin, pero no tengo una referencia acreditada para establecer definitivamente eso. (Sin embargo, hay una fuerte implicación de esto en [basic.stc] , ver cómo puedes usardelete este puntero). Así que consideraré ambas posibilidades en esta respuesta.

Entre la inicialización y la eliminación de la copia, ¿puede leer el puntero en a + 1?

El comportamiento es indefinido, según lo dictado por [expr.add.4] , independientemente de la posibilidad que se aplique desde arriba.

Si se atrata de un puntero pasado, se considera que apunta al elemento hipotético en el índice 0de una matriz sin elementos. Agregar el entero ja ase define solo cuando 0≤0+j≤n, donde nes el tamaño de la matriz. En nuestro caso, nes cero, por lo que la suma a+jse define solo cuando jes 0. En particular, la suma 1no está definida.

Si ano es válido, entonces caemos claramente en "De lo contrario, el comportamiento no está definido". (No es sorprendente que los casos definidos solo cubran valores de puntero válidos).

Por otra parte, el lenguaje no permite que el compilador conjunto ade nullptr?

No. De la mencionada [basic.stc.dynamic.allocation.2] : "Si la solicitud tiene éxito, el valor devuelto por una función de asignación reemplazable es un valor de puntero no nulo" . También hay una nota al pie que dice que C ++ (pero no C) requiere un puntero no nulo en respuesta a una solicitud cero.

Según una discusión reciente del reflector del CWG como resultado del número editorial 3178 , se new int[0]produce lo que actualmente se denomina un valor de puntero "pasado al final" .

Se deduce que ano puede ser nulo y a + 1no está definido por [expr.add] / 4 .