如果变量名和类型名字相同但是在询问的表达式里没有出现过，算不算合法？

不合法的情况： 1. 出现的标识符（变量名和类型名）存在重名，或变量类型是不存在的类型。

额。。你好像没有听懂我的意思。 比如a是char类型，b是a类型。 然后最后的串为“a” 这样合法吗？

a不是类型啊，所以b是a类型这句话就错了。