大佬教程收集整理的这篇文章主要介绍了c – 考虑到非常数表达式函数的内建是gcc是常量表达式,大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
这个问题Why can I call a non-constexpr function inside a constexpr function?提出了以下代码
#include <stdio.h> constexpr int f() { return printf("a side effect!\n"); } int main() { char a[f()]; printf("%zd\n",sizeof a); }
我正在回答的是不正确的,但是gcc 4.8.2允许它(see it live).
但是,如果我们使用-fno-builTin标志,gcc会生成错误(see it live):
error: call to non-constexpr function 'int printf(const char*,...)' return printf("a side effect!\n"); ^
所以看来gcc正在考虑它的内置版本的printf作为一个常数表达式. gcc documents builtins here但是没有记录这种情况,其中一个非constexpr函数的内置函数可以被认为是一个常量表达式.
如果确实如此:
编译器是否允许这样做?
>如果允许的话,他们是否必须将其记录为符合标准?
>这可以被认为是扩展,如果是这样,似乎这将需要警告,因为C++ draft standard第1.4节实施合规第8段说(强调我的):
更新
正如凯西指出的那样,在原始问题中有一些事情使它成为一个很差的例子.一个简单的例子是使用std::pow这不是一个constexpr函数:
#include <cmath> #include <cstdio> constexpr double f() { return std::pow( 2.0,2.0 ) ; } int main() { constexpr double x = f() ; printf( "%f\n",x ) ; }
编译和编译没有任何警告或错误(see it live),但添加-fno-builTin使其生成错误(see it live).注意:why math functions are not constexpr in C++11:
error: call to non-constexpr function 'double pow(double,doublE)' return std::pow( 2.0,2.0 ) ; ^
这是指LWG issue 2013,其原始建议的决议是将以下内容添加到第17.6.5.6节[constexPR.functions](重点是我的未来):
但在C11之后,该决议被撤销,最终决议最终如下:
所以这是目前(在C 14)a explicitly non-conforming extension,据我所知,这是不符合C11,因为它改变了可观察的行为,因此不允许通过as-if规则.
Jonathan Wakely指出了一个libstdc邮件列表讨论:PR libstdc++/49813 revisited: constexpr on functions (and builtins)由于上述问题,上面讨论了重新打开上面提到的错误报告:
以上是大佬教程为你收集整理的c – 考虑到非常数表达式函数的内建是gcc是常量表达式全部内容,希望文章能够帮你解决c – 考虑到非常数表达式函数的内建是gcc是常量表达式所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。