1

C++1z 应该在语言中引入概念（约束 + 公理）。除了已经提到的那些公理（自反性、交换性、传递性）之外，还有哪些其他公理可能有用？公理是否应该仅用于编译器优化，或者它们也可以用于不同的目的？

4

0 回答 0