在和一个哥们讨论泛型时，关于Student stu；他说stu不是Student类型。原因如下：
stu是Student的引用变量，是指向堆内存中具体对象的引用，因为stu还没有具体的对象或属性，Student 才是一个类型，应该属于学生类型的，stu相当于一个未知数，怎么会是Student的类型呢
我不这么认为：
一个变量必须要有类型的，没类型，编译都报错。
这哥们和我理解的不一样，我都质疑自己了

我的观点与你一致，我认为变量时有类型的，而且类型就是描述变量的

Java是一种强类型语言，采用强类型变量检查，即所有变量在编译之前必须声明。
所以一个变量肯定是要有类型的。
但是Java中的许多对象（一般都是具有父子类关系的父类对象）在运行时都会出现两种类型：编译时类型和运行时类型，

1. Person person = new Student();这行代码将会生成一个person变量，该变量的编译时类型是Person，运行时类型是Student。

复制代码

嗯，stu是有类型的，Student在运行程序前就已经存在于常量池中了，编译期是可以识别的类型。栈内存取的是基本类型的字面值和引用，左边的“Student stu；”创建了一个Student 类引用变量。所谓Student 类引用，就是以后可以用来指向Student 对象的对象引用，即“=”操作符使对象引用指向new的那个Student对象。

存在堆内存中的是对象，也就是new出来的是对象，而在栈内存中，存放的是变量，便也也有值，它的值是地址，这个地址指向堆内存中的对象的地址，将地址值赋值给变量，这个变量就指向了这个对象，我们就将stu称之为了Student对象，其实stu的类型是引用类型，是一个指针，指向对象的地址而已。

我的理解：基本数据类型：1.基本类型------>四类八种
         整型   byte(1个字节8位)  short(2个字节16位)  int(4个字节32位) long(8个字节64位)  
         浮点型 float(4个字节32位)  double(8个字节64位)
         字符型   char(2个字节16位)
         布尔类型 boolean 因为它只有两个值 true  false  取其字面量.
引用数据类型：数组， 字符串...............
Student  s;   
Dog dog;
Cat cat;
都可以可以引用数据类型（Type）；根据需要定义。

我的理解是stu是Student类型的，因为Student修饰的是stu，如果stu不是Student类型的，编译会报错，就算是基本数据类型也有类型是吧，总不可能stu没有类型吧，至于stu指向哪个对象那需要看stu是怎么被赋值的，可能是Student类型的对象，也可能是其子类对象

旁听。。。