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

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

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

Требования

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

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

• тип объединения агрегата, который
• не имеет вариантных членов или
• имеет как минимум один вариантный член с нелетучим литеральным типом,
• не являющийся объединением тип агрегата, каждый из его членов — анонимных объединений
• не имеет вариантных членов или
• имеет как минимум один вариантный член с нелетучим литеральным типом,
• тип, имеющий как минимум один конструктор 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++.

См. также