¿Crear cadenas en D sin asignar memoria?

Question

¿Hay alguna manera segura de crear un string en D, usando información solo disponible en tiempo de ejecución, sin asignar memoria?

Un simple ejemplo de lo que podría querer hacer:

void renderText(string text) { ... } 

void renderScore(int score) 
{ 
    char[16] text; 
    int n = sprintf(text.ptr, "Score: %d", score); 
    renderText(text[0..n]); // ERROR 
} 

El uso de este, se obtendría un error porque el trozo de text no es inmutable, y por lo tanto no es un string (es decir immutable(char)[])

sólo puedo pensar en tres maneras de evitar esto:

1. moldeada del sector a un string. Funciona, pero es feo.
2. Asigne una nueva cadena utilizando la división. Esto funciona, pero prefiero no tener que asignar memoria.
3. Cambie renderText para tomar const(char)[]. Esto funciona aquí, pero (a) es feo, y (b) muchas funciones en Phobos requieren string, así que si quiero usarlas de la misma manera, entonces esto no funciona.

Ninguno de estos es particularmente agradable. ¿Me estoy perdiendo de algo? ¿Cómo todos los demás solucionan este problema?

Answer 1

Echa un vistazo assumeUnique de std.exception Respuesta de Jonathan.

Answer 2

No, no se puede crear una cadena sin asignación. Quizás quiso decir acceso? Para evitar la asignación, debe usar slice o puntero para acceder a una cadena creada anteriormente. Sin embargo, no estoy seguro sobre el lanzamiento, puede o no asignar nuevo espacio de memoria para la nueva cadena.

Answer 3

Una forma de evitar esto sería copiar los caracteres mutables en una nueva versión inmutable continuación, el tramo que:

void renderScore(int score) 
{ 
    char[16] text; 
    int n = sprintf(text.ptr, "Score: %d", score); 
    immutable(char)[16] itext = text; 
    renderText(itext[0..n]); 
} 

Sin embargo:

1. DMD actualmente no permite esto debido a un insecto.
2. Está creando una copia innecesaria (mejor que una asignación de GC, pero aún no es excelente).

Answer 4

Tiene una matriz estática de char. Desea pasarlo a una función que toma immutable(char)[]. La forma solo de hacer eso sin ninguna asignación es emitir. Piénsalo. Lo que quieres es un tipo para actuar como si fuera otro. Eso es lo que hace el casting. Puedes elegir usar assumeUnique para hacerlo, ya que eso hace exactamente el elenco que estás buscando, pero si eso realmente te gana algo es discutible. Su objetivo principal es documentar que lo que está haciendo el elenco es hacer que el valor que se está emitiendo se trate como immutable y que no haya otras referencias a él. En cuanto a su ejemplo, eso es esencialmente cierto, ya que es lo último en la función, pero si usted quiere hacer eso en general depende de usted.Dado que es una matriz estática que arriesga los problemas de memoria si la arruinas y la pasas a una función que permite hacer una fuga, no estoy seguro de que assumeUnique sea la mejor opción. Pero, de nuevo, depende de usted.

Independientemente de si está haciendo un cast (explícitamente o con assumeUnique), necesita estar seguro de que la función a la que lo está transfiriendo no va a filtrar las referencias a los datos que está pasando a él. Si lo hace, entonces estás pidiendo problemas.

La otra solución, por supuesto, es cambiar la función para que tome const(char)[], pero eso aún corre el riesgo de perder referencias a los datos que está pasando. Por lo tanto, aún necesita estar seguro de qué función realmente va a hacer la función. Si es pure, no devuelve const(char)[] (o cualquier cosa que pueda contener const(char)[]), y no hay forma de que pueda filtrarse a través de cualquiera de los otros argumentos de la función, entonces está seguro, pero si alguno de ellos no es cierto , entonces vas a tener que tener cuidado. Por lo tanto, en última instancia, creo que todo lo que realmente usa para usar const(char)[] en lugar de convertirlo en string es que no tiene que emitir. Eso es aún mejor, ya que evita el riesgo de arruinar el elenco (y es mejor, en general, evitar el casting cuando puedes), pero aún tienes las mismas cosas de las que preocuparte cuando se trata de escapar de las referencias.

Por supuesto, eso también requiere que usted pueda cambiar la función para que tenga la firma que desea. Si no puedes hacer eso, entonces vas a tener que lanzar. Creo que en este punto, más de las funciones de Phobos basadas en cadenas han sido modificadas para que sean plantillas en el tipo de cadena. Por lo tanto, esto debería ser menos problemático ahora con Fobos de lo que solía ser. Algunas funciones (en particular las de archivo std.) aún necesitan plantillas, pero, en última instancia, las funciones en Phobos que requieren string específicamente deberían ser bastante raras y tendrán un buen motivo para requerirlas.

En última instancia, sin embargo, el problema es que está tratando de tratar una matriz estática como si fuera una matriz dinámica, y mientras que D definitivamente le permite hacer eso, está asumiendo un riesgo definitivo al hacerlo, y debe asegurarse de que las funciones que está utilizando no pierdan ninguna referencia a los datos locales que les está pasando.