std::unique_ptr<T,Deleter>::operator*, std::unique_ptr<T,Deleter>::operator->
来自 cppreference.cn
< cpp | memory | unique ptr
typename std::add_lvalue_reference<T>::type operator*() const noexcept(noexcept(*std::declval<pointer>())); |
(1) | (自 C++11 起) (constexpr 自 C++23 起) |
pointer operator->() const noexcept; |
(2) | (自 C++11 起) (constexpr 自 C++23 起) |
operator* 和 operator-> 提供访问 *this 所拥有的对象的方法。
这些成员函数仅为单对象 unique_ptr
提供,即主模板。
1) 如果 std::reference_converts_from_temporary_v
<std::add_lvalue_reference_t<T>, decltype(*std::declval<pointer>())> 为 true,则程序是非良构的。 |
(自 C++23 起) |
如果 get() 是空指针,则行为未定义。
目录 |
[编辑] 返回值
1) 返回 *this 拥有的对象,等价于 *get()。
2) 返回指向 *this 拥有的对象的指针,即 get()。
[编辑] 异常
1) 如果
pointer
具有抛出异常的 operator*,则可能抛出异常。[编辑] 注解
std::add_lvalue_reference 的使用是为了使实例化 std::unique_ptr<void> 成为可能,因为 C++ 中不允许 void&,而 std::add_lvalue_reference<void> 产生 void。 详情请参阅 LWG673。
[编辑] 示例
运行此代码
#include <iostream> #include <memory> struct Foo { void bar() { std::cout << "Foo::bar\n"; } }; void f(const Foo&) { std::cout << "f(const Foo&)\n"; } int main() { std::unique_ptr<Foo> ptr(new Foo); ptr->bar(); f(*ptr); }
输出
Foo::bar f(const Foo&)
[编辑] 缺陷报告
以下行为更改缺陷报告被追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 已发布行为 | 正确行为 |
---|---|---|---|
LWG 2762 | C++11 | operator* 可能是潜在抛出异常的 即使 *get() 是 noexcept |
添加了条件 异常规范 |
LWG 4148 | C++23 | 如果 element_type* 与 Deleter::pointer 不同,则 operator* 可能返回悬空引用element_type* 与 Deleter::pointer 不同 |
程序是非 在这种情况下是非良构的 |
[编辑] 参见
返回指向被管理对象的指针 (公共成员函数) |