算术接口抽象

Arithmetic Interface Abstractions

本文关键字:抽象 接口      更新时间:2023-10-16

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

一个算术抽象类将定义(1)算术运算符,包括标量乘法和除法;(2)布尔比较,但不暗示顺序;(3)对易子、反对易子和结合子;(4)定义1和0的值;(5)证明关于数值结构的代数的断言。

  • 是否有一个现有的抽象类?

  • 在网络上有更好的解释type_trait是如何工作的,特别是关于is_arithmetic吗?

谢谢

  1. 你还需要什么更好的解释?类型特征通常通过模板专门化实现,"算术类型"的含义是"整数或浮点类型"。