草庐IT

c++ - 用于编译时强制 constexpr 函数评估的单个表达式助手可能吗？

coder 2024-02-16 原文

@cyberpunk_正在努力实现某些目标并提出一些问题，但所有的追求都归结为:

是否可以构建一个工具来强制执行 constexpr 函数的编译时评估？

int f(int i) {return i;}
constexpr int g(int i) {return i;}

int main()
{
    f(at_compilation(g, 0));
    int x = at_compilation(g, 1);
    constexpr int y = at_compilation(g, 2);
}

在所有情况下，at_compilation 强制执行 g 的编译时评估。

at_compilation 不需要采用这种形式。

要求

  • 允许任何(原生数字)文字类型作为 constexpr 函数的输入。
    • 这也可以根据函数参数类型进行硬编码。
  • 允许任何(原生数字)文字类型作为输出，这是 constexpr 函数调用的结果。
    • 这也可以根据函数返回类型进行硬编码。

理想的

  • 减少了宏的使用，但不要害怕使用。
  • 通用(不是类型硬编码)。
  • 支持任何文字类型。最后，任何数字原生文字类型都是必需的。

相关问题:

  1. When does a constexpr function get evaluated at compile time?
  2. Forcing a constant expression to be evaluated during compile-time?
  3. Passing any function as a template parameter?
  4. Where in the C++11 standard does it specify when a constexpr function can be evaluated during translation?

带有相关代码示例的答案:

  • 1
  • 2
  • 3 (这个有一个说明性的 AT_COMPILATION 宏)

所有代码示例都有关于要求的限制。

关于这在 C++ 中如何不可行的明确解释也是一个很好的答案。

根据 @K-ballo 我怀疑这是不可能的/@Herb Sutter answer其中指出“并且结果也用于常量表达式”。这不是我以前关于 constexpr 函数的概念的一部分，我首先认为只是将文字(或其他编译时输入)作为参数传递就足以保证(按标准)它在编译时被评估-时间。

已经假设 constexpr 函数的目的是它们可以在必要时适应常量表达式情况，例如数组边界。没关系。鉴于此，这个问题是关于将它们用作编译时间计算工具的黑客攻击。无论是好事还是坏事都无关紧要。

最佳答案

我认为这是不可能的，因为编译器只需要计算在编译时使用的值，并且没有通用表达式可以使用类类型值的每个部分。初始化私有(private)成员的计算甚至可能无法强制执行，因为您将依赖公共(public) constexpr 成员函数来使用结果。

如果您可以通过以下方式访问对象表示

static_cast< char const * >( static_cast< void const * >( & const_value ) )

然后可以对计算结果进行校验和(并将结果用作整数常量表达式)，迫使编译器执行所有没有实际意义的计算。但是从 void * 到 char * 的强制转换在常量表达式中是不允许的，并且同样试图用 union 完成相同的操作。即使允许，如果构造函数留下一个字节未初始化，则在常量表达式中也禁止使用未初始化的值。

因此，即使 C++ 有更好的内省(introspection)工具，仍然不可能恢复 constexpr 函数执行的工作以人为地使用某些成员而不使用其他成员。

需要说明的是(即使它重复了这个问题)，没有理由需要这个。如果需要，该语言已经要求检查所有可以在编译时计算，并且强制编译器非惰性地计算纯值的唯一影响是使其变慢并使用更多内存.

编辑(问题被彻底改变)

如果您有多个返回标量类型的函数，并且希望确保其中一些函数在某些参数下作为常量表达式工作，则使用 static_assert 编写测试用例。

constexpr int g(int i) {return i;}
int i = 5;
static_assert( g( 3 ) == 0, "failure 1" );
static_assert( g( i ) == 5, "failure 2" );

如果您不想修复结果值，则丢弃它们。 (不幸的是，GCC may optimize out the non-constant 是此类表达式的一部分，因此您可能需要在该平台上做一些更巴洛克式的事情。

static_assert( g( i ) == 5 || true, "failure only if not constexpr" );

至于将其封装到一个宏中，其他链接的问题似乎解决了很多问题。如果您想扩展其中一个答案或修复特定错误，最好解释错误，而不是让我们阅读这么多文献并从头开始。

关于c++ - 用于编译时强制 constexpr 函数评估的单个表达式助手可能吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/14309245/

ampconstexprcodestackoverflowc++c++11macrosvariadic-templates

有关c++ - 用于编译时强制 constexpr 函数评估的单个表达式助手可能吗？的更多相关文章

  1. ruby-on-rails - Rails 常用字符串(用于通知和错误信息等) - 2

    大约一年前，我决定确保每个包含非唯一文本的Flash通知都将从模块中的方法中获取文本。我这样做的最初原因是为了避免一遍又一遍地输入相同的字符串。如果我想更改措辞，我可以在一个地方轻松完成，而且一遍又一遍地重复同一件事而出现拼写错误的可能性也会降低。我最终得到的是这样的:moduleMessagesdefformat_error_messages(errors)errors.map{|attribute,message|"Error:#{attribute.to_s.titleize}#{message}."}enddeferror_message_could_not_find(obje

  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 - 在没有 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

  5. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词，但有时效果很好，在某些情况下会出现此错误？这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊，我找到了!gsub!是一个非常奇怪的方法。首先，它替换了字符串，所以它实际上修改了

  6. Ruby Sinatra 配置用于生产和开发 - 2

    我已经在Sinatra上创建了应用程序，它代表了一个简单的API。我想在生产和开发上进行部署。我想在部署时选择，是开发还是生产，一些方法的逻辑应该改变，这取决于部署类型。是否有任何想法，如何完成以及解决此问题的一些示例。例子:我有代码get'/api/test'doreturn"Itisdev"end但是在部署到生产环境之后我想在运行/api/test之后看到ItisPROD如何实现？ 最佳答案 根据SinatraDocumentation:EnvironmentscanbesetthroughtheRACK_ENVenvironm

  7. ruby - 在 Ruby 中有条件地定义函数 - 2

    我有一些代码在几个不同的位置之一运行:作为具有调试输出的命令行工具，作为不接受任何输出的更大程序的一部分，以及在Rails环境中。有时我需要根据代码的位置对代码进行细微的更改，我意识到以下样式似乎可行:print"Testingnestedfunctionsdefined\n"CLI=trueifCLIdeftest_printprint"CommandLineVersion\n"endelsedeftest_printprint"ReleaseVersion\n"endendtest_print()这导致:TestingnestedfunctionsdefinedCommandLin

  8. ruby - inverse_of 是否适用于 has_many？ - 2

    当我使用has_one时，它​​工作得很好，但在has_many上却不行。在这里您可以看到object_id不同，因为它运行了另一个SQL来再次获取它。ruby-1.9.2-p290:001>e=Employee.create(name:'rafael',active:false)ruby-1.9.2-p290:002>b=Badge.create(number:1,employee:e)ruby-1.9.2-p290:003>a=Address.create(street:"123MarketSt",city:"SanDiego",employee:e)ruby-1.9.2-p290

  9. ruby - 在 Ruby 中按名称传递函数 - 2

    如何在Ruby中按名称传递函数？(我使用Ruby才几个小时，所以我还在想办法。)nums=[1,2,3,4]#Thisworks,butismoreverbosethanI'dlikenums.eachdo|i|putsiend#InJS,Icouldjustdosomethinglike:#nums.forEach(console.log)#InF#,itwouldbesomethinglike:#List.iternums(printf"%A")#InRuby,IwishIcoulddosomethinglike:nums.eachputs在Ruby中能不能做到类似的简洁？我可以只

  10. 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.你能做的最好的事情是:

随机推荐