什么是强类型系统？

什么是强类型系统？
答：变量必须先声明才能使用。而在弱类型的语言中，变量可以不声明就使用,RTTI：类型识别系统。