Um especificador aplica informações adicionais a uma definição. Por exemplo, o especificador de efeito decides em uma definição de função marca a função como falível.
Os especificadores se enquadram em uma destas duas subcategorias: especificadores de acesso e de efeito.