c++ - 为什么 make_optional 会衰减它的参数类型？

Question

(可能不是 C++14，可能是 Library TS)工具 make_optional被定义(in n3672)为:

template <class T>
  constexpr optional<typename decay<T>::type> make_optional(T&& v) {
    return optional<typename decay<T>::type>(std::forward<T>(v));
  }

为什么要转换类型T (即不只是返回 optional<T> )，并且是否有使用 decay 的哲学(以及实际)理由具体作为转型？

Answer 1

decay 的一般用途就是取一个类型，修改为适合存储。

看看这些 decay 的例子工作，而 remove_reference不会:

auto foo( std::string const& s ) {
  if (global_condition)
    return make_optional( s );
  else
    return {};
}

或

void function() { std::cout << "hello world!\n"; }
auto bar() { return std::make_optional( function ); }

或

int buff[15];
auto baz() { return std::make_optional( buff ); }

安optional<int[15]>将是一个非常奇怪的野兽——C 风格的数组在被视为文字时表现不佳，这就是 optional对它的参数做T .

如果您要复制数据，const或 volatile来源的性质无关紧要。并且您只能通过将数组和函数衰减为指针来制作简单的数组和函数拷贝(而不会退回到 std::array 或类似内容)。 (理论上，可以做一些工作来使 optional<int[15]> 工作，但这会带来很多额外的复杂性)

所以 std::decay解决所有这些问题，并且不会真正引起问题，只要您允许 make_optional推断其参数的类型而不是传递 T字面意思。

如果你想传入 T从字面上看，没有理由使用 make_optional毕竟。