C＆＃x2B; 11-声明非静态数据成员为＆＃x27; auto＆＃x27;

Question

C ++ 11是否在声明中初始化了非静态数据成员为“自动”？例如：

struct S
{
    auto x = 5;  // in place of 'int x = 5;', which is definitely allowed
};

GCC 4.7拒绝上述代码，而它接受 int x = 5; 。

假设这不是编译器错误，而是标准确实不允许，为什么不呢？它与声明本地变量 auto 一样有用。

Answer 1

禁止非静态成员的规则在7.1.6.4第4条中：

自动类型分配器也可以用于声明变量
选择语句（6.4）或迭代语句的条件
（6.5），在新型-ID或类型ID中的类型分类器seq中
新表达（5.3.4），在范围内，并在宣布
静态数据成员带有出现在类定义的成员规范中的支架或平等限制器（9.4.2）。

我发现它的理由是静态的在这里在评论中解释。

一个民族不喜欢允许自动类型的特定符
非派系。从电子邮件到作者：

 模板＆lt; T＆GT级
    构造mytype：t {
      自动data = func（）;
      静态const size_t erm = sizeof（data）;
    };
 

为了确定X的布局，我们现在有2相平均名称查找和ADL。请注意，Func可以是类型或功能；
它可以在t，mytype的命名空间中找到，
t的命名空间在实例化时，全局名称空间，一个
匿名名称空间或任何命名空间受使用指令的约束。
小心翼翼，我们可能会为运气提供一些概念_映射查找。
根据标头包含的顺序，我什至可能会为ADL获得不同的结果，并打破一个定义规则 -
不需要诊断。

由于这一争议，作者不再提出自动
允许非静态数据成员。

因此，基本上，根据标头包含的顺序，数据的类型可能会大不相同。当然， auto x = 5; 不需要依赖2相名称查找或ADL，但是，我假设他们将其制定为“毯子”规则，因为否则，他们将必须为每种用例制定个人规则，这将使事情变得非常复杂。

在同一篇论文中，作者提出消除这种限制，但是，似乎由于上述理由而被拒绝了，因此无论初始化器是什么，预期行为都可以相同。

Answer 2

对于其他人：

使用C ++ 17这是间接的（非静态成员类型的自动扣除）。您需要使用模板和扣除指南来实现它：

template< class data_t>
struct MyType 
{
    data_t data;
    static constexpr auto data_size = sizeof(data_t);

    MyType( data_t && p_data ) : data(p_data) {}
};

template< class data_t>
MyType(data_t &&) -> MyType<std::remove_reference_t<data_t>>;

我不知道该怎么做，但是这款汽车成员确实需要将其纳入语言，而没有某些模式几乎是不可能的。

如果Lambda通过参考捕获了班级成员，则以上方案 工作。对于避免使用类型擦除功能的高度补偿类来说，这是一个有用的模式。我经常在嵌入式系统上做的事情。

https://godbolt.org/z/w-k9uk

您可以将语言误用在提交中使用位置new和offset_of引用不存在类的lambda，但这是可笑的，不需要。

Answer 3

后来的讨论是完整级上下文任何成员的类型都不是。另一个理由是，

std::vector<int> get_ints();
struct S {
  auto x=get_ints();
  S() : x(7,4) {}
};

尽管完全忽略了默认会员初始化器的 type ，否则将是奇怪的。