是的。因为数组的数据类型是根据你所定义的数据类型来规定的。
比如：
C语言的数组大小和元素类型必须在编译期指定，一经指定不可改变。
Java语言的数组元素类型必须在编译期指定，数组大小可以运行时指定，但一经指定不可改变。
Perl/Python中的数组（列表）没有此类限制。
扩展资料：
一个数组中的所有元素具有相同的数据类型（在C、C++、Java、pascal中都这样。但也并非所有涉及数组的地方都这样，比如在Visual Foxpro中的数组就并没这样的要求）。当然，当数据类型为 Variant 时，各个元素能够包含不同种类的数据（对象、字符串、数值等等）。可以声明任何基本数据类型的数组，包括用户自定义类型和对象变量。
如果要用户输入的是一个数组，一般是用一个循环，但是在输入前也需要固定数组的大小。
参考资料来源：百度百科-数组
这个问题，有部分人的答案是：“是的，必须相同”，就连数组的百度百科，关于数组的使用规则也是这么说的：数组的类型实际上是指数组元素的取值类型。对于同一个数组，其所有元素的数据类型都是相同的。
对此我有不同的理解，我的答案是：“不是”。
原因：数组的概念：在程序设计中，为了处理方便， 把具有相同类型的若干元素按无序的形式组织起来的一种形式。 这些无序排列的同类数据元素的集合称为数组，也就是说数组是用于储存多个相同类型数据的集合。
以C语言中的一维数组为例，一维数组的定义方式为：类型说明符 数组名 [常量表达式];
其中，类型说明符是任一种基本数据类型或构造数据类型。数组的类型实际上是指数组元素的取值类型。
其实，从变量的角度看，每个数组元素（相当于变量）具有的属性：数组元素名、数据类型、值，内存地址中，能每个元素都相同的也只能是数据类型。
而如果这个数组里存放的数组元素本身就不是数据类型的元素呢，还能说数据类型是相同的吗？
这更像一个文字游戏，如果原话改为“同一个数组中的所有数组元素的类型必须相同”，那我的答案将毫无疑问：“是的”。
以上仅为我的个人看法，欢迎批评指正。
扩展资料：
数组中的元素：
与结构或类中的字段的区别
数组中的所有元素都具有相同类型（这一点和结构或类中的字段不同，它们可以是不同类型）。数组中的元素存储在一个连续性的内存块中，并通过索引来访问（这一点也和结构和类中的字段不同，它们通过名称来访问）。
类型：数组元素并非只能是基元数据类型，还可以是结构、枚举或类。
参考资料：百度百科——数组
本回答被网友采纳所谓数组，就是相同数据类型的元素按一定顺序排列的集合，就是把有限个类型相同的变量用一个名字命名，然后用编号区分他们的变量的集合，这个名字称为数组名，编号称为下标。组成数组的各个变量称为数组的分量，也称为数组的元素，有时也称为下标变量。
数组是在程序设计中，为了处理方便， 把具有相同类型的若干变量按有序的形式组织起来的一种形式。
这些按序排列的同类数据元素的集合称为数组。
