Una matriz de char no necesita ser terminada por nada en absoluto. Es una matriz. Si el contenido real es más pequeño que las dimensiones de la matriz, debe realizar un seguimiento del tamaño de ese contenido.

Las respuestas aquí parecen haber degenerado en una discusión en cadena. No todas las matrices de caracteres son cadenas. Sin embargo, es una convención muy fuerte usar un terminador nulo como centinela si se van a manejar como cadenas de facto.

Su matriz puede usar algo más y también puede tener separadores y zonas. Después de todo, puede ser una Unión o superponerse a una estructura. Posiblemente un área de preparación para otro sistema.

Se permite char una matriz de caracteres con una cadena si la matriz es al menos lo suficientemente grande como para contener todos los caracteres de la cadena además del terminador nulo.

Esto se detalla en la sección 6.7.9p14 del estándar C :

Una matriz de tipo de carácter se puede inicializar mediante una cadena de caracteres literal o una cadena literal UTF-8, opcionalmente encerrada entre llaves. Los bytes sucesivos del literal de cadena (incluido el carácter nulo de terminación si hay espacio o si la matriz tiene un tamaño desconocido) inicializan los elementos de la matriz.

Sin embargo, esto también significa que no puede tratar la matriz como una cadena, ya que no tiene una terminación nula. Entonces, como está escrito, dado que no está realizando ninguna operación de cadena en b , su código está bien.

Lo que no puede hacer es inicializar con una cadena demasiado larga, es decir:

 char b[2] = "hello";

Como esto da más inicializadores de los que pueden caber en la matriz y es una violación de restricción. La Sección 6.7.9p2 establece esto de la siguiente manera:

Ningún inicializador intentará proporcionar un valor para un objeto que no esté contenido dentro de la entidad que se está inicializando.

Si tuviera que declarar e inicializar la matriz de esta manera:

 char b[] = "hi";

Entonces b sería una matriz de tamaño 3, que es lo suficientemente grande como para mantener constantes los dos caracteres en la cadena más el byte nulo final, lo que convierte a b en una cadena.

Para resumir:

Si la matriz tiene un tamaño fijo:

• Si la constante de cadena utilizada para inicializarla es más corta que la matriz, la matriz contendrá los caracteres de la cadena con elementos sucesivos establecidos en 0, por lo que la matriz contendrá una cadena.
• Si la matriz es exactamente lo suficientemente grande como para contener los elementos de la cadena pero no el terminador nulo, la matriz contendrá los caracteres de la cadena sin el terminador nulo, lo que significa que la matriz no es una cadena.
• Si la constante de cadena (sin contar el terminador nulo) es más larga que la matriz, se trata de una violación de la restricción que desencadena un comportamiento indefinido

Si la matriz no tiene un tamaño explícito, se dimensionará para mantener la cadena constante más el byte nulo de terminación.

Hay dos cosas en tu pregunta.

1. Cadena literal. El literal de cadena (es decir, algo encerrado entre comillas dobles) es siempre la cadena terminada en un carácter nulo correcto.

    char *p = "ABC"; // p references null character terminated string

2. La matriz de caracteres solo puede contener tantos elementos como tiene, por lo que si intenta inicializar una matriz de dos elementos con un literal de cadena de tres elementos, solo se escribirán dos primeros. Por lo tanto, la matriz no contendrá la cadena C terminada en carácter nulo

    char p[2] = "AB"; // p is not a valid C string.