O livro que estou lendo freqüentemente menciona que um tipo tem que ser literal para usar em certas situações, como tipos que podem usar constexpr. Mas a única definição dada foi que tipos literais são tipos aritméticos, de referência ou de ponteiro. Mas quando definimos um tipo constexpr, parece que ele deve ser inicializado com um literal ou uma variável que foi originalmente inicializada com um literal.

Estou confuso com o que se qualifica como um tipo literal e o que não é.