命名空间
变体
操作

std::unique_ptr<T,Deleter>::operator*, std::unique_ptr<T,Deleter>::operator->

来自 cppreference.cn
< cpp‎ | memory‎ | unique ptr
 
 
内存管理库
(仅为说明目的*)
未初始化内存算法
(C++17)
(C++17)
(C++17)
受约束的未初始化
内存算法
C 库

分配器
内存资源
垃圾回收支持
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
(C++11)(直到 C++23)
未初始化存储
(直到 C++20*)
(直到 C++20*)
显式生命周期管理
 
 
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 不同
程序是非
在这种情况下是非良构的

[编辑] 参见

返回指向被管理对象的指针
(公共成员函数) [编辑]