为什么std::nullopt_t是C++标准的一部分？

我不明白在标准中包含std :: nullopt_t的原因.它是否仅为方便起见而存在,还是在某些利基环境中需要？

为了清楚起见,我理解它被用作构造空std :: optional对象的参数.但是考虑到std :: optional的默认构造函数已经存在,似乎没有明显的动机存在std :: nullopt_t.对于std :: optional,是否必须存在这样的构造函数和赋值运算符以符合特定的概念？如果是这样,哪个概念？

nullopt_t是nullopt指示脱离optional状态的类型.nullopt允许消除歧义,例如(来自optional提案的示例):

void run(complex v);
void run(optional v);

run(nullopt);              // pick the second overload
run({});                   // ambiguous