c++ - 为什么 is_standard_layout 在这里给出 true？

Question

我的理解是，没有任何虚拟方法是标准布局的要求之一。然而，当 struct Cancel 中有一个虚方法时，下面的代码打印出 true。

如果我删除虚拟方法。 is_stand_layout 返回 false，这是有道理的，因为 Cancel 具有具有不同访问控制的成员。

我在 gcc 10.2, 9.2 9.3 和 clang 11.0 上测试过，结果是一样的。

这是一个错误吗？还是我在标准布局方面遗漏了什么？

#include <variant>
#include <iostream>

struct NewOrder
{
    int i;
};
struct Cancel
{
    virtual ~Cancel() {}
    int j;
private:
    int i;
}; 
int main() {
  std::cout << std::is_standard_layout_v<std::variant<NewOrder, Cancel>> << std::endl;
  return 0;
}

Answer 1

is this a bug?

没有。

is there something I am missing

你正在输出 std::is_standard_layout_v<std::variant<NewOrder, Cancel>>决定是否std::variant<NewOrder, Cancel>是标准布局而不是Cancel是标准布局。

why is_standard_layout gives true here?

是否std::variant<NewOrder, Cancel>是不是标准布局不一定取决于模板类型参数本身是否是标准布局。该标准未指定是否 std::variant是或不是标准布局。您看到的输出是 std::variant 的副作用在您使用的标准库中实现。