std::unique_ptr<T,Deleter>::operator*, std::unique_ptr<T,Deleter>::operator->
來自 cppreference.com
< cpp | memory | unique ptr
typename std::add_lvalue_reference<T>::type operator*() const noexcept(noexcept(*std::declval<pointer>())); |
(1) | (C++11 起) (C++23 起為 constexpr) |
pointer operator->() const noexcept; |
(2) | (C++11 起) (C++23 起為 constexpr) |
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++ 標準。
缺陷報告 | 應用於 | 釋出時的行為 | 正確的行為 |
---|---|---|---|
LWG 2762 | C++11 | operator* 可能是潛在丟擲的 即使 *get() 是 noexcept |
增加了有條件的 異常規定 |
LWG 4148 | C++23 | 在下列情況下 operator* 可能返回懸垂引用element_type* 與 Deleter::pointer 不同 |
程式格式錯誤 在這種情況下,列舉是病態的 |
[編輯] 參閱
返回指向託管物件的指標 (公開成員函式) |