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

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

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

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

Answer 2

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

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

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

并且您应该发现不可能从 X 派生任何内容，因为虚拟继承意味着最派生的类必须构造基类，但它无法访问它。

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

Answer 3

C++ FAQ 描述了不同的方法来实现这一目标 - 但从你的问题来看，我猜你'我已经读过它们了。 ;-)

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

Answer 4

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

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

Answer 5

我修改了发布的原始代码并在 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: 错误： 'Temp::Temp()' 是 private Temp() {

one.cpp:25:11: 错误：在此上下文中
派生类：public Final

one.cpp:11:9: error: 'Temp::~Temp()' is private ~Temp() {}

one.cpp:25:11: error: 在此上下文中
派生类：public Final

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

注意：最佳实践是不要将 void 与“main”一起使用。

谢谢，

Answer 6

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

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

通过一点宏魔法和一些编译器检测工作，可以将其抽象出来以在所有编译器上工作，或者最坏的情况下不执行任何操作。

Answer 7

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

#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。）