C++ named requirements: LiteralType (since C++11)

指定某个类型为 字面类型 。字面类型是 constexpr 变量 的类型，并且可以从 constexpr 函数 中构造、操作和返回这些类型。

注意：标准并未定义以此命名的具名要求。这是由核心语言定义的类型类别。此处将其作为具名要求收录仅为保持一致性。

要求

字面类型是以下任意一种：

• 标量类型 ；
• 引用类型 ；
• 字面类型的 数组 ；
• 可能带有 cv 限定符的类类型，且满足以下所有属性：

• 拥有 平凡 (C++20 前) constexpr (C++20 起) 析构函数 ，
• 其所有非静态非变体数据成员和基类均为非易失性字面类型，且
• 满足以下条件之一

• 一个 聚合 联合类型，其

• 不包含 变体成员 ，或
• 至少拥有一个非易失性字面类型的变体成员，

• 一个非联合的 聚合 类型，且其每个 匿名联合 成员

• 不包含 变体成员 ，或
• 至少拥有一个非易失性字面类型的变体成员，

• 具有至少一个非拷贝/移动构造函数的 constexpr （可能是模板）构造函数的类型。

注释

即使某个类型的所有constexpr构造函数都被删除、不可访问或无法参与重载决议，该类型仍可能是字面类型。

struct A { constexpr A(int) = delete; char c; }; // A 是字面类型
constexpr A v = std::bit_cast<A>('0'); // C++20 中合法
                                       // v 具有字面类型，因此可以是 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++标准。

参见