数组长度是负的为什么还能运行？

#include <iostream>
#include <cstring>
using namespace std;
int main(){
    int check=0;
    int len;
    char s[10000];
    cin >> s;
    len = strlen(s);
     int letter[26] = {0};//26个字母
    for(int i = 0 ; i < len ; i ++)
    {
        letter[s[i]-'a']++;
    }
    for(int i = 0 ; i < len ; i ++)
    {
       if(letter[s[i]-'a'] == 1)
       {
               cout << s[i];
               return 0;
       } 
    }
    
    cout << -1 << endl;
    return 0;
} 
###### 这个是在一串字母中找首个不重复的字母 

###### a的ASCII是97 A是65 如果s【i】是A那么 letter[s[i]-'a']中的s[i]-'a'就是负的了，为什么还能运行？最后的输出-1如果输出了不重复的字母是不是先将它的AScii减一再输出？

C++不强制检查数组的下标越界，它会根据越界的下标在内存中继续查找，不会报错。所以使用数组要严格控制好下标的范围。