C++ 具名要求：字面类型 (LiteralType)

指明一个类型为字面类型。字面类型是 constexpr 变量所拥有的类型，且能通过 constexpr 函数构造、操作及返回它们。

注意：标准中并没有定义具有这个名字的具名要求。这是核心语言所定义的一种类型类别。将它作为具名要求包含于此只是为了保持一致性。

要求

字面类型是下列之一：

可有 cv 限定的 void（这样 constexpr 函数可以返回 void）；

(C++14 起)

标量类型；
引用类型；
字面类型的数组；
可有 cv 限定的类类型，并拥有下列全部属性：

拥有平凡 (C++20 前)constexpr (C++20 起) 析构函数，
是以下之一：

闭包类型

(C++17 起)

聚合联合体类型，它

没有变体成员，或者
至少有一个具有无 volatile 限定的字面类型的变体成员

非联合体聚合类型，它的每个匿名联合体成员

没有变体成员，或者
至少有一个具有无 volatile 限定的字面类型的变体成员

拥有至少一个 constexpr 构造函数（可以是模板）且非复制或移动构造函数的类型

参数

扩展字符串字面量的字面类型：

运行此代码

#include <iostream>
#include <stdexcept>
 
class conststr
{
    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 countlower(conststr s, std::size_t n = 0,
                                             std::size_t c = 0)
{
    return n == s.size() ? c :
        s[n] >= 'a' && s[n] <= 'z' ? countlower(s, n + 1, c + 1) :
                                     countlower(s, n + 1, c);
}
 
// 要求编译时常量的输出函数，测试需要
template<int n>
struct constN
{
    constN() { std::cout << n << '\n'; }
};
 
int main()
{
    std::cout << "\"Hello, world!\" 中小写字母的个数是 ";
    constN<countlower("Hello, world!")>(); // 隐式转换成 conststr
}

输出：

"Hello, world!" 中小写字母的个数是 9

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
CWG 1453	C++11	字面类可以有 volatile 数据成员	已禁止
CWG 1951	C++11 C++14	未指明有 cv 限定的 `void`（C++14）和类类型（C++11）是不是字面类型	它们是
CWG 2096	C++11	联合体类型只有在所有非静态数据成员都是字面类型时才是字面类型	只需要有一个非静态数据成员是字面类型
CWG 2598	C++11	联合体类型只有在至少有一个非静态数据成员时才是字面类型	也可以没有静态数据成员

参阅

is_literal_type

(C++11)(C++17 中弃用)(C++20 中移除)

检查类型是否为字面类型
(类模板)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

C++ 具名要求：字面类型 (LiteralType)

要求

参数

缺陷报告

参阅

导航