C ++中的最终类

Question

class Temp
{
private:
    ~Temp() {}
    friend class Final;
};

class Final : virtual public Temp
{
public:
     void fun()
     {
         cout<<"In base";
     }
};

class Derived : public Final
{
};

void main()
{
    Derived obj;
    obj.fun();
}

上面的代码试图实现不可继承的类（final）。但是使用上面的代码仍然可以创建派生对象，为什么？

只有将 ctor 设为私有时才能实现所需的功能，我的问题是为什么在 dtor 私有的情况下无法实现？

Answer 1

C++ FAQ 描述了different ways 来实现这一点——但从你的问题来看，我猜你已经阅读了它们。 ;-)

（另外，main 必须始终返回 int，而不是 void。）

Answer 2

派生类不调用基类的私有析构函数，因此它不需要可见性。

将您的构造函数设为私有，并且仅提供静态生成器函数。

Answer 3

好吧，对于这个程序（请提供正确的、可编译的示例）

#include <iostream>

class Temp
{
private:
    ~Temp() {}
    friend class Final;
};

class Final : virtual public Temp
{
public:
    void fun() { std::cout<<"In base"; }
};

class Derived : public Final {};

int main() {
    Derived obj;
    obj.fun();
}

Comeau Online 说

Comeau C/C++ 4.3.10.1 (Oct  6 2008 11:28:09) for ONLINE_EVALUATION_BETA2
Copyright 1988-2008 Comeau Computing.  All rights reserved.
MODE:strict errors C++ C++0x_extensions

"ComeauTest.c", line 16: error: "Temp::~Temp()" (declared at line 6) is inaccessible
  class Derived : public Final {
                         ^
          detected during implicit generation of "Derived::Derived()" at line
                    21

"ComeauTest.c", line 16: error: "Temp::~Temp()" (declared at line 6) is inaccessible
  class Derived : public Final {
        ^
          detected during implicit generation of "Derived::~Derived()" at line
                    21

2 errors detected in the compilation of "ComeauTest.c".

因为，当有疑问时，我总是相信 como（我只发现过一个错误，但在其他编译器中发现了很多），我认为 VC9（它接受代码）是错误的。 （从那个void main()我想你也使用VC。）

Answer 4

请注意，在 C++11 中使用 final 关键字存在不可继承的类，如果该类从无继承，则在 : base1, base2, ..., baseN 继承列表或开头的 { 之前指定：

class Final final { };
class Derived : public Final { }; // ERROR

通过一点宏魔法和一些编译器检测工作，可以将其抽象出来以在所有编译器上工作，或者最坏的情况是什么也不做。

Answer 5

奇怪地重复出现的模板模式。使用私有继承。

template< typename T > class Final
{
protected:
    Final() {}
    Final( Final const& ) {}
};

class X : private virtual Final<X>
{
  // whatever I want to do
};

而且你应该发现不可能从 X 派生任何东西，因为虚拟继承意味着派生最多的类必须构造基类，但它无权访问它。

（我没有测试过这段代码）。

Answer 6

当然，今天正确的做法是使用final 关键字。例如：

class Foo final {
public:
  Foo() {}
  ~Foo() {}

  void bar() {
     // ...
  }
};

Answer 7

我已经修改了发布的原始代码并在g++中验证了这段代码：

class Temp
{
private:
    Temp() {
        cout << "In Temp Class ctor" << endl;
    }
    ~Temp() {}
    friend class Final;
};

class Final : virtual public Temp
{
public:

    void fun()
     {
         cout<<"In base";
     }
};

class Derived : public Final
{
};

int main()
{
    Derived obj;
    obj.fun();

    return 0;
}

结果： $g++ one.cpp -o one -lm -pthread -lgmpxx -kgmp -lreadline 2>&1

one.cpp：在构造函数“Derived::Derived()”中： one.cpp:8:9: error: 'Temp::Temp()' is private Temp() {

one.cpp:25:11: 错误：在此上下文中 类派生：公共最终

one.cpp:11:9: 错误：'Temp::~Temp()' 是私有的~Temp() {}

one.cpp:25:11: 错误：在此上下文中 类派生：公共最终

one.cpp:11:9: 错误：'Temp::~Temp()' 是私有的 ~Temp() {}

注意：最好不要将 void 与 'main' 一起使用。

谢谢，