解决方法
boost :: optional不能由constexpr函数返回.或至少,文档不保证这一点.
但是,由接受的C14提议定义的std :: optional可以由constexpr函数返回.但是只有可选的类型参数是非常可破坏的.
在这种情况下,这允许std :: optional的析构函数是微不足道的.在这一点上,销毁对象没有任何困难,所以没有什么可以阻止std :: optional作为文字类型.
The proposal is quite clear on this.如果T是微不足道的,那么大部分可选的构造函数都是constexpr,而且可选的< T>将是一个文字类型.因此,它可以在一个constexpr函数中创建.