value_if - обратное значение value_or для std :: optional?

Question

std::optional имеет метод

template< class U > constexpr T value_or(U&& default_value) const&; 

и все же, он не имеет конструктора

template< class U > optional(bool condition, const U& value); 

который просачивается как противоположная вещь. С другой стороны, можно было бы ожидать, что иметь статический метод/с именем конструктора идиомы:

constexpr std::optional<T> value_if(bool condition, const T& value) { 
    return condition ? nullopt : std::optional(value); 
} 

Мои вопросы:

1. Существует ли концептуальная проблема с value_if (в любом из вариантов, которые я перечислил)?
2. Было что-то вроде предлагаемого, чтобы пойти в стандарт?

Примечание: Я не был уверен, иметь ли const T& value или const T&& value.

Answer 1

Есть ли концептуальная проблема с value_if (в любом из перечисленных вариантов)?

Да. Для этого требуется создать объект T, даже если ваше состояние создает nullopt. Принимая во внимание, что auto t = cond ? optional<T>(expr) : nullopt; inline будет оценивать только expr, если cond is true.

Например:

auto optStr1 = value_if(cond, get_object(...)); //Will *always* evaluate get_object 
auto optStr2 = cond ? optional(get_object(...)) : nullopt; //Will only evaluate get_object if `cond` is true 

Было что-то подобное, что предложил пойти в стандарт?

No.