标签： c++ c++17 c++-concepts
C ++ 1z应该将概念（约束+公理）引入语言。除了已经提到的那些公理（反身，交换，传递），还有哪些其他公理可能有用？公理应该仅用于编译器优化，还是它们可以用于不同的目的？