C++は比較演算をバラバラに定義できる言語なのでa<bが求められるがa>=bは求められないような不思議な型が生じうる。比較可能な型を要求する関数は全ての比較演算が可能な事を調べる必要があるが、C++20ではStrictTotallyOrderedコンセプトを満たす型を要求するだけで片付くようになる (n4800 §17.5.4)
2:45 AM - 30 Mar 2019
0 replies
25 retweets
67 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.