关于“数组内所储存元素的数据类型必须相同”和“声明时若没有指定数组的数据类型则默认为变体型”的真实性验证

在教程书上笔者在学习“数组”章节的时候看到这样两句话：

1，数组的数据类型和数组中所储存的数组元素的类型必须相同

2，声明时若没有指定数组的数据类型，则默认为变体型

为了验证两句话的真实性笔者对此进行了验证，代码如下：

这里笔者定义了一个数组，但是没有指定数组的数据类型，笔者为数组元素“s(0)”和“S(1)”分别用整型和字符串型进行了赋值，然后用typename函数输出S(0)和S(1)的数据类型。
执行结果如下：

程序居然奇迹般的执行了，并且没有报错，根据输出结果显示S(0)为整型，S(1)为字符串型。这就纳闷了，不是一个数组里面的数据类型是一致的吗，不一致为什么没有报错，并且输出的数据类型也应该是变体型啊，因为我在声明数组的时候并没有声明其数据类型啊。这是怎么回事