在 C 14 中，constexpr 成员可以更改数据成员吗？

Question

在C 14中，由于＜code＞constexpr＜/code＞不再是隐式＜code＞常量＜/code＜，所以＜code＞constexpr＜-code＞成员函数是否可以修改类的数据成员：

struct myclass
{
    int member;
    constexpr myclass(int input): member(input) {}
    constexpr void f() {member = 42;} // Is it allowed?
};

Answer 1

据我所知，是的。限制来自[dcl.constexpr]：

constexpr函数的定义应满足以下约束：
-它不应是虚拟的（10.3）
-其返回类型应为文本类型
-其每个参数类型都应为文字类型
-其函数体应为=delete、=default或不包含

< li >一个asm定义， < li >一个< code>goto语句， < li >一个试块，或者 < li >非文字类型、静态或线程存储持续时间变量的定义，或者不执行初始化的变量的定义。

该功能满足所有这些要求。

Answer 2

是的，我相信这种变化始于提案N3598: constexpr成员函数和隐式const，并最终成为N3652:放松constexpr函数的约束的一部分，它改变了第< code>7.1.5节第< code>3段白名单中函数体中允许的内容:

其函数体应为 = 删除、= 默认值或仅包含

• 空语句，
• static_assert-声明
• 不定义类或枚举的typedef声明和别名声明，
• 使用-声明，
• 使用-指令，
• 和正好一个返回语句；

到黑名单：

其函数体应为 = 删除、= 默认值或不包含的复合语句

< li >一个asm定义， < Li > goto语句， < li >一个试块，或者 < li >非文字类型、静态或线程存储持续时间变量的定义，或者不执行初始化的变量的定义。

并在第C.3.3节第7条“声明”中增加了以下注释:

更改：constexpr 非静态成员函数不是隐式 const 成员函数。

基本原理:允许constexpr成员函数改变对象是必要的。

对原始功能的影响:有效的C 2011代码可能无法在本国际标准中编译。例如，以下代码在C 2011中有效，但在本国际标准中无效，因为它用不同的返回类型声明了同一个成员函数两次:

struct S {
 constexpr const int &f();
 int &f();
};