std::is_pod vs subclassing

std::is_pod vs subclassing

本文关键字：vs subclassing pod is std      更新时间：2023-10-16

有人可以帮助我理解为什么以下代码无法编译（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() {}
};

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

免责声明

对

以下内容持保留态度，因为这是我对事物的解释。我绝不是专家。（我也对我在这里提到的聚合 - 初始值设定项列表关系有一些疑问。

答

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

从这个答案中你可以认为聚合不能有基类，这使得B成为非聚合，因此不能通过大括号括起来的初始值设定项列表进行初始化

。

另一方面，std::is_pod可能不会按照您认为的方式进行操作，因为 POD 定义已在 C++11 中更改。因此，它不会提示您是否可以使用此类聚合初始值设定项初始化 POD 类型。

加法

我在这里主要讨论聚合初始化，但更通用的术语是列表初始化，其限制较少。但是，检查我在链接资源中找到的所有情况，也不可能进行列表初始化因为（在资源的初始值设定项列表的效果列表之后）：

  • 初始值设定项列表不为空
  • B不是聚合
  • B不是std::initializer_list的专业化
  • B没有
    • 采用初始值设定项列表的构造函数
    • 适合列表签名的构造函数
  • B不是引用类型
  • B不能从123进行复制初始化，也不能直接初始化，因为没有构造函数采用 int
  • B不是值初始化的，因为初始值设定项列表不为空
相关文章：