为什么 is_standard_layout 在这里给出 true ？

Question

我的理解是，没有任何虚拟方法是标准布局的要求之一。然而，当 struct Cancel.

中有一个虚方法时，下面的代码打印出 true

如果我删除虚拟方法。 is_stand_layout returns 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 如何在您使用的标准库中实现的副作用。

为什么 is_standard_layout 在这里给出 true ？

why is_standard_layout gives true here?

c++

stl

g++

clang++