在constexpr函数体c ++ 14中可以有非文字类型的定义变量吗？

Question

我认为在C++ 14中,从constexpr中删除了更多限制.但根据N3797 7.1.5 3-punct:

---

contexpr函数shal的定义满足以下约束:

• 它不应该是虚拟的
• 其返回类型应为字面类型;
• 每个参数类型应为文字类型;
• 它的函数体应为= delete,= default或不包含的复合语句:
  • 的ASM-定义,
  • 一个goto声明,
  • 一个试块,或
  • 非文字类型或静态或线程存储持续时间的变量的定义,或者不执行初始化的定义.

    ---

我知道为什么静态,线程存储持续时间变量是不允许的,但我没有看到任何理由,为什么只允许定义一个文字类型的变量？

或者我不明白标准.

我不确定,但是根据标准的跟随错误应该创建,即使是C++ 14:

struct point{
constexpr point(): x(0), y(0){}
constexpr point(int x_, int y_): x(x_),y(y_){}
constexpr int hypot()const { return x*x + y*y; }
int x,y;
};

constexpr int hypot(int x, int y) {  
   point p{x,y}; //error, because p - is not literal type.
   return p.hypot();
}

// error, because return type is not literal.
constexpr point  getPoint(int x, int y) { return {x,y}; }

// error, because parameter is not literal.
constexpr int hypot(point p) { return p.hypot(); }

问:如果真的发生了上述错误,为什么不删除这些限制？

Answer 1

文字类型在3.9/10中定义:

类型是文字类型,如果它是:

• void; 要么

• 标量类型; 要么

• 参考类型; 要么

• 一个文字类型的数组; 要么

• 具有以下所有属性的类类型(第9节):

  • 它有一个简单的析构函数,

  • 它是聚合类型(8.5.1)或至少有一个constexpr构造函数或构造函数模板,它不是复制或移动构造函数,并且

  • 它的所有非静态数据成员和基类都是非易失性文字类型

所以你的struct point 是一个文字类型,你的示例代码是有效的C++ 1y.

至于为什么constexpr函数被限制为文字类型的变量,它们是唯一保证在编译时可解释的类型.