与数组的最后一个元素进行比较的是什么？

Question

有一种我不明白的行为，每当数组的元素不等于它旁边的元素时，c 变量应该增加一，但是有一个自动完成的增量将c 增加一。我认为这是因为数组的最后一个元素与不等于它的东西进行了比较。为什么会这样？或者，如果我是对的，最后一个元素的比较对象是什么？

#include <iostream>

int main() {
    int n, c = 0;
    std::cin >> n;
    std::string s[n];
    for (int i = 0; i < n; i++) {
        std::cin >> s[i];
    }
    for (int i = 0; i < n; i++) {
        if (s[i] != s[i+1]) {
            c++;
        }
    }
    std::cout << c;
}

Answer 1

s[s.length()] == ‘\0’

从这里：https://www.cplusplus.com/reference/string/string/operator%5B%5D/

“如果 pos 等于字符串长度，则函数返回对字符串中最后一个字符后面的空字符的引用（不应修改）。”

Answer 2

std::string s[n]; 正在创建所谓的“可变长度数组”which is NOT part of standard C++，但某些编译器支持将其作为扩展。不要依赖这个。使用 std::vector 代替动态长度数组，其长度直到运行时才知道。

但是，更重要的是，您的第二个循环具有未定义的行为。 s[] 数组元素的有效索引是 0..n-1，所以在循环的最后一次迭代中，s[i] 访问数组中的最后一个字符串，s[i+1] 访问 越界，所以与s[i] 进行比较的值是indeterminate（如果代码不会因为访问无效内存而直接崩溃）。