guías de deducción para std::optional

template< class T >
optional(T) -> optional<T>;

Se proporciona una guía de deducción para std::optional para cubrir los casos límite que omiten las guías de deducción implícitas, en particular, argumentos no copiables y conversión de arreglo a puntero.

Ejemplo

#include <optional>
#include <type_traits>
int main()
{
    int a[2];
    std::optional oa{a}; // utiliza la guía de deducción explícita
    static_assert(std::is_same_v<decltype(oa), std::optional<int*>> == true);
}