可变匿名结构

Question

我想定义一个包含多个 mutable 字段的聚合（将其保存在 std::set 或 std::priority_queue 中并在将来修改它，肯定会保存容器不变量）。我尝试了以下语法，编译成功：

#include <cstdlib>

int
main()
{
    struct X
    {
        mutable struct 
        {
            int i;
            int j;            
        };
    };
    X const x{};
    //x.i = 1;
    return EXIT_SUCCESS;
}

Live example for clang 3.8.

但语句x.i = 1; 给出了错误：

错误：无法分配给具有 const 限定类型“const X”的变量“x”

我的意图是将大量连续的文件分组，并将 mutable 关键字应用于该组。

这个语法错了吗？如果是这样，编译器制造商允许这样的语法（如果有的话）的意图是什么？

附加：

代码：

#include <cstdlib>

int
main()
{
    struct X
    {
        mutable struct 
        {
            int i;
            int j;            
        };
        void f() const { i = 1; }
    };
    X const x{};
    //x.i = 1;
    x.f();
    return EXIT_SUCCESS;
}

也会报错：

错误：无法分配给 const 成员函数 'f' 中的非静态数据成员

注意：成员函数 'main()::X::f' 在这里声明为 const 无效 f() 常量 { i = 1; }

Answer 1

问题在于匿名@​​987654324@ 和mutable 的非标准（在C++ 中）使用之间的混合。后者是一个存储类说明符，用于成员而不是类型。

备选方案 1：为您的匿名结构定义一个中间成员：

您可以根据标准 C++ 的规则定义一个可变的成员：

struct X
{
    mutable struct 
    {
        int i;
        int j;            
    } y;
};
X const x{};
x.y.i = 1;

Live demo

备选方案 2：使匿名结构中的每个成员都可变：

您可以将结构中的成员定义为可变的。当匿名结构将这些成员合并到封闭结构中时，可变属性将被传递：

struct X
{
    struct 
    {
        mutable int i;
        mutable int j;            
    };
};

Online demo

标准是怎么说的？

标准 C++ 不允许匿名结构。匿名结构是compiler extension for C11 compatibility。

C++ 标准允许匿名联合。但它设置了限制，特别是：

9.5/6：类范围内的匿名联合声明中不允许存储类。

所以在编译以下代码时：

  struct X
    {
        mutable union 
        {
            int i;
            int j;            
        };
    }; 

编译器将发出一个非常具体的错误：

prog.cpp:11:13: error: a storage class on an anonymous aggregate in class  scope is not allowed
         mutable union 

我认为允许在匿名结构上使用存储类说明符（并且显然忽略它）并为匿名联合发出错误是不一致的。据我说，这应报告为编译器错误。无论如何，您应该采用替代 1（便携且兼容）或替代 2（依赖于编译器，但更符合标准）。