Scala 特性和 C++ 之间的区别概念

Question

Scala 特征 Haskell 类型类和 C++0x 概念之间有什么区别？

就像下面这个例子，观察者声明一个抽象成员 receiveUpdate 观察者实际上是一种“匿名”类型或结构类型。

package observer
trait Subject {
   type Observer = { def receiveUpdate(subject: Any) }
   private var observers = List[Observer]()
   def addObserver(observer:Observer) = observers ::= observer
   def notifyObservers = observers foreach (_.receiveUpdate(this))
}

Answer 1

• 这些概念不会出现在 C++0x 中，它们已在规范草案的最后几个版本中被删除。
• 类型类最初设计用于参数多态性的有界量化（通用约束，“forall x，使得 x 是...”）以及一种以不太特别的方式为完全类型推断语言提供特别多态性的机制方式。
• 概念还用于参数多态性的有界量化，并提供概念重载，这弥补了 C++ 中模板函数部分专业化的不足。它们最初是为了处理 C++ 中的模板错误消息问题而设计的。
• 特征是在不使用多重继承的情况下混合行为的机制。

因此，它们中只有两个有一些共同点，但不是很多，那就是概念和类型类。本文已经对两者进行了比较：C++ 概念的比较和 Haskell 类型类