Гарантируется ли стандартом C++, что std::basic_string::npos + 1 == 0? ⇐ C++

[Anonymous]

Я хочу исключить особый случай в алгоритме, и для этого мне хотелось бы быть уверенным, что std::string::npos + 1 равен 0.

Это верно для всех реализаций, которые я тестировал, и при поиске в стандарте я нашел следующее:

Код: Выделить всё

namespace std {
template
class basic_string {
// ...
typedef typename allocator_traits::size_type size_type;
// ...
static const size_type npos = -1;
...
};
}

Код: Выделить всё

allocator_traits::size_type

определяется как беззнаковый целочисленный тип.

Итак, я полагаю, мой вопрос сводится к тому, является ли (static_cast(-1)) + 1 всегда выдает 0 для беззнакового целого типа T?

Подробнее здесь: https://stackoverflow.com/questions/264 ... ngnpos-1-0