Ada语言中函数运算符的含义、作用与普通函数的区别是什么？

运算符函数本质是命名符合Ada运算符规范的普通函数，和自定义普通函数没有底层逻辑的差异，它的核心价值全部来自于语法层面的便利性，具体体现在以下几个方面：

• 代码可读性与表达习惯对齐
  你实现的跨Integer和Float的减法运算符，如果换成普通函数实现，需要定义类似function Sub_Int_To_Float(Left : Integer; Right : Float) return Float，调用时必须写Sub_Int_To_Float(变量1, 变量2)。而使用运算符函数可以直接写变量1 - 变量2，完全贴合常规数学运算的书写习惯，多层运算嵌套时的可读性优势会更加明显，比如2 * (a - b) + 10.5如果全部用普通函数实现会变成Add(Mult(2.0, Sub_Int_To_Float(a,b)), 10.5)，冗余度高且阅读成本极高。
• 能力扩展符合用户直觉，和标准库行为统一
  Ada标准库已经为所有内置运算符针对内置类型做了默认重载，比如默认的"-"已经支持Integer减Integer、Float减Float等场景，你自定义的"-"只是为减法运算符扩充了新的跨类型适配能力，使用者不需要因为操作数类型变化就额外记忆新的函数名，沿用已经熟悉的运算符语法即可，学习成本极低。
• 泛型编程适配成本更低
  编写泛型组件时，只需要要求泛型参数支持对应运算符，所有重载了该运算符的类型都可以直接接入泛型组件使用，不需要额外传入自定义函数作为适配参数，大幅降低泛型组件的接入成本。

注意你当前给出的运算符实现存在无限递归的问题：你内部写的Res := Float(Left) - Right;刚好匹配你自己定义的Integer减Float的"-"运算符规则，运行时会循环调用自身导致栈溢出。正确的写法应该是显式调用标准库的Float减法：

Res := Standard."-"(Float(Left), Right);

内容的提问来源于stack exchange，提问作者leun