草庐IT

c++ - std::vector 应该尊重 alignof(value_type) 吗？

coder 2024-02-25 原文

如果我定义一个具有特定对齐要求的简单类型，该类型的 std::vector<t> 难道不应该为每个元素 遵守对齐吗？

考虑下面的例子

typedef std::array<double,3> alignas(32) avx_point;
std::vector<avx_point> x(10);
assert(!(std::ptrdiff_t(&(x[0]))&31) &&   // assert that x[0] is 32-byte aligned
       !(std::ptrdiff_t(&(x[1]))&31));    // assert that x[1] is 32-byte aligned

我发现 clang 3.2(带或不带 -stdlib=libc++)悄悄地(没有任何警告)违反了对齐要求，而 gcc 4.8.0 发出警告，它忽略了 std::vector(英特尔编译器)的模板参数上的属性太愚蠢了，无法理解 alignas，但如果我改用 __declspec(align(32))，它的行为就像 clang)。两者都创建触发断言的代码。

那么，这是正确的行为还是 clang(和 icpc)的错误以及 gcc 的问题？

编辑 回答评论中提出的一个问题:如果我定义

typedef typename std::aligned_storage<sizeof (avx_point),
                                      alignof(avx_point)>::type avx_storage;

我明白了

sizeof (avx_storage) == 32;
alignof(avx_storage) == 32;

但是 std::vector<avx_storage> 仍然无法为 clang 和 gcc 对齐第一个元素(因此也无法对齐所有其他元素)(这次没有警告)。因此，这些实现显然存在两个问题:首先，std::allocator<type> 甚至忽略了第一个元素的任何对齐要求(非法？)，其次，没有应用填充来确保后续元素的对齐。

–––––––––––

编辑 有一个关于如何获得适合 SSE/AVX 操作对齐的内存的 related, more practical question。相反，我想知道 std::vector<> (或 std::allocator<> )是否不应该遵守 C++ 标准(截至 2011 年)的 alignas 。其他问题的答案都不是这个问题的合适答案。

最佳答案

first, that std::allocator ignores any alignment requirements even for the first element (illegal?)

我远不是分配器方面的专家，但不幸的是，在我看来，这是合法行为。更准确地说，分配器可能会忽略请求的对齐。事实上，[allocator.requirements]，17.6.3.5/6 状态:

If the alignment associated with a specific over-aligned type is not supported by an allocator, instantiation of the allocator for that type may fail. The allocator also may silently ignore the requested alignment.

您可以编写自己的分配器来为您提供对齐的内存。我以前在工作中这样做过，但不幸的是，出于版权原因，我不能透露代码 :-( 我只能说，这是显而易见的事情:它基于 _aligned_malloc 和 _aligned_free(这是 Microsoft 的扩展)。或者您可以在 Google 上搜索“对齐的分配器”，然后会出现一些选项，其中之一是

https://gist.github.com/donny-dont/1471329

我强调，我不是这个对齐分配器的作者，而且我从未使用过它。

更新

上面的对齐分配器适用于 Visual Studio/Windows，但它可以用作在其他平台上实现对齐分配器的基础。您可以使用 posix memalign函数族或 C11 函数 aligned_alloc。

参见 this发布。

关于c++ - std::vector 应该尊重 alignof(value_type) 吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/57597173/

value_typeampcodestrongalignedc++c++11alignmentcontainers

有关c++ - std::vector 应该尊重 alignof(value_type) 吗？的更多相关文章

  1. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar

  2. 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

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

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

  4. java - 我的模型类或其他类中应该有逻辑吗 - 2

    我只想对我一直在思考的这个问题有其他意见，例如我有classuser_controller和classuserclassUserattr_accessor:name,:usernameendclassUserController//dosomethingaboutanythingaboutusersend问题是我的User类中是否应该有逻辑user=User.newuser.do_something(user1)oritshouldbeuser_controller=UserController.newuser_controller.do_something(user1,user2)我

  5. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  6. ruby-on-rails - Rails 单表继承 : How to override the value written to the type field - 2

    在我的系统中，我已经定义了STI。Dog继承自Animal，在animals表中有一个type列，其值为"Dog"。现在我想让SpecialDog继承自dog，只是为了在某些特殊情况下稍微修改一下行为。数据还是一样。我需要通过SpecialDog运行的所有查询，以返回数据库中类型为Dog的值。我的问题是因为我有一个type列，rails将WHERE"animals"."type"IN('SpecialDog')附加到我的查询中，所以我不能获取原始的Dog条目。所以我想要的是以某种方式覆盖rails在通过SpecialDog访问数据库时使用的值，使其表现得像Dog。有没有办法覆盖用于类型

  7. ruby-on-rails - 带有 Zeus 的 RSpec 3.1，我应该在 spec_helper 中要求 'rspec/rails' 吗？ - 2

    使用rspec-rails3.0+，测试设置分为spec_helper和rails_helper我注意到生成的spec_helper不需要'rspec/rails'。这会导致zeus崩溃:spec_helper.rb:5:in`':undefinedmethod`configure'forRSpec:Module(NoMethodError)对thisissue最常见的回应是需要'rspec/rails'。但这是否会破坏仅使用spec_helper拆分rails规范和PORO规范的全部目的？或者这无关紧要，因为Zeus无论如何都会预加载Rails？我应该在我的spec_helper中做

  8. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

  9. ruby - 我正在学习编程并选择了 Ruby。我应该升级到 Ruby 1.9 吗？ - 2

    我完全不是程序员，正在学习使用Ruby和Rails框架进行编程。我目前正在使用Ruby1.8.7和Rails3.0.3，但我想知道我是否应该升级到Ruby1.9，因为我真的没有任何升级的“遗留”成本。缺点是什么？我是否会遇到与普通gem的兼容性问题，或者甚至其他我不太了解甚至无法预料的问题？ 最佳答案 你应该升级。不要坚持从1.8.7开始。如果您发现不支持1.9.2的gem，请避免使用它们(因为它们很可能不被维护)。如果您对gem是否兼容1.9.2有任何疑问，您可以在以下位置查看:http://www.railsplugins.or

  10. ruby-on-rails - 为什么方法 column_types 在 Rails 5.0 中未定义？ - 2

    我正在为一个类赋值，它在rspec测试中使用了column_types方法。it"Userdatabasestructureinplace"doexpect(User.column_names).toinclude"password_digest","username"expect(User.column_types["username"].type).toeq:stringexpect(User.column_types["password_digest"].type).toeq:stringexpect(User.column_types["created_at"].type).t

随机推荐