为什么std :: string_view不平凡？

Question

我想“迁移”到C ++ 17并对其进行研究。

我发现这是

https://gcc.godbolt.org/z/sPnsEM

#include <string_view>
#include <type_traits>

int main(){
    return 
            (std::is_standard_layout_v<std::string_view> ? 10 : 20)
    +
            (std::is_trivial_v<std::string_view> ? 100 : 200)
    +       (std::is_trivially_copyable_v<std::string_view> ? 1000 : 2000)
    ;
}

返回1210，例如std::string_view是standard_layout和trivially_copyable，但令人惊讶的不是trivial。

我在这里检查了一些实现：

https://github.com/gcc-mirror/gcc/blob/master/libstdc%2B%2B-v3/include/experimental/string_view

而且我没有看到任何d-tor。

那是因为它的c-tors？

Answer 1

您对string_view的特定实现可能是简单可复制的标准布局。但是该标准并不要求所有string_view实现。因此，您要做的就是测试您的特定标准库的版本是否具有这些属性。

有效的string_view实现根本不能是琐碎的类型。该标准要求默认构造的string_view为空，这要求其默认构造函数不平凡。