std::experimental::propagate_const
来自cppreference.com
< cpp | experimental
<tbody>
</tbody>
template< class T > class propagate_const; |
(库基础 TS v2) | |
std::experimental::propagate_const 是为指针和指针式对象传播 const 的包装器。如名所示，在通过 const 访问路径访问时，它把被包装指针当做指向 const 的指针。
若底层的指针式类型类满足可移动构造 (MoveConstructible) 和可移动赋值 (MoveAssignable) 的要求，则该类满足对应概念，但 propagate_const 既非可复制构造 (CopyConstructible) 亦非可复制赋值 (CopyAssignable) 。
| 类型要求 | ||
-T 必须是无 cv 限定的对象指针类型或按以下方式指定的无 cv 限定的指针式类类型。
|
指针式类型上的要求
若 T 为类类型，则它必须满足此节中的要求。
给定
t，T类型的可修改左值表达式ct，与t指代同一对象的const T类型左值（等价于 C++17 起的std::as_const(t)）element_type，对象类型
下列表达式必须合法并拥有其指定的效果：
| 表达式 | 返回类型 | 前条件 | 操作语义 |
|---|---|---|---|
t.get()
|
element_type*
|
||
ct.get()
|
element_type* 或 const element_type*
|
t.get() == ct.get()
| |
*t
|
element_type&
|
t.get() != nullptr
|
*t 与 *(t.get()) 指代同一对象
|
*ct
|
element_type& 或 const element_type&
|
ct.get() != nullptr
|
*ct 与 *(ct.get()) 指代同一对象
|
t.operator->()
|
element_type*
|
t.get() != nullptr
|
t.operator->() == t.get()
|
ct.operator->()
|
element_type* 或 const element_type*
|
ct.get() != nullptr
|
ct.operator->() == ct.get()
|
(bool)t
|
bool
|
(bool)t 等价于 t.get() != nullptr
| |
(bool)ct
|
bool
|
(bool)ct 等价于 ct.get() != nullptr
|
还有，T 和 const T 应当可按语境转换为 bool。
另外，若 T 可隐式转换为 element_type*，则 (element_type*)t 应当等于 t.get()。类似地，若 const T 可隐式转换为 const element_type*，则 (const element_type*)ct 应当等于 ct.get()。
成员类型
| 成员类型 | 定义 |
element_type
|
std::remove_reference_t<decltype(*std::declval<T&>())>， T 所指向对象的类型
|
成员函数
构造新的 propagate_const (公开成员函数) | |
(析构函数) (隐式声明) |
销毁 propagate_const 并销毁所含指针 (公开成员函数) |
赋值 propagate_const 对象 (公开成员函数) | |
| 交换被包装指针 (公开成员函数) | |
观察器 | |
| 返回指向被包装指针所指向对象的指针 (公开成员函数) | |
| 检查被包装指针是否为空 (公开成员函数) | |
| 解引用被包装指针 (公开成员函数) | |
| 到指针的隐式转换函数 (公开成员函数) | |
非成员函数
与另一 propagate_const 、另一指针，或与 nullptr 比较 (函数模板) | |
特化 swap 算法 (函数模板) | |
| 获取到被包装指针式对象的引用 (函数模板) |
辅助类
propagate_const 的散列支持 (类模板特化) | |
标准比较函数对象对 propagate_const 的特化 (类模板特化) |
示例
运行此代码
#include <experimental/propagate_const>
#include <iostream>
#include <memory>
struct X
{
void g() const { std::cout << "X::g (const)\n"; }
void g() { std::cout << "X::g (non-const)\n"; }
};
struct Y
{
Y() : m_propConstX(std::make_unique<X>()), m_autoPtrX(std::make_unique<X>()) {}
void f() const
{
std::cout << "Y::f (const)\n";
m_propConstX->g();
m_autoPtrX->g();
}
void f()
{
std::cout << "Y::f (non-const)\n";
m_propConstX->g();
m_autoPtrX->g();
}
std::experimental::propagate_const<std::unique_ptr<X>> m_propConstX;
std::unique_ptr<X> m_autoPtrX;
};
int main()
{
Y y;
y.f();
const Y cy;
cy.f();
}
输出：
Y::f (non-const)
X::g (non-const)
X::g (non-const)
Y::f (const)
X::g (const)
X::g (non-const)
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| LWG 3136 | LFTSv2 | 曾允许 int* const、 void* 或 const PtrLike 之类的无意义的 T
|
禁止它们 |