草庐IT

关于 c:如何将模板大小的数组初始化转换为 constexpr 初始化?

codeneng 2023-03-28 原文

How to convert template-sized array initialization to constexpr initialization?

这是循环。基本上沿圆的圆周生成一定数量的点。点数组显然是恒定的

  • 你真的在编译时需要它吗?
  • 我认为将它提升到 constexpr 完全没有意义。常量表达式中如何要求您的 Circle?对于优化,它根本没有意义!另外:接受答案!


不能保证它们绝对准确,但它们可能足以满足您的目的。

我只是使用了泰勒级数近似。添加 constexpr 并查看它们是否有效。

long double sin2r(long double const r, long double const t, long double const tn, unsigned long long k)
{
    return tn == 0 ? r : sin2r(r + ((k / 2) % 2 ? -1 : +1) * tn, t, tn * t * t / ((k + 1) * (k + 2)), k + 2);
}

long double cos2r(long double const r, long double const t, long double const tn, unsigned long long k)
{
    return tn == 0 ? r : cos2r(r + ((k / 2) % 2 ? -1 : +1) * tn, t, tn * t * t / ((k + 1) * (k + 2)), k + 2);
}

long double sin2(long double const t)
{
    return sin2r(0, t, t, 1);
}

long double cos2(long double const t)
{
    return cos2r(0, t, 1, 0);
}

  • 1 用于我的回答中正在进行的讨论和趣味性:)
  • 将此与索引技巧结合起来应该可以得到一个完整的答案。
  • 嗯……你能澄清一下吗?仍在尝试弄清楚如何初始化其大小由模板定义的数组。
  • 哦,找到了一个SO帖子。 stackoverflow.com/questions/13313980/…


首先,constexpr 函数不一定在编译时进行评估。在某些情况下编译器必须这样做(例如,如果事物被用作编译时间常数);但标准不需要这样的东西。 (理论上,如果存储生成代码并在启动时运行一次是微不足道的并且使用的空间比存储 constexpr 的计算值少,那么编译器可能希望这样做)

其次,你的例子是不可能做出constexpr的。该标准要求任何 constexpr 函数只能调用其他 constexpr 函数,并且格式为 return expression;。您的示例不符合任何条件,因为您依赖于 sincos (它们不是 constexpr 函数),并且您需要一个循环,它不是 return expression;.

的形式

constexpr 不是为优化而设计的;它旨在允许您计算编译时间常数(例如,以便您可以将结果用作堆栈分配数组的大小)。

  • "......你需要一个循环,它不是 return expression 的形式"......有一个叫做递归的东西......
  • "constexpr 不是为优化而设计的"......模板也不是图灵完备的。
  • @Mehrdad:我看不到一种不会导致大量堆栈爆炸的递归编写方法。依赖尾递归来完成循环的语言通常使用尾优化将调用转换为循环。但是C当然不需要。 (并且 C 编译器领域中的堆栈帧可能包含一大堆用于符号表和其他东西的东西)模板可能已经完成 - 但我没有看到有人将它们用于这样的目的。
  • o.O"大规模堆栈爆炸"?您预计需要多少次迭代?看我的回答...
  • 此外,关于模板是图灵完备的......人们确实利用了他们的图灵完备性,就像基于模板的解析器生成器一样。即使您忽略了这一点,他们仍然会使用原本不打算用于的模板做很多事情。
  • @Mehrdad:也许我应该用"对于 n 的值计算这个编译时间很有趣"来限定它。您使用大量递归调用只是为了计算答案中的 sincos ;将其添加到 OP 的循环中变成递归调用将至少使用该加上 n 堆栈帧。
  • 我不知道 NSlices 有多大,但是我的代码使用了 10-20 个堆栈帧,所以只要他可以将大循环放入递归中,就可以了。另外,他总是可以将间隔分成两半以获得对数深度而不是线性深度......当将循环转换为递归时,您不必进行尾式递归,你知道的。
  • @Mehrdad:嗯..没有考虑使其 lg n 深的可能方法。该标准建议附录 B 中允许 512 级递归,所以这可能没问题。我自己从未见过。当然,这并不是将 OP 的功能"提升"到 constexpr 中——这是重大的算法变化。
  • 如果它是对数的,那么即使是 20 级递归也应该绰绰有余。
  • 我主要对如何初始化一个大小由模板参数确定的数组感兴趣。 sin/cos 是一种误导(您可以在 Mehdrad 的答案中使用聪明的泰勒级数近似,或者实际上许多原始数学函数将在未来定义为 constexpr)。例如,如果我想初始化一个索引 i 包含值 i * 2 的 N 数组。
  • @Vitali:我不明白您为什么将数学函数定义为 constexpr - 一般来说,几乎没有理由使用诸如编译时间常数之类的东西。在程序启动时计算这种东西可能会比从磁盘加载计算结果更快。在您的 i * 2 情况下,动态计算值几乎总是比存储带有答案的数组更好。这些天记忆力很慢。
  • @Vitali:我认为浮点数学函数不可能变成 constexpr

有关关于 c:如何将模板大小的数组初始化转换为 constexpr 初始化?的更多相关文章

  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-on-rails - 在 Rails 中将文件大小字符串转换为等效千字节 - 2

    我的目标是转换表单输入,例如“100兆字节”或“1GB”,并将其转换为我可以存储在数据库中的文件大小(以千字节为单位)。目前,我有这个:defquota_convert@regex=/([0-9]+)(.*)s/@sizes=%w{kilobytemegabytegigabyte}m=self.quota.match(@regex)if@sizes.include?m[2]eval("self.quota=#{m[1]}.#{m[2]}")endend这有效,但前提是输入是倍数(“gigabytes”,而不是“gigabyte”)并且由于使用了eval看起来疯狂不安全。所以,功能正常,

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

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

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

  6. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

    我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗?当我运行compasswatch时,它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行?文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们?我自己编译的.sass文件编译成compiled/t

  7. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过,我不想只删除标签,我想智能地保留尽可能多的格式。为插入换行符标签,检测段落并格式化它们等。输入非常简单,通常是格式良好的html(不是整个文档,只是一堆内容,通常没有anchor或图像)。我可以将几个正则表达式放在一起,让我达到80%,但我认为可能有一些现有的解决方案更智能。 最佳答案 首先,不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案,它会随着HTML的变化而崩溃,或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

  8. ruby-on-rails - 在 Ruby 中循环遍历多个数组 - 2

    我有多个ActiveRecord子类Item的实例数组,我需要根据最早的事件循环打印。在这种情况下,我需要打印付款和维护日期,如下所示:ItemAmaintenancerequiredin5daysItemBpaymentrequiredin6daysItemApaymentrequiredin7daysItemBmaintenancerequiredin8days我目前有两个查询,用于查找maintenance和payment项目(非排他性查询),并输出如下内容:paymentrequiredin...maintenancerequiredin...有什么方法可以改善上述(丑陋的)代

  9. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

    我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

  10. ruby-on-rails - 未初始化的常量 Psych::Syck (NameError) - 2

    在我的gem中,我需要yaml并且在我的本地计算机上运行良好。但是在将我的gem推送到ruby​​gems.org之后,当我尝试使用我的gem时,我收到一条错误消息=>"uninitializedconstantPsych::Syck(NameError)"谁能帮我解决这个问题?附言RubyVersion=>ruby1.9.2,GemVersion=>1.6.2,Bundlerversion=>1.0.15 最佳答案 经过几个小时的研究,我发现=>“YAML使用未维护的Syck库,而Psych使用现代的LibYAML”因此,为了解决

随机推荐