subtyping

subtyping

文章 0 浏览 3

我可以获得代码合同来警告我有关“非法”的行为吗?子类型?

抱歉,如果这个问题看起来太长。在我提出问题之前,我需要先表明它来自哪里。 设置: 给定以下不可变类型 Rectangle: class Rectangle { public Rect…

九厘米的零° 2024-11-28 21:48:10 1 0

Scala 子类型 +隐式转换问题

我正在尝试使用 scalaz 库对 scala 中的 monad 进行一些操作,但在使其与子类型完美配合时遇到了一些麻烦。 我开始定义我自己的单子。为了简单起见,…

转身泪倾城 2024-11-09 01:49:10 4 0

派生类和基类之间的指针到指针的转换?

关于以下 C++ 程序: class Base { }; class Child : public Base { }; int main() { // Normal: using child as base is allowed Child *c = new Chi…

不回头走下去 2024-08-26 16:09:17 8 0
更多

推荐作者

胡图图

文章 0 评论 0

zt006

文章 0 评论 0

z祗昰~

文章 0 评论 0

冰葑

文章 0 评论 0

野の

文章 0 评论 0

天空

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文