c++ - 是什么让 Scala 的运算符重载 "good"，但 C+ +'s "不好？

Question

关闭。这个问题是 opinion-based .它目前不接受答案。

---

想要改进这个问题吗？ 更新问题，以便 editing this post 提供事实和引用来回答它.

关闭去年。

Improve this question

C++ 中的运算符重载被许多人认为是一件坏事(tm)，并且在新的语言中不应该重蹈覆辙。当然，这是在设计 Java 时特别放弃的一项功能。

现在我已经开始阅读 Scala，我发现它看起来非常像运算符重载(虽然从技术上讲，它没有运算符重载，因为它没有运算符，只有函数)。但是，它似乎与 C++ 中的运算符重载在性质上没有什么不同，我记得运算符被定义为特殊函数。

所以我的问题是，是什么让在 Scala 中定义“+”的想法比在 C++ 中更好？

Answer 1

C++ 从 C 继承了真正的蓝色运算符。我的意思是 6 + 4 中的“+”非常特殊。例如，您无法获得指向该 + 函数的指针。

另一方面，Scala 没有这种方式的运算符。它只是在定义方法名称方面具有很大的灵 active ，加上一些非单词符号的内置优先级。所以从技术上讲，Scala 没有运算符重载。

无论你想怎么调用它，运算符重载本质上都不是坏事，即使在 C++ 中也是如此。问题是当糟糕的程序员滥用它时。但坦率地说，我认为剥夺程序员滥用运算符重载的能力并不能解决程序员可以滥用的所有问题。真正的答案是指导。 http://james-iry.blogspot.com/2009/03/operator-overloading-ad-absurdum.html

不过，C++ 的运算符重载与 Scala 灵活的方法命名之间存在差异，恕我直言，这使得 Scala 的可滥用性和可滥用性都降低了。

在 C++ 中，获得 in-fix 表示法的唯一方法是使用运算符。否则，您必须使用 object.message(argument) 或 pointer->messsage(argument) 或 function(argument1, argument2)。因此，如果您想在代码中使用某种 DSLish 风格，那么就会有使用运算符的压力。

在 Scala 中，您可以通过任何消息发送获得中缀符号。 “对象消息参数”完全可以，这意味着您不需要使用非单词符号来获得中缀符号。

C++ 运算符重载本质上仅限于 C 运算符。再加上只能使用运算符的限制，这给人们施加了压力，试图将广泛的不相关概念映射到相对较少的符号上，如“+”和“>>”

Scala 允许使用大量有效的非单词符号作为方法名称。例如，我有一个嵌入式 Prolog-ish DSL，您可以在其中编写

female('jane)!         // jane is female
parent('jane,'john)!   // jane is john's parent
parent('jane, 'wendy)! // jane is wendy's parent

mother('Mother, 'Child) :- parent('Mother, 'Child) & female('Mother) //'// a mother of a child is the child's parent and is female

mother('X, 'john)?  // find john's mother
mother('jane, 'X)?  // find's all of jane's children

:-、!、? 和 & 符号被定义为普通方法。仅在 C++ 中 & 是有效的，因此尝试将此 DSL 映射到 C++ 将需要一些已经唤起非常不同概念的符号。

当然，这也为 Scala 带来了另一种滥用。在 Scala 中，您可以根据需要命名方法 $!&^%。

对于其他语言，如 Scala，可以灵活地使用非单词函数和方法名称，请参阅 Smalltalk，其中，如 Scala，每个“运算符”只是另一个方法，而 Haskell 允许程序员定义优先级和固定性灵活命名的函数。