Ответ 1
Причиной для двух отдельных конструкторов является создание объектов, которые принимают initializer_list в качестве аргумента конструктора (необязательно, за которым следует произвольный список аргументов). Скажем, у вас есть тип foo, который выглядит так:
struct foo
{
foo(std::initializer_list<int>) {}
};
В отсутствие конструктора
template <class U, class... Args>
constexpr explicit optional(in_place_t, initializer_list<U> il, Args&&... args);
вы не сможете построить optional как
optional<foo> o(in_place, {1, 2, 3});
Вышеописанное не выполняется, потому что в файле с расширенным списком инициализации нет типа, поэтому вывод аргумента шаблона не выполняется. Вы должны прибегнуть к чему-то вроде этого:
auto il = {1, 2, 3};
optional<foo> o(in_place, il);
Наличие конструктора, который принимает аргумент initializer_list, позволяет создать более естественный синтаксис при создании объекта optional.
Здесь минимальный пример, демонстрирующий полезность двух конструкторов.