C中带有std:：vector数据成员的constexpr成员函数

Question

我试图在C类中实现一个返回模板参数的constexpr成员函数。代码应该是c 11兼容的。然而，当模板化的类还包含STL容器作为数据成员时，比如STD::vector(const expr成员函数不涉及它)，我会遇到编译问题。

以下代码给出了一个最小的示例：

#include <vector>
#include <iostream>
#include <array>


template<size_t n>
struct A 
{

  constexpr size_t dimensions() const
  {
    return n;
  }
private:
  std::vector<double> a;
};


int main(int argc,char ** argv)
{
  auto a=A<3>();
  std::array<double,a.dimensions()> arr;

}

代码使用命令正确编译

g -std=c 14 -O3 快速测试.cpp -o 测试 -Wall

clang-STD = c 11-O3 quick test . CPP-o测试墙

但当我使用时失败了

g-std=c 11-O3快速测试。cpp-o测试-墙

带有错误

quickTest.cpp:22:33: error: call to non-‘constexpr’ function ‘size_t A<n>::dimensions() const [with long unsigned int n = 3; size_t = long unsigned int]’
   std::array<double,a.dimensions()> arr;
                     ~~~~~~~~~~~~^~
quickTest.cpp:10:20: note: ‘size_t A<n>::dimensions() const [with long unsigned int n = 3; size_t = long unsigned int]’ is not usable as a ‘constexpr’ function because:
   constexpr size_t dimensions() const
                    ^~~~~~~~~~
quickTest.cpp:22:33: error: call to non-‘constexpr’ function ‘size_t A<n>::dimensions() const [with long unsigned int n = 3; size_t = long unsigned int]’
   std::array<double,a.dimensions()> arr;
                     ~~~~~~~~~~~~^~
quickTest.cpp:22:33: note: in template argument for type ‘long unsigned int’

为什么代码不能用< code>gcc -std=c 11编译，但可以用< code>clang -std=c 11编译？如何让这个代码片段与gcc的旧版本一起工作呢？gcc的旧版本不支持c 14/17，只支持c 11。

我正在使用 gcc 8.1.1 和 clang 6.0.1

Answer 1

C 11 有一条规则 [dcl.constexpr]/8：

...该函数所属的类应为文本类型 （[basic.types]）。

由于< code>vector，因此< code>struct A不是文本类型，因此它的非静态成员函数不能是< code>constexpr。

所以GCC在C 11模式下拒绝代码是正确的。

C 14取消了这一限制。

C 11的解决方案是声明dimensions（）static：

  static constexpr size_t dimensions()
  {
    return n;
  }

现场演示