memset() o inicialización de valor para poner a cero una estructura?

Question

En la programación de la API Win32 es típico usar C struct s con múltiples campos. Por lo general, solo un par de ellos tienen valores significativos y todos los demás deben ser eliminados. Esto se puede conseguir en cualquiera de las dos maneras:

STRUCT theStruct; 
memset(&theStruct, 0, sizeof(STRUCT)); 

o

STRUCT theStruct = {}; 

La segunda variante se ve más limpia - es una sola línea, no tiene ningún parámetro que pueda ser mal escritas y conducir a un error que se plantó.

¿Tiene algún inconveniente en comparación con la primera variante? ¿Qué variante usar y por qué?

Answer 1

Esas dos construcciones a muy diferentes en su significado. El primero utiliza una función memset, que está destinada a establecer un búfer de memoria a cierto valor. El segundo a inicializa un objeto. Me explico con un poco de código:

Vamos a suponer que tiene una estructura que tiene miembros única de tipos de POD

struct POD_OnlyStruct 
{ 
    int a; 
    char b; 
}; 

POD_OnlyStruct t = {}; // OK 

POD_OnlyStruct t; 
memset(&t, 0, sizeof t); // OK as well 

En este caso, la escritura de un POD_OnlyStruct t = {}POD_OnlyStruct t; memset(&t, 0, sizeof t) o no hace mucha diferencia , ya que la única diferencia que tenemos aquí es la alineación de bytes que se establece en valor cero en el caso de memset utilizado. Como no tiene acceso a esos bytes normalmente, no hay diferencia para usted.

Por otro lado, ya que lo ha insertado en cuestión como C++, vamos a probar otro ejemplo, con el miembro tipos diferentes de POD:

struct TestStruct 
{ 
    int a; 
    std::string b; 
}; 

TestStruct t = {}; // OK 

{ 
    TestStruct t1; 
    memset(&t1, 0, sizeof t1); // ruins member 'b' of our struct 
} // Application crashes here 

En este caso utilizando una expresión como TestStruct t = {} es bueno y usar un memset en él provocará un bloqueo. Esto es lo que sucede si usa memset - se crea un objeto de tipo TestStruct, creando así un objeto de tipo std::string, ya que es un miembro de nuestra estructura. A continuación, memset establece la memoria donde se encuentra el objeto b a cierto valor, digamos cero. Ahora, una vez que nuestro objeto TestStruct quede fuera del alcance, se destruirá y cuando llegue el turno a su miembro std::string b verá un bloqueo, ya que todas las estructuras internas de ese objeto se arruinaron con el memset.

Por lo tanto, la realidad es, esas cosas son muy diferentes, y aunque a veces es necesario memset toda una estructura de ceros en ciertos casos, siempre es importante asegurarse de que entiende lo que está haciendo, y no cometer un error como en nuestro segundo ejemplo.

Mi voto - memset utilizar en objetos solamente si es necesario, y utilizar la inicialización por defecto x = {} en todos los demás casos.

Answer 2

Usaría la inicialización de valores porque parece limpia y menos propensa a errores como mencionó. No veo ningún inconveniente en hacerlo.

Puede confiar en memset para poner a cero la estructura después de que se haya utilizado.

Answer 3

No es que sea común, pero supongo que la segunda forma también tiene el beneficio de inicializar flotadores a cero. Al hacer un memset ciertamente no

Answer 4

La inicialización del valor porque se puede hacer en tiempo de compilación.
También es correcto 0 inicializa todos los tipos de POD.

El memset() se realiza en tiempo de ejecución.
También el uso de memset() es sospechoso si la estructura no es POD.
No inicializa correctamente (a cero) tipos no enteros.

Answer 5

Dependiendo de los miembros de la estructura, las dos variantes no son necesariamente equivalentes. memset establecerá la estructura a todos los bits cero mientras que la inicialización de valores inicializará todos los miembros al valor cero. El estándar C garantiza que sean los mismos solo para los tipos integrales, no para los valores de punto flotante o los punteros.

Además, algunas API requieren que la estructura realmente se configure en todos los bits cero. Por ejemplo, la API de socket de Berkeley usa estructuras de forma polimórfica, y allí es importante realmente establecer toda la estructura a cero, no solo los valores que son evidentes. La documentación API debe decir si la estructura realmente necesita ser todo-bits-cero, pero podría ser deficiente.

Pero si ninguno de estos, o un caso similar, se aplica, entonces depende de usted. Al definir la estructura, preferiría la inicialización del valor, ya que eso comunica la intención más claramente. Por supuesto, si necesita poner a cero una estructura existente, memset es la única opción (además de inicializar cada miembro a cero manualmente, pero eso normalmente no se haría, especialmente para estructuras grandes).

Answer 6

Si hay muchos miembros de puntero y es probable que agregue más en el futuro, puede ser útil usar memset. Combinado con las llamadas assert(struct->member) apropiadas, puede evitar bloqueos aleatorios al intentar deferenciar un puntero malo que olvidó inicializar. Pero si no eres tan olvidadizo como yo, entonces la inicialización de miembros es probablemente la mejor.

Sin embargo,, si su estructura se usa como parte de una API pública, debe obtener el código de cliente para usar memset como requisito.Esto ayuda con futuras pruebas, ya que puede agregar nuevos miembros y el código del cliente NULL automáticamente en la llamada memset, en lugar de dejarlos en un estado no inicializado (posiblemente peligroso). Esto es lo que haces cuando trabajas con estructuras de socket, por ejemplo.

Answer 7

En algunos compiladores STRUCT theStruct = {}; se traduciría a memset(&theStruct, 0, sizeof(STRUCT)); en el ejecutable. Algunas funciones de C ya están vinculadas para configurar el tiempo de ejecución, por lo que el compilador tiene disponibles estas funciones de biblioteca, como memset/memcpy.

Answer 8

Si su estructura contiene cosas como:

int a; 
char b; 
int c; 

A continuación se insertará bytes de relleno entre "b" y "c". memset() los pondrá a cero, a la inversa no, por lo que habrá 3 bytes de basura (si sus datos son 32 bits). Si tiene la intención de usar su estructura para leer/escribir desde un archivo, esto podría ser importante.