草庐IT

c++ - C++ final 是否在所有方面都暗示 final?

coder 2023-06-04 原文

C++11 added final.

终于!

我了解 final 做了两件事:

  • 使类不可继承。
  • 使类中的(虚拟)函数不可覆盖(在派生类中)。

这两者似乎是相互独立的。但以以下为例:

class Foo
{
    public:
    virtual void bar()
    {
        //do something unimportant.
    }
};
class Baz final : public Foo
{
    public:
    void bar() /*final*/ override
    {
        //do something more important than Foo's bar.
    }
};

从上面,我相信Bazfinal,我应该需要指定它的virtual成员函数bar也是final。由于 Baz 不能被继承,覆盖 bar 的问题超出了范围。但是我的编译器 VC++ 2015 对此非常安静。目前我还没有在其他任何人身上测试过。

如果有人能对这个话题有所了解,我会很高兴。来自标准的报价(如果有的话)将不胜感激。另外请说明我不知道的任何极端情况,这可能会导致我的逻辑信念失败。

所以,我的问题是:一个 final class 是否隐含了它的 virtual 函数是 final 吗?应该是?请澄清。


我问这个的原因是因为 final 函数符合 de-virtualization 的条件,这是一个很好的优化。任何帮助表示赞赏。

最佳答案

The reason I am asking this is because final functions become qualified for de-virtualization, which is a great optimization.

有吗? “去虚拟化”不是 C++ 标准的一部分。或者至少,不是。

去虚拟化只是“好像”规则的结果,该规则规定实现可以做任何它喜欢的事情,只要实现表现得“好像”它正在按照标准所说的那样行事。

如果编译器可以在编译时检测到通过多态类型对虚拟成员函数的特定调用将无可否认地调用该函数的特定版本,则允许避免使用虚拟调度逻辑和调用静态函数。这表现得“好像”它使用了虚拟调度逻辑,因为编译器可以证明这是本应调用的函数。

因此,该标准没有定义何时允许/禁止去虚拟化。编译器在内联一个接受基类类型指针的函数时,可能会发现被传递的指针指向在它被内联的函数中声明的本地堆栈变量。或者编译器可以将特定的内联/调用图追踪到特定多态指针/引用的起点。在这些情况下,编译器可以将调用去虚拟化为该类型。但前提是它足够聪明。

编译器是否会将所有对 final 类的虚函数调用去虚拟化,而不管这些方法本身是否声明为 final?它可能。它可能不会。它甚至可能不会对在多态类型上声明的 final 方法的任何调用进行去虚拟化。这是一个有效的(如果不是特别聪明的话)实现。

您要问的问题是特定于实现的。它可能因编译器而异。

但是,正如您所指出的,声明为 final 的类应该足以让编译器将所有对 final 类的指针/引用的调用虚拟化类型。如果编译器不这样做,那就是实现质量问题,而不是标准问题。

关于c++ - C++ final 是否在所有方面都暗示 final?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36895012/

有关c++ - C++ final 是否在所有方面都暗示 final?的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息? 最佳答案 在Rails3中,update_all不返回任何有意义的信息,除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby - 如何以所有可能的方式将字符串拆分为长度最多为 3 的连续子字符串? - 2

    我试图获取一个长度在1到10之间的字符串,并输出将字符串分解为大小为1、2或3的连续子字符串的所有可能方式。例如:输入:123456将整数分割成单个字符,然后继续查找组合。该代码将返回以下所有数组。[1,2,3,4,5,6][12,3,4,5,6][1,23,4,5,6][1,2,34,5,6][1,2,3,45,6][1,2,3,4,56][12,34,5,6][12,3,45,6][12,3,4,56][1,23,45,6][1,2,34,56][1,23,4,56][12,34,56][123,4,5,6][1,234,5,6][1,2,345,6][1,2,3,456][123

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

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

  4. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加?这是我的解决方案,但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  5. ruby-on-rails - 跳过状态机方法的所有验证 - 2

    当我的预订模型通过rake任务在状态机上转换时,我试图找出如何跳过对ActiveRecord对象的特定实例的验证。我想在reservation.close时跳过所有验证!叫做。希望调用reservation.close!(:validate=>false)之类的东西。仅供引用,我们正在使用https://github.com/pluginaweek/state_machine用于状态机。这是我的预订模型的示例。classReservation["requested","negotiating","approved"])}state_machine:initial=>'requested

  6. ruby - Nokogiri 剥离所有属性 - 2

    我有这个html标记:我想得到这个:我如何使用Nokogiri做到这一点? 最佳答案 require'nokogiri'doc=Nokogiri::HTML('')您可以通过xpath删除所有属性:doc.xpath('//@*').remove或者,如果您需要做一些更复杂的事情,有时使用以下方法遍历所有元素会更容易:doc.traversedo|node|node.keys.eachdo|attribute|node.deleteattributeendend 关于ruby-Nokog

  7. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串,该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么,如果包含,则返回它包含的键的值?例如,对于上面的h和s的例子,输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  8. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法,但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗?编辑解释我的环境,并改变问题的范围。因此,我的项目将使用jsapiFullCalendar,这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么,以正确的格式将日期保存在数据库中,或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

  9. ruby - 检查日期是否在过去 7 天内 - 2

    我的日期格式如下:"%d-%m-%Y"(例如,今天的日期为07-09-2015),我想看看是不是在过去的七天内。谁能推荐一种方法? 最佳答案 你可以这样做:require"date"Date.today-7 关于ruby-检查日期是否在过去7天内,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.com/questions/32438063/

  10. ruby - 如何验证 IO.copy_stream 是否成功 - 2

    这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同,而不是下载一半的损坏文件?documentation说IO.copy_stream返回它复制的字节数,但是当我还没有下

随机推荐