算术接口抽象

Question

我正在考虑制作一个算术抽象类，但我有几个问题，因此我决定从StackOverflow寻求意见。

算术抽象类将定义（1）算术运算符，包括标量乘法和除法，（2）布尔比较，而不暗示顺序（3）换向器，反换向器和关联器（4）定义一个的值和零和（5）证明关于数值结构的代数的断言。

• 这是否有现有的抽象类？

• 关于type_trait的工作方式，网上是否有更好的解释，特别是关于is_arithmetic？

由于

Answer 1

1. 没有

2. 您需要更好的解释吗？类型特征通常通过模板特化实现，“算术类型”的含义是“整数或浮点类型”。