Диапазон, основанный на циклах для строк с нулевым символом в конце

Question

Диапазон, основанный на циклах для строк с нулевым символом в конце

Я предполагал, что диапазон, основанный на циклах, будет поддерживать строки в стиле C

void print_C_str(const char* str)
{
for(char c : str)
{
cout << c;
}
}

Однако это не так, стандарт [stmt.ranged] (6.5.4) говорит, что Range-based работает для одной из 3-х возможностей:

Диапазон представляет собой массив
Диапазон это класс с вызываемой begin а также end метод
ADL достижим в связанном пространстве имен (плюс std Пространство имен)

Когда я добавлю begin а также end функции для const char* в глобальном пространстве имен я все еще получаю ошибки (как от VS12, так и от GCC 4.7).

Есть ли способ получить циклы на основе диапазона для работы со строками в стиле C?

Я пытался добавить перегрузку к namespace std и это сработало, но, насколько я понимаю, незаконно добавлять перегрузки в namespace std (это правильно?)

13

c++c++11 for-loop null-terminated

Решение

Другие решения

C-строка не является массивом, это не класс, который имеет begin/end члены, и вы не найдете ничего по ADL, потому что аргумент является примитивным. Возможно, это должен быть простой безоговорочный поиск с ADL, который было бы найти функцию в глобальном пространстве имен. Но, учитывая формулировку, я думаю, что это невозможно.

2

Возможный обходной путь заключается в переносе строки с нулевым символом в конце в другой тип. Простейшая реализация выглядит следующим образом (она менее производительна, чем Р. Мартиньо Фернандеспредложение, так как он называет strlen но это также значительно меньше кода).

class null_terminated_range {
const char* p:
public:
null_terminated_range(const char* p) : p(p) {}
const char * begin() const { return p; }
const char * end() const { return p + strlen(p); }
};

Использование:

for(char c : null_terminated_range(str) )

2

Источник

Accepted Answer

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

template <typename Char>
struct null_terminated_range_iterator {
public:
// make an end iterator
null_terminated_range_iterator() : ptr(nullptr) {}
// make a non-end iterator (well, unless you pass nullptr ;)
null_terminated_range_iterator(Char* ptr) : ptr(ptr) {}

// blah blah trivial iterator stuff that delegates to the ptr

bool operator==(null_terminated_range_iterator const& that) const {
// iterators are equal if they point to the same location
return ptr == that.ptr
// or if they are both end iterators
|| is_end() && that.is_end();
}

private:
bool is_end() {
// end iterators can be created by the default ctor
return !ptr
// or by advancing until a null character
|| !*ptr;
}

Char* ptr;
}

template <typename Char>
using null_terminated_range = boost::iterator_range<null_terminated_range_iterator<Char>>;
// ... or any other class that aggregates two iterators
// to provide them as begin() and end()

// turn a pointer into a null-terminated range
template <typename Char>
null_terminated_range<Char> null_terminated_string(Char* str) {
return null_terminated_range<Char>(str, {});
}

И использование выглядит так:

for(char c : null_terminated_string(str))
{
cout << c;
}

Я не думаю, что это теряет выразительность. На самом деле, я думаю, что это яснее.

20