Necesita aclaración sobre definición de tipo literal

El libro que estoy leyendo con frecuencia menciona que un tipo debe ser literal para usar en ciertas situaciones, como los tipos que pueden usar constexpr. Pero la única definición dada fue que los tipos literales son aritméticos, de referencia o de tipo puntero. Pero cuando definimos un tipo constexpr, parece que tiene que inicializarse con un literal o una variable que originalmente se inicializó con un literal.

Estoy confundido con lo que califica como un tipo literal y lo que no.

Respuestas a la pregunta(2)

Su respuesta a la pregunta