C++中受保护的策略类的析构函数

Protected destructor of policy Classes in C++

本文关键字：析构函数 策略 C++ 受保护      更新时间：2023-10-16

我编写了以下愚蠢的策略结构：

template
<typename T>
struct SuperLeague
{
public:
  void printLeague(){std::cout << "SuperLegue" << std::endl;};
protected:
  //~SuperLeague(){}
};

和主机类

template
<typename TT,template <typename C> class Policy>
class League: public Policy<TT>
{
public:
  void fun()
  {
    Policy<TT>().printLeague();
  }
};

我的主要是

int main()
{
  League<int,SuperLeague> k;
  League<int,SuperLeague> kk;
  k.fun();
  kk.printLeague();
  League<int,SuperLeague> *kkk=new League<int,SuperLeague>();
  kkk->fun();
  //delete kkk;
};

在这里之前，一切都很好。输出为：

SuperLegue
SuperLegue
SuperLegue

安德烈·亚历山德雷斯库在他的一本书中写道：除非策略类定义了虚拟析构函数，否则对指向该策略类的指针应用delete将具有未定义的行为。他解释了从策略类派生时不在策略或受保护(或私有(继承上使用虚拟析构函数的原因，并建议策略应该使用的轻量级、有效的解决方案是定义非虚拟受保护的析构函数。问题是，当我尝试使用~SuperLeague(){}时，编译器会抱怨析构函数受到了保护。我做错了什么？

您不应该在League::fun()内创建临时策略对象。由于League模板的实例派生自Policy模板的相应实例，因此它继承了printLeague()函数：

template
<typename TT,template <typename C> class Policy>
class League: public Policy<TT>
{
public:
  void fun()
  {
    Policy<TT>::printLeague();
//  ^^^^^^^^^^^^^^^^^^^^^^^^^^
  }
};

声明析构函数protected时，解决方案不会编译的原因是protected使基类成员在访问同一派生类的对象(或取消引用指向对象的引用或指针(时可以从派生类访问(在本例中为League(。

在您的示例中，情况并非如此，您创建了一个类型为Policy<TT>的临时对象，并在该对象上调用printLeague()(该对象不是League类型(。

根据C++11标准第11.4/1段：

当非静态数据成员或非静态成员函数是其命名类(11.2(的受保护成员早些时候，对受保护成员的访问被授予，因为引用发生在某些成员的朋友或成员中类C。如果访问是为了形成指向成员(5.3.1(的指针，则嵌套的名称说明符应表示C或从C派生的类。所有其他访问都涉及一个(可能是隐式的(对象表达式(5.2.5(。在这种情况下，对象表达式的类应为C或从C派生的类。

Policy<TT>().printLeague();

这将创建一个类型为Policy<TT>的对象，对该对象调用printLeague()，然后销毁该对象。编译器抱怨破坏对象，因为析构函数是受保护的。

由于Policy<TT>是一个基类，只需直接调用printLeague()即可。

相关文章：