Вибір типу змінних індексу

Ми використовуємо тип Integer, які представляють змінні індексу більшу частину часу. Але в деяких ситуаціях ми змушені вибирати

std::vector<int> vec;
....

for(int i = 0; i < vec.size(); ++i)
....

Це змусить компілятора підвищити попередження про змішане використання підписаних / неподписаних змінних. якщо я зроблю змінну індексу як for( size_t i = 0; i < vec.size(); i++ ), (або an unsigned int), вона розібрає проблеми.

Коли більш специфічно використовувати типи Windows, більшість API API мають справу з DWORD (який typedef-ed як довго не підписаний).

Тож коли я використовую подібну ітерацію, знову викличуть те саме попередження. Тепер, якщо я перепишу це як

DWORD dwCount;
....

for(DWORD i = 0; i < dwCount; ++i)
....

Я вважаю це трохи дивним. Це може бути проблема сприйняття.

Я погоджуюся, що ми повинні використовувати один і той же тип змінної індексу, щоб уникнути проблем діапазону з змінними індексу. Наприклад, якщо ми використовуємо

_int64 i64Count; // 
....

for(_int64 i = 0; i < i64Count; ++i)
....

Але у випадку з DWORD або непідписаними цілими чистами проблемами, якщо переписати його як

for(int i = 0; (size_t)i < vec.size(); ++i)

Як більшість людей працює з подібними питаннями?

вектор має typedef, який вказує правильний тип використання: -

for(std::vector<int>::size_type i = 0; i < thing.size(); ++i)
{
}

Це майже завжди визначено як size_t, але ви не можете на це покластися

std::vector<int> vec;

for(int i = 0; i < vec.size(); ++i)

Для цього використовуйте ітератор, а не forцикл.

Для інших, якщо тип змінної має однаковий розмір, він static_castповинен працювати добре (тобто DWORDдо int16_t)

Випадок, який ви описали, - одна з речей, які мені також не подобаються в C ++. Але я навчився жити з цим, або використовуючи

for( size_t i = 0; i < vec.size(); i++ )

або

for( int i = 0; i < (int)vec.size(); i++ )

(звичайно, останнє лише тоді, коли немає ризику отримати якийсь інт переповнення).

Причина, по якій він попереджає вас про порівняння між підписаним та непідписаним, полягає в тому, що підписане значення, ймовірно, буде перетворене в ненаписане, що може бути не таким, як ви очікуєте.

У вашому прикладі (порівняно intз size_t) intбуде неявно перетворено size_t(якщо тільки intякимось чином не має більшого діапазону size_t). Таким чином, якщо значення intнегативне, воно, швидше за все, буде більшим за значення, з яким ви порівнюєте його через обертання. Це не буде проблемою, якщо ваш індекс ніколи не буде негативним, але ви все одно отримаєте це попередження.

Замість цього використовуйте непідписаний тип (наприклад unsigned int, size_tчи, як рекомендує John B , std::vector<int>::size_type) для індексної змінної:

for(unsigned int i = 0; i < vec.size(); i++)

Будьте уважні під час відліку, хоча:

for(unsigned int i = vec.size()-1; i >= 0; i--) // don't do this!

Вищезазначене не спрацює, оскільки i >= 0це завжди вірно, коли він iне підписаний. Замість цього скористайтеся " оператором зі стрілками " для циклів, що відраховують:

for (unsigned int i = vec.size(); i-- > 0; )
    vec[i] = ...;

Як вказують інші відповіді, зазвичай ви хочете використовувати ітератор для переходу через a vector. Ось синтаксис C ++ 11:

for (auto i = vec.begin(); i != vec.end(); ++i)

Нова опція для C ++ 11, ви можете робити наступні дії

for(decltype(vec.size()) i = 0; i < vec.size(); ++i) {...}

і

for(decltype(dWord) i = 0; i < dWord; ++i) {...}

Хоча це повторюється трохи більше, ніж це було б для базового циклу, це не так довго, як багаторічні способи визначення значень, і використання цього шаблону послідовно працюватиме для більшості, якщо не всіх можливих термінів Хочете порівняти з, що робить його чудовим для рефакторингу коду. Він працює навіть для простих випадків, таких як цей:

int x = 3; int final = 32; for(decltype(final) i = x; i < final; ++i)

Крім того, хоча ви повинні використовувати autoщоразу, коли ви встановлюєте iякесь інтелектуальне значення (наприклад vec.begin()), воно decltypeпрацює, коли ви встановлюєте константу, як нуль, де авто просто вирішує це значення, intоскільки 0 - це простий цілий літерал.

Якщо чесно, я хотів би побачити механізм компілятора для розширення визначення autoтипу для інкреметрів циклу, щоб переглянути значення, яке порівнюється.

Я використовую ролик для int, як в for (int i = 0; i < (int)v.size(); ++i). Так, це некрасиво. Я звинувачую це в дурному дизайні стандартної бібліотеки, де вони вирішили використовувати непідписані цілі числа для представлення розмірів. (Для того, щоб .. що? Розширити діапазон на один біт?)