为什么在缺少非常量虚拟方法时不能实例化类的 const 实例？

Question

为什么这不合法？

class Base {
public:
    virtual void bar() = 0;
    virtual void barc() const = 0;
};

class Derived: public Base {
public:
    // deliberately omitted
    // virtual void bar()
    virtual void barc() const override { };
};

int main() {
    const Derived b;
    b.barc();
    // b.bar();
    // fails as expected with "passing 'const Bar' as 'this' argument discards qualifiers"
}

这失败并出现以下错误，因为我没有定义virtual void bar()：

prog.cpp: In function 'int main()':
prog.cpp:16:12: error: cannot declare variable 'd' to be of abstract type 'Derived'
  const Derived d;
            ^
prog.cpp:10:7: note:   because the following virtual functions are pure within 'Derived':
 class Derived : public Base{
       ^
prog.cpp:6:15: note:    virtual void Base::bar()
  virtual void bar() = 0;

但是我无论如何都不能在这里调用bar，因为那个方法没有被标记为const。如果定义了bar，是否有任何合法的方式间接调用d.bar()？

• 是否允许使用const_cast？

• 我在转换超类/子类时会遇到麻烦吗？

如果不是，那我为什么要定义它？

Answer 1

我认为有几个直截了当的说法：

1. 因为只有一个 vtable。 const 和非 const 对象共享它。

2. 因为您可能会将 const 对象 const_cast 转换为非 const 对象。

3. 因为在构造对象时，它不是 const。

4. 因为 constness 不是对象本身的属性，它是附加到对象或引用的属性，限制了对对象部分的访问。

进一步的问题是：

是否允许使用 const_cast？

是的。但是你对 const_casted 引用所做的事情会很快导致“未定义的行为”。这并不意味着“世界可能会终结”，正如有些人会让你相信的那样。它的意思是，“c++ 标准没有定义这种行为——如果编译器、硬件或操作系统愿意，这取决于他们”。即，您对 const_casted 引用所做的任何事情都不太可能是可移植的。

我在转换超类/子类时会遇到麻烦吗？

演员表是公开的麻烦。

Answer 2

您不能实例化抽象类。故事结束。