C++ 命名需求： LiteralType (自 C++11 起)

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

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 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) Iterator 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 起) 析构函数，
• 其所有非静态非变体数据成员和基类都是非易失性字面量类型，并且
• 是以下之一

lambda 类型，

(自 C++17 起)

• 具有以下特征的 聚合 联合类型

• 没有 变体成员，或
• 至少有一个非易失性字面量类型的变体成员，

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

• 没有 变体成员，或
• 至少有一个非易失性字面量类型的变体成员，

• 具有至少一个 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++ 标准。

DR	应用于	已发布的行为	正确行为
CWG 1453	C++11	字面量类可以具有易失性数据成员	不允许
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 中已删除)

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