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. (I 나열된 변종 중 하나에서)를 value_if와 개념에 문제가 있습니다 또는 당신은 정적 방법 /라는 이름의 생성자 관용구가 기대?
2. 표준에 제안 된 것과 비슷한 것이 었나요?

참고 : const T& value 또는 const T&& value 중 어느 것이 있는지 확실하지 않았습니다.

Answer 1

(나열된 변형 중 하나에서) value_if에 개념적인 문제가 있습니까?

예. 조건이 nullopt 인 경우에도 실시간 T 개체를 만들어야합니다. auto t = cond ? optional<T>(expr) : nullopt; 인라인을 수행하는 경우 cond이 true 인 경우에만 expr을 평가합니다. 예를 들어

은 :

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 

그 같은 표준에 들어갈 제안되었다

?

번호