As regras do especificador decltype
estão aqui: https://en.cppreference.com/w/cpp/language/decltype
O seu caso cai em uma expressão qualquer (terceiro item), pois *p
não é uma id-expression, nem um acesso de membro de classe, e sim uma expressão qualquer.
If the argument is any other expression of type T
, and
a. if the value category of expression is xvalue, then decltype yields T&&
;
b. if the value category of expression is lvalue, then decltype yields T&
;
c. if the value category of expression is prvalue, then decltype yields T
.
A categoria de valor da expressão *p
(expressão de indireção) é definida como um lvalue:
The following expressions are lvalue expressions:
- …
*p
, the built-in indirection expression;
Portanto, o tipo em que decltype(*p)
resulta vem da regra 3.b.: if the value category of expression is lvalue, then decltype yields T&
, onde T
é o tipo da expressão *p
, que nesse caso é int
. Substituindo, temos int&
como o tipo resultante.