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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

C++ 具名要求

基础 DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible 类型属性 ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType 全库范围 BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) Allocator FunctionObject Callable Predicate BinaryPredicate Compare

容器 Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   容器元素 DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) 迭代器 LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) 流 I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction 格式化器 BasicFormatter (C++20) Formatter (C++20)

随机数 SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) 并发 BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) 范围 RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) 多维视图 LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) 其他 CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

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

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

要求

字面类型是下列之一：

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

(C++14 起)

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

• 拥有平凡 (C++20 前) constexpr (C++20 起)析构函数，
• 其所有非静态非可变数据成员和基类都是非 volatile 字面类型，并且
• 是以下之一：

lambda 类型

(C++17 起)

• 聚合联合体类型，它

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

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

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

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

注解

字面类型的构造函数可以都被弃置、不可访问或不参与重载决议。

struct A { constexpr A(int) = delete; char c; }; // A 是字面类型
constexpr A v = std::bit_cast<A>('0'); // C++20 起 OK
                                       // v 拥有字面类型因此可以是 constexpr 的

示例

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

运行此代码

#include <cstddef>
#include <iostream>
#include <stdexcept>
 
class conststr // 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 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;
}
 
// 要求编译时常量 N 的输出函数，测试需要
template<int N>
struct constN
{
    constN() { std::cout << N << '\n'; }
};
 
int main()
{
    std::cout << "\"Hello, world!\" 中小写字母的个数是 ";
    constN<count_lower("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 中移除)

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