草庐IT

c++ - 默认创建类 `final`还是给它们一个虚拟的析构函数？

coder 2024-02-02 原文

如果将非虚拟析构函数的类用作基类(如果将指针或对基类的引用用于引用子类的实例)，则它们是错误的来源。

在C++ 11中添加了final类之后，我想知道设置以下规则是否有意义:

每个类都必须满足以下两个属性之一:

  • 被标记为final(如果尚未(还)要从中继承)
  • 有一个虚拟析构函数(如果它是(或打算)继承)

    • 可能在某些情况下，这两个选项都不有意义，但我想可以将它们视为应仔细记录的异常。

    最佳答案

    可能由于缺少虚拟析构函数而引起的最常见的实际问题是通过指向基类的指针删除了一个对象:

    struct Base { ~Base(); };
struct Derived : Base { ~Derived(); };

Base* b = new Derived();
delete b; // Undefined Behaviour

    虚拟析构函数还影响释放函数的选择。 vtable的存在也会影响type_id和dynamic_cast。

    如果您的类没有以这些方式使用，则不需要虚拟析构函数。请注意，此用法是，不是类型的属性，既不是Base类型也不是Derived类型的属性。继承使这种错误成为可能，而仅使用隐式转换。 (使用reinterpret_cast这样的显式转换，如果没有继承，可能会出现类似的问题。)

    通过使用智能指针，可以在许多情况下防止出现此特定问题:类似于unique_ptr的类型可以将对具有虚拟析构函数(*)的基类的转换限制为基类。类似shared_ptr的类型可以存储一个删除器，该删除器适用于删除指向shared_ptr<A>的B，即使没有虚拟析构函数也是如此。

    (*)尽管当前的std::unique_ptr规范不包含对转换构造函数模板的检查，但在较早的草案中有所限制，请参见LWG 854。提案N3974引入了checked_delete删除器，该删除器还需要一个虚拟dtor才能进行派生到基本的转换。基本上，您的想法是防止进行以下转换:
    unique_checked_ptr<Base> p(new Derived); // error

unique_checked_ptr<Derived> d(new Derived); // fine
unique_checked_ptr<Base> b( std::move(d) ); // error

    正如N3974所建议的那样，这是一个简单的库扩展。您可以编写自己的checked_delete版本，并将其与std::unique_ptr结合使用。

    OP中的两个建议都可能存在性能缺陷:
  • 将一个类标记为final

    • 这样可以防止空基优化。如果您有一个空的类，则其大小必须仍然> = 1个字节。作为数据成员，因此占用空间。但是，作为基类，允许不占用派生类型的对象的内存的不同区域。例如使用将分配器存储在StdLib容器中。
  • 具有虚拟析构函数

    • 如果该类还没有vtable，则会为每个类引入一个vtable，并为每个对象引入一个vptr(如果编译器无法完全消除它)。物体的破坏会变得更加昂贵，这可能会产生影响，例如因为它不再是微不足道的破坏了。此外，这防止了某些操作并限制了该类型的操作:对象的生命周期及其属性链接到该类型的某些属性，例如可微毁的。
    final防止通过继承扩展类。虽然继承通常是扩展现有类型的最糟糕方法之一(与自由函数和聚合相比)，但在某些情况下，继承是最合适的解决方案。 final限制了可以使用该类型进行的操作；我应该这样做有一个非常令人信服的根本原因。人们通常无法想象其他人想要使用您的类型的方式。

    T.C.指出了StdLib中的一个示例:源自std::true_type，类似地，源自std::integral_constant(例如占位符)。在元编程中，我们通常不关心多态性和动态存储持续时间。公共(public)继承通常只是实现元功能的最简单方法。我不知道元函数类型的对象是动态分配的任何情况。如果这些对象是完全创建的，则通常用于标记分派(dispatch)，而您将在这些分派(dispatch)中使用临时对象。

    另外，我建议使用静态分析器工具。每当您从没有虚拟析构函数的类中公开派生时，都可能会发出某种警告。注意，在许多情况下，您仍然想从某个基类公开地派生而没有虚拟析构函数。例如干或简单地分离关注点。在那些情况下，通常可以通过注释或实用指示来调整静态分析器，以忽略这种从无虚拟变量类派生的情况。当然，外部库(例如C++标准库)需要有异常(exception)。

    更好的方法是，但更复杂的方法是分析何时删除不带虚拟dtor的A类的对象，其中B类继承自A类(UB的实际来源)。但是，此检查可能并不可靠:删除可能会在与定义B(从A派生)的TU不同的转换单元中进行。它们甚至可以位于单独的库中。

    关于c++ - 默认创建类 `final`还是给它们一个虚拟的析构函数？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/30685629/

    ampfinalcode的brc++c++11virtual-destructor

    有关c++ - 默认创建类 `final`还是给它们一个虚拟的析构函数？的更多相关文章

    1. ruby - 如何在 Ruby 中顺序创建 PI - 2

      出于纯粹的兴趣，我很好奇如何按顺序创建PI，而不是在过程结果之后生成数字，而是让数字在过程本身生成时显示。如果是这种情况，那么数字可以自行产生，我可以对以前看到的数字实现垃圾收集，从而创建一个无限系列。结果只是在Pi系列之后每秒生成一个数字。这是我通过互联网筛选的结果:这是流行的计算机友好算法，类机器算法:defarccot(x,unity)xpow=unity/xn=1sign=1sum=0loopdoterm=xpow/nbreakifterm==0sum+=sign*(xpow/n)xpow/=x*xn+=2sign=-signendsumenddefcalc_pi(digits

    2. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声？ - 2

      关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点？我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等)，但我确实想创建一个输出文件。

    3. ruby - 使用 Vim Rails，您可以创建一个新的迁移文件并一次性打开它吗？ - 2

      使用带有Rails插件的vim，您可以创建一个迁移文件，然后一次性打开该文件吗？textmate也可以这样吗？ 最佳答案 你可以使用rails.vim然后做类似的事情::Rgeneratemigratonadd_foo_to_bar插件将打开迁移生成的文件，这正是您想要的。我不能代表textmate。 关于ruby-使用VimRails，您可以创建一个新的迁移文件并一次性打开它吗？，我们在StackOverflow上找到一个类似的问题： https://sta

    4. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

      我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

    5. ruby-on-rails - 渲染另一个 Controller 的 View - 2

      我想要做的是有2个不同的Controller，client和test_client。客户端Controller已经构建，我想创建一个test_clientController，我可以使用它来玩弄客户端的UI并根据需要进行调整。我主要是想绕过我在客户端中内置的验证及其对加载数据的管理Controller的依赖。所以我希望test_clientController加载示例数据集，然后呈现客户端Controller的索引View，以便我可以调整客户端UI。就是这样。我在test_clients索引方法中试过这个:classTestClientdefindexrender:template=>

    6. ruby-on-rails - 无法使用 Rails 3.2 创建插件？ - 2

      我对最新版本的Rails有疑问。我创建了一个新应用程序(railsnewMyProject)，但我没有脚本/生成，只有脚本/rails，当我输入ruby./script/railsgeneratepluginmy_plugin"Couldnotfindgeneratorplugin.".你知道如何生成插件模板吗？没有这个命令可以创建插件吗？PS:我正在使用Rails3.2.1和ruby​​1.8.7[universal-darwin11.0] 最佳答案 随着Rails3.2.0的发布，插件生成器已经被移除。查看变更日志here.现在

    7. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

      我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

    8. ruby - 默认情况下使选项为 false - 2

      这是在Ruby中设置默认值的常用方法:classQuietByDefaultdefinitialize(opts={})@verbose=opts[:verbose]endend这是一个容易落入的陷阱:classVerboseNoMatterWhatdefinitialize(opts={})@verbose=opts[:verbose]||trueendend正确的做法是:classVerboseByDefaultdefinitialize(opts={})@verbose=opts.include?(:verbose)?opts[:verbose]:trueendend编写Verb

    9. ruby - 如何使用 RSpec::Core::RakeTask 创建 RSpec Rake 任务？ - 2

      如何使用RSpec::Core::RakeTask初始化RSpecRake任务？require'rspec/core/rake_task'RSpec::Core::RakeTask.newdo|t|#whatdoIputinhere?endInitialize函数记录在http://rubydoc.info/github/rspec/rspec-core/RSpec/Core/RakeTask#initialize-instance_method没有很好的记录；它只是说:-(RakeTask)initialize(*args,&task_block)AnewinstanceofRake

    10. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

      我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem，所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

    随机推荐