C++ 命名需求： LiteralType (自 C++11 起)
来自 cppreference.cn
指定一个类型是字面类型。字面类型是 constexpr 变量的类型，它们可以从 constexpr 函数中构造、操作和返回。
注意：标准没有定义以此名称命名的需求。这是一个由核心语言定义的类型类别。此处将其作为命名需求包含在内，仅为保持一致性。
目录 |
[编辑] 要求
字面类型是以下任何一种
|
(C++14 起) |
- 具有一个 平凡(直到 C++20)constexpr(自 C++20 起) 析构函数，
- 其所有非静态非变体数据成员和基类都是非 volatile 字面类型，并且
- 是以下之一
|
(C++17 起) |
[编辑] 注意
即使其所有 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++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| 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 | 对于联合类型要成为字面类型，它必须有 至少一个非静态数据成员 |
它可以没有非- 静态数据成员 |
[编辑] 另请参阅
| (C++11)(C++17 中已弃用)(C++20 中已移除) |
检查类型是否为字面类型 (类模板) |
