std:: char_traits

Класс char_traits является шаблонным классом характеристик, который абстрагирует базовые операции с символами и строками для заданного символьного типа. Определенный набор операций таков, что универсальные алгоритмы почти всегда могут быть реализованы на его основе. Таким образом, возможно использовать такие алгоритмы практически с любым возможным символьным или строковым типом, просто предоставив пользовательский класс char_traits .

Шаблон класса char_traits служит основой для явных инстанцирований. Пользователь может предоставить специализацию для любых пользовательских символьных типов. Несколько явных специализаций предоставляются для стандартных символьных типов (см. ниже), другие специализации не обязаны удовлетворять требованиям CharTraits .

Специализации

Стандартная библиотека предоставляет следующие стандартные специализации:

Все эти специализации удовлетворяют требованиям CharTraits .

Типы членов

Стандартные специализации определяют следующие типы-члены, требуемые концепцией CharTraits :

Функции-члены

Стандартные специализации определяют следующие статические функции-члены, требуемые CharTraits :

Примечания

CharTraits не требует определения перечисленных выше типов и функций в качестве прямых членов, он требует только, чтобы типы вроде X::type и выражения вроде X :: func ( args ) были валидными и имели требуемую семантику. Пользовательские характеристики символов могут быть унаследованы от других классов характеристик символов и переопределять только некоторые из их членов, см. пример ниже.

Пример

#include <cctype>
#include <iostream>
#include <string>
#include <string_view>
struct ci_char_traits : public std::char_traits<char>
{
    static char to_upper(char ch)
    {
        return std::toupper((unsigned char) ch);
    }
    static bool eq(char c1, char c2)
    {
        return to_upper(c1) == to_upper(c2);
    }
    static bool lt(char c1, char c2)
    {
         return to_upper(c1) < to_upper(c2);
    }
    static int compare(const char* s1, const char* s2, std::size_t n)
    {
        while (n-- != 0)
        {
            if (to_upper(*s1) < to_upper(*s2))
                return -1;
            if (to_upper(*s1) > to_upper(*s2))
                return 1;
            ++s1;
            ++s2;
        }
        return 0;
    }
    static const char* find(const char* s, std::size_t n, char a)
    {
        const auto ua{to_upper(a)};
        while (n-- != 0) 
        {
            if (to_upper(*s) == ua)
                return s;
            s++;
        }
        return nullptr;
    }
};
template<class DstTraits, class CharT, class SrcTraits>
constexpr std::basic_string_view<CharT, DstTraits>
    traits_cast(const std::basic_string_view<CharT, SrcTraits> src) noexcept
{
    return {src.data(), src.size()};
}
int main()
{
    using namespace std::literals;
    constexpr auto s1 = "Hello"sv;
    constexpr auto s2 = "heLLo"sv;
    if (traits_cast<ci_char_traits>(s1) == traits_cast<ci_char_traits>(s2))
        std::cout << s1 << " and " << s2 << " are equal\n";
}

Hello and heLLo are equal

Смотрите также