Для цикла условие является переменной без сравнения

Question

Для цикла условие является переменной без сравнения

0

int a[5] = {1,2,3,4,5};

for (int i = 0; a[i]; i++)
{
    cout << i;

}

Этот код производит вывод "0 1 2 3 4". Что он сравнивает с [i] и как он знает, чтобы остановиться в конце массива и не переходить?

1110101001 09 окт. 2013, в 04:13

Источник

Теги:

c++

3 ответа

0

Это чтение за массивом, и память там просто оказывается нулевой, просто удачей. Чтение за концом этого массива - неопределенное поведение, и результат может измениться в любое время, поэтому никогда не полагайтесь на него.

Matti Virkkunen 09 окт. 2013, в 00:25

0

Вы можете думать о том, a[i] сравнивается с 0, он просто извлекает число, полученное из местоположения в памяти, и если 0 - это значение, которое живет в этой памяти, тогда цикл выходит, если это любой другой номер, цикл продолжается.

Предположим, что int составляет 4 байта в системе. a задан адрес, позволяет делать вид, что это 0xFF00 когда мы пытаемся оценить a[0] мы извлекаем значение данных, хранящееся в памяти 0xFF00. a[1] будет извлекать данные из памяти 0xFF04 и т.д. Ваша программа назначает только значения для первых 5 мест памяти, поэтому, когда мы извлекаем данные за пределами этих местоположений, они могут быть INT_MAX от 0 до INT_MAX. Если это 0 то цикл выходит, однако, если это будет что-то другое, цикл продолжается.

Вы можете настроить свою программу так, чтобы она была лучше:

#include <iostream>
using namespace std;
int main() {
    int a[5] = {1,2,3,4,5};
    int i;
    for (i = 0; a[i]; i++)
    {
        cout << "At memory address: " << &a[i]
             << " lives the value: " << a[i] << endl;
    }
    cout << "At memory address: " << &a[i]
         << " lives the value: " << a[i]
         << ", and this is why the loop ended." << endl;
    return 0;
}

Leonardo 08 окт. 2013, в 23:58

0

Но a[i] сравнивается с 0!
Matti Virkkunen 09 окт. 2013, в 01:45
0

@MattiVirkkunen Я думаю, вы могли бы сказать и это, но я думаю, что обычно происходит то, что здесь используется инструкция TEST для сравнения регистра с самим собой. stackoverflow.com/questions/6002079/...
Leonardo 09 окт. 2013, в 01:51
1

Выполняемая операция все еще является сравнением, независимо от того, как она реализована. И инструкция TEST включает в себя сравнение значения с нулем внутри, как иначе она узнает, если оно равно нулю.
Matti Virkkunen 09 окт. 2013, в 01:54
1

@MattiVirkkunen Хороший вопрос, я думаю, если мы хотим остаться в области действия C ++, мы можем просто сказать, что для простоты это, как вы сказали, сравнивается с 0.
Leonardo 09 окт. 2013, в 01:58

Показать ещё 2 комментария

Ещё вопросы

@MattiVirkkunen Я думаю, вы могли бы сказать и это, но я думаю, что обычно происходит то, что здесь используется инструкция TEST для сравнения регистра с самим собой. stackoverflow.com/questions/6002079/...
Выполняемая операция все еще является сравнением, независимо от того, как она реализована. И инструкция TEST включает в себя сравнение значения с нулем внутри, как иначе она узнает, если оно равно нулю.
@MattiVirkkunen Хороший вопрос, я думаю, если мы хотим остаться в области действия C ++, мы можем просто сказать, что для простоты это, как вы сказали, сравнивается с 0.

Carl Norum · Accepted Answer · 2013-10-08T23-56-00.000Z

Вы код вызывает неопределенное поведение. Выражение a[i] будет оцениваться как истинное, если отличное от нуля и false, если оно равно нулю. Когда вы запустите его, вам повезет, что сразу после вашего массива есть 0 слов, поэтому цикл останавливается.