【发布时间】：2014-07-10 19:30:34
【问题描述】：
我正在考虑创建一个算术抽象类，但我有一些顾虑，所以我决定向 StackOverflow 寻求意见。
算术抽象类将定义 (1) 算术运算符，包括标量乘法和除法，(2) 布尔比较，但不包含顺序 (3) 交换器、反交换器和关联器 (4) 定义一个和零和 (5) 证明关于数字结构代数的断言。
是否存在用于此的抽象类？
对于 type_trait 的工作原理，尤其是关于 is_arithmetic 的工作原理，网络上有没有更好的解释？
谢谢
【问题讨论】：
-
算术抽象类会做什么？
-
它将定义 (1) 算术运算符，包括标量乘法和除法，(2) 布尔比较，但不包含顺序 (3) 换向器、反换向器和关联器 (4) 定义一和零以及 (5) 证明关于数字结构代数的断言。
-
等一下，您是否尝试使用抽象算术本身的类型，例如集合论等？我真的不明白你在这里寻找什么。也许是一个简短的、不完整的例子？
-
lol... int... 我认为这主要属于第 (5) 节，我会考虑接近性，而不是传统的抽象顺序。
-
第 1 步是澄清算术类的含义，以便我们理解为什么
int不够好。
标签： c++ c++11 typetraits