c++ - 返回完整或空 std::optional 时的 If-then-else 与三元运算符

Question

(通过搜索带有标签 c++ optional 的 return 语句、return deduce 等，我没有找到太多内容。)
为什么这样做

#include <optional>

auto const f = [](bool b) {
    return b ? std::optional<int>(3) : std::nullopt;
};

而这没有？

#include <optional>

auto const f = [](bool b) {
    if (b) {
        return std::optional<int>(3);
    } else {
        return std::nullopt;
    }
};

为什么编译器不能从第一个 return 推导出类型并看到它与第二个 return 兼容?

Answer 1

Lambda 返回类型推导要求所有返回表达式的类型基本完全匹配。?做了一个比较复杂的系统，找到两种情况的共同类型。只有一个 return 语句，只要 ?可以弄清楚，lambda 返回类型推导无关紧要。
只是规则不同。

auto const f = [](bool b)->std::optional<int> {
  if (b) {
    return 3;
  } else {
    return std::nullopt;
  }
};

这可能是最干净的。