草庐IT

c++ - 由于放置新用法而禁止虚拟功能的体面方法

coder 2023-11-14 原文

在编译/运行时检查特定结构/类没有任何虚函数的体面方法是什么。此检查是必需的，以确保在执行新放置 时正确的字节对齐。

即使有一个虚函数也会将整个数据移动 vtable 指针大小，这将与放置 new 运算符一起把事情搞得一团糟。

一些更多的细节:我需要一些适用于所有主要编译器和平台的东西，例如Windows、Linux 和 Solaris 上的 VS2005、VC++10、GCC 4.5 和 Sun Studio 12.1。

在以下情况下保证工作的东西应该足够了:

struct A { char c; void m(); };
struct B : A { void m(); };

如果有人决定进行此更改:

struct A { char c; virtual void m(); };
struct B : A { void m(); };

很高兴看到编译时错误说 struct A must not contain virtual functions。

最佳答案

有一些工具和技巧(取决于您使用的 C++ 版本)可以使类正确对齐。

在 C++0x 中，alignof命令类似于 sizeof但返回所需的对齐方式。

在C++03中，首先要注意的是大小是对齐的倍数，因为数组中的元素需要是连续的。这意味着使用大小作为对齐过于热心(并且可能浪费空间)但效果很好。通过一些技巧，您可以获得更好的值(value):

template <typename T>
struct AlignHelper
{
  T t;
  char c;
};

template <typename T>
struct Alignment
{
  static size_t const diff = sizeof(AlignHelper<T>) - sizeof(T);
  static size_t const value = (diff != 0) ? diff : sizeof(T);
};

这个小 helper 给出了一个正确的对齐方式作为编译时常量(因此适用于模板编程)。它可能大于所需的最小对齐 (*)。

通常使用 placement new 应该没问题，除非你实际上是在“原始缓冲区”上使用它。在这种情况下，缓冲区的大小应由以下公式确定:

// C++03
char buffer[sizeof(T) + alignof(T) - 1];

或者你应该使用 C++0x 工具:

// C++0x
std::aligned_storage<sizeof(T), alignof(T)> buffer;

另一个确保虚拟表“正确”对齐的技巧是使用 union :

// C++03 and C++0x
union { char raw[sizeof(T)]; void* aligner; } buffer;

aligner参数保证 buffer对于指针正确对齐，因此对于虚拟表指针也是如此。

编辑:@Tony 建议的其他解释。

(*) 这是如何工作的？

要理解它，我们需要深入研究类的内存表示。类的每个子元素都有自己的对齐要求，例如:

struct A { int a; char b; int c; };

+----+-+---+----+
| a  |b|xxx| c  |
+----+-+---+----+

在哪里xxx表示添加填充以便 c适当对齐。

A 的对齐方式是什么？ ？一般来说，是子元素的对齐比较严格，所以这里，int的对齐(通常是 4，因为 int 通常是 32 位整数)。

为了“猜测”任意类型的对齐方式，我们通过使用 AlignHelper 来“欺骗”编译器。模板。请记住 sizeof(AlignHelper<T>)必须是对齐的倍数，因为类型应该在数组中连续布置，因此我们希望我们的类型将在 c 之后填充属性，对齐的大小为 c (1 根据定义)加上填充的大小。

// AlignHelper<T>
+----------------+-+---+
|        t       |c|xxx|
+----------------+-+---+

// T
+----------------+
|        t       |
+----------------+

当我们做 sizeof(AlignHelper<T>) - sizeof(T)我们得到了这种差异。令人惊讶的是，它可能是 0 .

问题来自于如果 T 末尾有一些填充(未使用的字节) , 然后一个聪明的编译器可以决定隐藏 c那里，因此大小的差异将是0 .

显然，我们可以尝试递归地增加 c 的大小属性(使用 char 数组)，直到我们最终得到一个非零差异。在这种情况下，我们会得到“紧密”对齐，但最简单的做法是退出并使用 sizeof(T) ，因为我们已经知道它是比对的倍数。

最后，不能保证我们用这个方法得到的对齐就是T的对齐。 ，我们得到它的倍数，但它可能更大，因为 sizeof是依赖于实现的，例如，编译器可以决定将所有类型对齐到 2 边界的幂。

关于c++ - 由于放置新用法而禁止虚拟功能的体面方法，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/6421130/

体面用法codesizeofprec++

有关c++ - 由于放置新用法而禁止虚拟功能的体面方法的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  4. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  5. ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  6. Ruby 方法() 方法 - 2

    我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索，但这不是我需要的。我也看过ruby​​-doc.org，但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗？更新我用methods()方法做了实验，得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

  7. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  8. ruby - Highline 询问方法不会使用同一行 - 2

    设置:狂欢ruby1.9.2高线(1.6.13)描述:我已经相当习惯在其他一些项目中使用highline，但已经有几个月没有使用它了。现在，在Ruby1.9.2上全新安装时，它似乎不允许在同一行回答提示。所以以前我会看到类似的东西:require"highline/import"ask"Whatisyourfavoritecolor?"并得到:Whatisyourfavoritecolor?|现在我看到类似的东西:Whatisyourfavoritecolor?|竖线(|)符号是我的终端光标。知道为什么会发生这种变化吗？ 最佳答案

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

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

  10. ruby - 主要 :Object when running build from sublime 的未定义方法 `require_relative' - 2

    我已经从我的命令行中获得了一切，所以我可以运行rubymyfile并且它可以正常工作。但是当我尝试从sublime中运行它时，我得到了undefinedmethod`require_relative'formain:Object有人知道我的sublime设置中缺少什么吗？我正在使用OSX并安装了rvm。 最佳答案 或者，您可以只使用“require”，它应该可以正常工作。我认为“require_relative”仅适用于ruby​​1.9+ 关于ruby-主要:Objectwhenrun

随机推荐