std::make_optional

来自cppreference.com
< cpp‎ | utility‎ | optional
 
 
工具库
通用工具
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)

初等字符串转换
(C++17)
(C++17)
栈踪
 
std::optional
成员函数
观察器
单子操作
修改器
非成员函数
(C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20)
make_optional
(C++17)
(C++17)
推导指引
辅助类
(C++17)
(C++17)
(C++17)
辅助对象
(C++17)
(C++17)
 
定义于头文件 <optional>
template< class T >
constexpr std::optional<std::decay_t<T>> make_optional( T&& value );
(1) (C++17 起)
template< class T, class... Args >
constexpr std::optional<T> make_optional( Args&&... args );
(2) (C++17 起)
template< class T, class U, class... Args >
constexpr std::optional<T> make_optional( std::initializer_list<U> il, Args&&... args );
(3) (C++17 起)
1)value 创建 optional 对象。等效地调用 std::optional<std::decay_t<T>>(std::forward<T>(value))
2)args... 创建原位构造的 optional 对象。等价于 return std::optional<T>(std::in_place, std::forward<Args>(args)...);
3)ilargs... 创建原位构造的 optional 对象。等价于 return std::optional<T>(std::in_place, il, std::forward<Args>(args)...);

参数

value - 构造 optional 对象所用的值
il, args - 传递给 T 构造函数的参数。

返回值

构造的 optional 对象。

异常

抛出任何 T 的构造函数所抛的异常。

注解

对于重载 (2-3) T 不需要可移动,因为受保证的复制消除。

示例

#include <optional>
#include <iostream>
#include <iomanip>
#include <vector>
#include <string>
 
int main()
{
    auto op1 = std::make_optional<std::vector<char>>({'a','b','c'});
    std::cout << "op1: ";
    for (char c: op1.value()){
        std::cout << c << ",";
    }
    auto op2 = std::make_optional<std::vector<int>>(5, 2);
    std::cout << "\nop2: ";
    for (int i: *op2){
        std::cout << i << ",";
    }
    std::string str{"hello world"};
    auto op3 = std::make_optional<std::string>(std::move(str));
    std::cout << "\nop3: " << quoted(op3.value_or("empty value")) << '\n';
    std::cout << "str: " << std::quoted(str) << '\n';
}

可能的输出:

op1: a,b,c,
op2: 2,2,2,2,2,
op3: "hello world"
str: ""

参阅

构造optional对象
(公开成员函数)