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("%zdn",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段说(强调我的)：

A conforming implementation may have extensions (including additional library functions),provided they do not alter the behavior of any well-formed program. Implementations are required to diagnose programs that use such extensions that are ill-formed according to this International Standard. Having done so,however,they can compile and execute such programs.

更新

正如凯西指出的那样,在原始问题中有一些事情使它成为一个很差的例子.一个简单的例子是使用std::pow这不是一个constexpr函数：

#include <cmath>
#include <cstdio>

constexpr double f()
{
    return std::pow( 2.0,2.0 ) ;
}

int main()
{
    constexpr double x = f() ;

    printf( "%fn",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 ) ;
                               ^