“Разумный” компилятор может предупредить, что мы смешиваем значения со знаком (т.е. переменную i) и без знака (т.е., v.size()). Такое смешение может привести к катастрофе. Например, счетчик цикла i может оказаться переполненным; иначе говоря, значение v.size() может оказаться больше, чем максимально большое число типа int со знаком.
Также вам может показаться, что такая тема как http://begemotiki-ms.ru/ никак не связана и даже не тематична с программированием. Хотя, может быть и связана.
В любом случае все-таки зайдите на сайт begemotiki-ms.ru
Тема недорогая детская одежда от производителя там представлена весьма широко.
В этом случае переменная i может достигнуть максимально возможного положительного значения, которое можно представить с помощью типа int со знаком (два в степени, равной количеству битов в типе int, минус один, и еще раз минус один, т.е. 215-1). Тогда следующая операция ++ не сможет вычислить следующее за максимальным целое число, а вместо этого вернет отрицательное значение. Этот цикл никогда не закончится! Каждый раз, когда мы будем достигать максимального целого числа, мы будем начинать этот цикл заново с наименьшего отрицательного значения типа int. Итак, для 16-битовых чисел типа int этот цикл содержит ошибку (вероятно, очень серьезную), если значение v.size() равно 32*1024 или больше; для 32-битовых целых чисел типа int эта проблема возникнет, только когда счетчик i достигнет значений 2*1024*1024*1024.
Таким образом, с формальной точки зрения большинство циклов в этой книге было ошибочным и могло вызвать проблемы, т.е. для встроенных систем мы должны либо проверять, что цикл никогда не достигнет критической точки, либо заменить его другой конструкцией. Для того чтобы избежать этой проблемы, мы можем использовать либо тип size_type, предоставленный классом vector, либо итераторы.
for (vector::size_type i = 0; i
for (vector::iterator p = v.begin(); p!=v.end(); ++p) cout << *p << '\n';
Тип size_type не имеет знака, поэтому первая форма целых чисел (без знака) имеет на один значащий бит больше, чем версия типа int, рассмотренная выше. Это может иметь значение, но следует иметь в виду, что увеличение происходит только на один байт (т.е. количество выполняемых операций может быть удвоено). Циклы, использующие итераторы, таких ограничений не имеют.
Следующий пример может показаться безобидным, но он содержит бесконечный цикл:
void infinite()
{
unsigned char max = 160; // очень большое for (signed char i=0; i
}
Выполните его и объясните, почему это происходит.
По существу, есть две причины, оправдывающие использование для представ
* ления обычных целых чисел типа int без знака, а не набора битов (не использующего операции +, -, * и / ).
• Позволяет повысить точность на один бит.
• Позволяет отразить логические свойства целых чисел в ситуациях, когда они не могут быть отрицательными.
Из-за причин, указанных выше, программисты отказались от использования счетчиков цикла без знака.
|
Главная
Каталог файлов
