戻り

Question

http://en.cppreference.com/w/cpp/algorithm/clampはstd::clampのための可能な実装としてこれを与える：

template<class T, class Compare> 
constexpr const T& clamp(const T& v, const T& lo, const T& hi, Compare comp) 
{ 
    return assert(!comp(hi, lo)), 
     comp(v, lo) ? lo : comp(hi, v) ? hi : v; 
} 

私はこれがどのように動作するかを理解しないが、見返りにassert文を置くことは私にはかなり奇妙なよう。私はそれを次のように書いていたでしょう：

template<class T, class Compare> 
constexpr const T& clamp(const T& v, const T& lo, const T& hi, Compare comp) 
{ 
    assert(!comp(hi, lo)); 
    return comp(v, lo) ? lo : comp(hi, v) ? hi : v; 
} 

まだ、彼らは理由のために彼らの実装を選んだと思っています。彼らのバージョンが「私のもの」よりも有利なのでしょうか？

Answer 1

C++ 11では、constexpr関数は1つのreturn文しか持てませんでした（here参照）。提案された実装では、関数をC++ 11準拠のコンパイラで使用することができます。

C++ 14ではこの制限が削除されているため、実装はC++ 14以降でも有効です。

これを無視して、関数は完全に同等であり、あなたの関数は確かに読みやすくなっています。