指针变量p的类型可以与所指向的变量类型不同，例如：int a; float *p = &a; 这是合法的，但可能产生类型转换警告。因此，B选项是正确的，其他选项中A错误，C和D在多数情况下不合法。