Clang中的Constexpr错误但不是gcc中的错误？

Question

让我们举一个简单的例子：

#include <iostream>

namespace foo {
    constexpr int main(int argc, char* argv[]) {
      // code
    }
}

int main(int argc, char* argv[])
{
    return foo::main(argc, argv);
}

取决于代码是什么，clang会抱怨或否。如果代码是：

cout << "Hello!";
return 0;

clang抱怨：

错误：Constexpr函数永远不会产生常量html" target="_blank">表达式[-Wvalid-Constexpr]

constexpr int main(int argc, char* argv[]) {

注意：非constexpr函数'运算符

    std::cout << "Hello!";

/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../..//include/c/4.8/ostream:530:5:注意：此处声明

operator<<(basic_ostream<char, _Traits>& __out, const char* __s)

公平地说，正如我们所知，constexpr函数不能包含任何cout语句。但如果我们这样做会发生什么？

  for (int i = 0; i < argc; i++)
    std::cout << argv[i];

clang允许它！好的，但是这不可能是一个Constexpr函数，即使它被标记为Constexpr，让我们尝试在Constexpr上下文中使用它。

int arr[foo::main(argc, argv)];

真管用！那一定是叮当响的虫子？我之所以说铿锵是因为gcc抱怨：

错误：constexpr函数的主体'constexpr int foo::main（int， char**）'not a return-语句

所以我的结论是clang是错误的，而gcc是正确的。

Answer 1

所以gcc 4.8.1没有实现松弛的constexpr约束，但是clang 3.5实现了。我的错误是clang和gcc都有可变长度的数组扩展。如果我用std::array代替，两个编译器都会拒绝代码。我仍然不明白的是，如果clang允许松弛的constexpr，那么为什么它不是一个constexpr？

Answer 2

您可以在C 1y模式下编译代码，该模式包含放宽constepr限制的措辞，包括所有循环语句。

看看引入这些变化的N3652。

Answer 3

叮当声在这里是正确的。

第一个例子

这里的代码是：

constexpr int foo::main(int argc, char* argv[]) {
  std::cout << argv[i];
  return 0;
}

在C 11中，此代码格式错误，因为正文包含一个表达式语句，这在consionexpr函数定义中是不允许的。

在C 1y中，此代码格式不正确，不需要进行诊断，因为调用foo:：main永远无法生成常量表达式（因为它总是调用运算符）

第二个例子

在这种情况下，代码是：

constexpr int foo::main(int argc, char* argv[]) {
  for (int i = 0; i < argc; i++)
    std::cout << argv[i];
  return 0;
}

在C 11中，此代码的格式不正确，因为它包含一个for-语句。

在C1Y中，此代码是有效的。尤其是，foo:：main（0，0）是一个常量表达式（带有值0）。由于foo:：main在常量表达式中可用，因此不允许Clang拒绝它，也不允许Clang拒绝它。

第三个例子

int arr[foo::main(argc, argv)];

这里绑定的数组不是常量表达式（因为它读取的是argc和argv，这两个值不是常量）。但是，默认情况下，Clang支持可变长度数组作为扩展。您可以指定-pedantic errors将clang置于严格一致模式，在该模式下，它将拒绝该代码。

GCC的诊断：

错误：constexpr函数的主体'constexpr int foo::main（int， char**）'not a return-语句

在C 11和C 1y中都不正确。在C 11中，这是不正确的，因为规则更微妙（constepr函数的主体可以包含typedefs和一些其他构造，而不仅仅是return-语句）。在C1Y中，这个规则根本不存在。