在C语言中，数组的下标访问规则如下：
1. 数组的下标从0开始，即第一个元素的下标为0，第二个元素的下标为1，依此类推。
2. 数组的长度是固定的，一旦定义后，无法改变。
3. 数组的下标必须是整数类型，且必须在合法的范围内。如果访问超出数组的下标范围，将导致访问越界错误。
4. 数组的下标可以是变量或表达式，只要满足整数类型和合法范围的要求。
5. 数组的下标可以是负数，但是必须在合法范围内，即负数的绝对值不能超过数组的长度。
6. 数组的下标可以是字符类型，因为字符类型会被转换为相应的ASCII码值。
7. 数组的下标如果是浮点数类型或其他非整数类型，会被截断为整数。
例如，对于一个长度为5的整型数组arr，可以用以下方式访问数组的不同元素：
- arr[0]：访问数组的第一个元素
- arr[1]：访问数组的第二个元素
- arr[i]：访问数组的第i+1个元素，其中i是一个变量
- arr[2+3]：访问数组的第6个元素，即第5个下标
- arr[-1]：访问数组的倒数第一个元素
- arr['A']：访问数组的第65个元素，因为字符'A'对应的ASCII码值为65
