6

有人可以帮我理解为什么以下代码无法编译（g ++ 4.8）。我的理解是可以初始化 POD

#include <iostream>
#include <type_traits>

struct my_int
{
  int val_;
};
struct B : public my_int
{
};

int main()
{
  std::cout << std::is_pod<my_int>::value << std::endl;
  std::cout << std::is_pod<B>::value << std::endl;
  const my_int v = { 123 };
  //const B v2 = { 123 }; // does not compile with g++ 4.8.

  return 0;
}

编译是：

g++ -std=c++11 t.cxx
t.cxx: In function 'int main()':
t.cxx:24:21: error: could not convert '{123}' from '<brace-enclosed initializer list>' to 'const B'
   const B v = { 123 };
                     ^

编辑：

感谢大家的回答，我现在理解了聚合初始化的概念。我错过了聚合不能有基类的事实。因此，我目前的实施计划需要改变。我想做类似的事情：

template < typename T >
struct base_class
{
  int val_;
};
struct MyInt : public base_class<int>
{
  void Func1() {}
};
struct MyDouble : public base_class<double>
{
  void Func2() {}
};

我将重写上面的代码，避免使用子类引入特殊的成员函数，同时避免代码重复。

4

1 回答 1

6

免责声明

对以下内容持保留态度，因为这是我对事物的解释。我绝不是专家。（我也对我在这里所说的聚合初始化列表关系有一些疑问。）

回答

据我所知，这是不可能的，因为 v2 的聚合初始化将应用于非聚合类类型 B。

从这个答案中，您可以认为聚合不能有基类，这会B产生非聚合，因此不能由大括号括起来的初始化列表初始化。

另一方面，std::is_pod可能不会像您认为的那样做，因为 POD 定义在 C++11 中已更改。因此，它不会提示您是否可以使用这样的聚合初始化程序来初始化 POD 类型。

添加

我在这里主要讨论聚合初始化，但更通用的术语是限制较少的列表初始化。但是，检查我在链接资源中找到的所有情况，也无法进行列表初始化，因为（遵循资源的初始化列表效果列表）：

  • 初始化列表不为空
  • B不是聚合
  • B不是专业的std::initializer_list
  • B没有
    • 构造器采用初始化列表
    • 适合列表签名的构造函数
  • B没有引用类型
  • B不能复制初始化，123也不能直接初始化，因为没有构造函数采用 int
  • B未进行值初始化，因为初始化程序列表不为空
于 2013-09-20T17:44:01.830 回答