Неужели это плохо для нижнего слоя, а затем переполняет неподписанную переменную?

Question

Kraaa.

Я студент в школе программирования, которая требует от нас писать функции C с менее чем 25 строками кода. Итак, в основном, каждая строка подсчитывается. Иногда, у меня есть необходимость сократить задания следующим образом:

#include <stddef.h> 
#include <stdio.h> 

#define ARRAY_SIZE 3 

int  main(void) 
{ 
    int  nbr_array[ARRAY_SIZE] = { 1, 2, 3 }; 
    size_t i; 

    i = -1; 
    while (++i < ARRAY_SIZE) 
     printf("nbr_array[%zu] = %i\n", i, nbr_array[i]); 
    return (0); 
} 

Важной частью этого кода является size_t счетчика с именем i. Чтобы сэкономить несколько строк кода, я хотел бы предварительно увеличить его в состоянии цикла. Но, поскольку стандарт C определяет size_t как неподписанный тип, то, что я в основном делаю здесь, переполняет переменную i (от 0 до очень большого значения), а затем переполняет ее один раз (от этого большого значения до 0).

Мой вопрос заключается в следующем: независимо от плохой практики от того, чтобы сократить наш код, это безопасно установить (size_t) переменную unsigned -1, то Преинкремент его на каждой итерации для просмотра массив?

Спасибо!

Answer 1

i = -1; часть вашей программы в порядке.

Преобразование -1 в неподписанный целочисленный тип определено в C и приводит к значению, которое при увеличении приводит к нулю.

Это говорит о том, что вы не набираете строку кода относительно идиоматического for (i=0; i<ARRAY_SIZE; i++) ….

Ваш %zi формат должен быть %zu.

Answer 2

Несанкционированная арифметика никогда не «переполняет/переполняет» (по крайней мере, так, как стандарт говорит о неопределенном поведении подписанного арифметического переполнения). Вся беззнаковая арифметика фактически равна modular arithmetic, и, как таковая, является безопасной (т. Е. Она сама по себе не вызывает неопределенное поведение).

Answer 3

Чтобы быть точным, стандарт C гарантирует две вещи:

• Любое целое преобразование к unsigned типа хорошо определены (как если бы подписанный номер были представлены в виде 2-комплемента)
• переполнения/потери значимости из unsigned чисел определенно корректно (модульная арифметика с 2^п)

Поскольку size_t является типом без знака, вы не делаете ничего плохого.