用类型别名定义指针的一点小细节

C++ Primer 里讲，如果用*号紧靠类型名的方式定义多个变量，那么只有第一个变量会是指针类型，后续变量不会被定义为指针。

double* i,j;   // i是double类型指针，j是double类型变量

然后在typedef定义类型别名的时候讲 typedef double *p 使得成为double*的同义词，那么使用p定义多个变量会是怎样的情况呢？

答案如下：

#include <iostream>
#include <typeinfo>

int main()
{
    typedef double *p;
    double* i, j;
    p x,y;  // p means double*
    std::cout << "i's type is " << typeid(i).name() << std::endl;
    std::cout << "j's type is " << typeid(j).name() << std::endl;
    std::cout << "x's type is " << typeid(x).name() << std::endl;
    std::cout << "y's type is " << typeid(y).name() << std::endl;
    return 0;
}

//    i's type is Pd
//    j's type is d
//    x's type is Pd
//    s type is Pd

 

可见类型别名没有原名(double*)的局限性，这让我非常困惑：

*号究竟是该紧挨着类型名呢，还是该紧挨着变量名呢？