小编LP_*_*LP_的帖子

删除阻止虚拟方法传播的能力的原因是什么？

让我更清楚一点:在C++中,无论你在派生类中编写"virtual void foo()"还是"void foo()",只要在基类中,它就是虚拟的,foo被声明为虚拟.

这意味着通过派生*指针调用foo()将导致虚拟表查找(如果derived2函数覆盖foo),即使程序员不希望这种行为.

让我举一个关于如何停止虚拟传播有用的例子(对我来说看起来很明显):

template <class T>
class Iterator // Here is an iterator interface useful for defining iterators
{              // when implementation details need to be hidden
public:
    virtual T& next() { ... }
    ...
};

template <class T>
class Vector
{
public:
    class VectIterator : public Iterator<T>
    {
    public:
        T& next() { ... }
        ...
    };
    ...
};

在上面的示例中,Iterator基类可用于以更清晰和面向对象的方式实现"类型擦除"的形式.(有关类型擦除的示例,请参见http://www.artima.com/cppsource/type_erasure.html.)

但是,在我的示例中,可以直接使用Vector :: VectIterator对象(在大多数情况下将完成),以便在不使用接口的情况下访问真实对象.

如果没有传播虚拟性,即使从指针或引用调用Vector :: VectIterator :: next()也不是虚拟的,并且能够内联并高效运行,就像Iterator接口不存在一样.

在Rust中，您无需在内指定可变性struct，但它是从变量绑定继承的。很好，但是即使根是可变的，也可以强制字段始终不变吗？

像这样的假设语法：

struct A {
    immut s: Shape, // immutable by design
    bla: Bla, // this field inheriting (im)mutability
}
let mut a = make_a();
a.s = x/*...*/; // illegal

就像Java一样，这将有助于在程序中保持良好的语义限制final（以非常有限的方式）。

同样，我们可以想象这种struct利用内部不变性对内部不变数据进行非所有权引用的情况...

我想将最后一次提交一分为二，所以我使用git reset HEAD~1，但随后它会丢失对提交添加的新文件（之前未跟踪）的跟踪，并且我必须小心地将它们一一添加回去。我经常有其他未跟踪的文件等待稍后提交，所以这很烦人。

我想要的是一种方法，reset但将提交添加的文件保留为空，就好像它们是用git add --intent-to-add(ie git add -N) 添加的一样。

我痛苦地看到了事实,scala.util.parsing并且scala.swing显然不再捆绑在Scala 2.11中.每次,我都必须谷歌右侧添加到sbt配置,或找到下载jar文件的正确链接.

如果有其他图书馆迁出,我怎么知道这些东西呢？或者我应该只依赖Stackoverflow上有相同问题的人的问题？github上的Scala Swing项目甚至没有记录这些信息.

我喜欢动态创建Eclipse项目,并使它们依赖于同一工作区中的其他项目,而不需要通过sbt,并且在我执行此操作的每个计算机/工作区上遇到这些库消失情况很烦人.