如果 std::is_trivial_v<T> 为真，则 std::is_standard_layout_v<T> 是不是始终为真？

Posted 2023-02-22

【中文标题】如果 std::is_trivial_v<T> 为真，则 std::is_standard_layout_v<T> 是不是始终为真？

【英文标题】：Is std::is_standard_layout_v<T> always true if std::is_trivial_v<T> is true?如果 std::is_trivial_v<T> 为真，则 std::is_standard_layout_v<T> 是否始终为真？

【发布时间】：2020-06-10 08:52:38

【问题描述】：

template<typename T>
void f()

    if constexpr (std::is_trivial_v<T>)
    
        // Does the following line never fail?
        static_assert(std::is_standard_layout_v<T>); 
    

如果std::is_trivial_v<T> 为真，std::is_standard_layout_v<T> 是否始终为真？

如果没有，有反例吗？

【问题讨论】：

您可以在文档中查看这些概念的要求：TrivialType、StandardLayoutType。

【参考方案1】：

#include <type_traits>

class type

    public: int x;
    private: int y;
;

static_assert(std::is_trivial_v< type >);
// not standard layout because different access level of x and y
static_assert(not std::is_standard_layout_v< type >);

https://godbolt.org/z/xz3xLy