C++ именованные требования: LiteralType (с C++11)

Указывает, что тип является литеральным типом. Литеральные типы — это типы constexpr переменных, и их можно создавать, обрабатывать и возвращать из constexpr функций.

Примечание: стандарт не определяет именованное требование с таким названием. Это категория типов, определяемая основным языком. Она включена здесь как именованное требование только для согласованности.

Требования

Литеральный тип — это любой из следующих типов:

• скалярный тип;
• тип ссылки;
• массив литерального типа;
• потенциально cv-квалифицированный класс-тип, который обладает всеми следующими свойствами:
• имеет тривиальный(до C++20)constexpr(с C++20) деструктор,
• является одним из

• агрегатный тип объединения, который
• не имеет членов-вариантов, или
• имеет хотя бы один член-вариант не-volatile литерального типа,
• не-объединение агрегатный тип, и каждый из его анонимных членов-объединений
• не имеет членов-вариантов, или
• имеет хотя бы один член-вариант не-volatile литерального типа,
• тип с, по крайней мере, одним constexpr (возможно, шаблонным) конструктором, который не является конструктором копирования или перемещения,

Примечания

Тип может быть литеральным, даже если все его constexpr-конструкторы удалены, недоступны или не могут участвовать в разрешении перегрузки.

struct A { constexpr A(int) = delete; char c; }; // A is a literal type
constexpr A v = std::bit_cast<A>('0'); // OK in C++20
                                       // v has literal type and thus can be constexpr

Пример

#include <cstddef>
#include <iostream>
#include <stdexcept>
 
class conststr // conststr is a literal type
{
    const char* p;
    std::size_t sz;
public:
    template<std::size_t N>
    constexpr conststr(const char(&a)[N]) : p(a), sz(N - 1) {}
 
    constexpr char operator[](std::size_t n) const
    {
        return n < sz ? p[n] : throw std::out_of_range("");
    }
 
    constexpr std::size_t size() const { return sz; }
};
 
constexpr std::size_t count_lower(conststr s)
{
    std::size_t c{};
    for (std::size_t n{}; n != s.size(); ++n)
        if ('a' <= s[n] && s[n] <= 'z')
            ++c;
    return c;
}
 
// An output function that requires a compile-time constant N, for testing
template<int N>
struct constN
{
    constN() { std::cout << N << '\n'; }
};
 
int main()
{
    std::cout << "the number of lowercase letters in \"Hello, world!\" is ";
    constN<count_lower("Hello, world!")>(); // the string literal is implicitly
                                            // converted to conststr
}

the number of lowercase letters in "Hello, world!" is 9

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также