背景
我有一系列lambda,它们对捕获的变量执行不同的检查,如果检查失败,则返回std::nullopt
。return std::nullopt
是第一个返回语句。然后,如果检查成功,它们将继续计算该值。
问题
返回表达式的类型不一致,例如std::nullopt_t
不能转换为std::optional<T>
,尽管另一种方式也可以。特别是,我希望编译并运行以下代码,打印2:
#include <functional>
#include <utility>
#include <optional>
int x = 3;
auto lambda = [](){
if (x == 2)
return std::nullopt;
return std::optional(2);
};
#include <iostream>
int main () {
using return_type = std::invoke_result_t<decltype(lambda)>;
static_assert(std::is_same<return_type, std::optional<int>>{},
"return type is still std::nullopt_t");
std::cout << lambda().value() << '\n';
}
思考
我认为我需要在某个地方使用std::common_type<Args...>
,但我既不能强制使用它,也不能推断出Args
,因为它可能需要语言支持。
发布于 2018-05-31 16:48:30
与其使用模板类型推断来推断lambda的返回类型,为什么不显式地指定该返回类型呢?
auto lambda = []() -> std::optional<int> {
if (x == 2)
return std::nullopt;
return 2;
};
std::common_type
通常与模板一起使用,而您没有模板。
发布于 2018-05-31 17:13:57
我建议坚持使用单个返回语句和显式指定的结果类型,而不使用nullopt。当函数返回整数或nullopt时,它看起来有点误导。特别是如果函数更长的话。此外,如果值类型是具有显式构造函数的类型,则使用emplace
可以避免再次输入值类型名称。
auto lambda = []()
{
std::optional<int> result{};
if(2 != x)
{
result.emplace(2);
}
return result;
};
https://stackoverflow.com/questions/50620202
复制相似问题