为什么 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 实现根本不可能是 Trivial 类型。该标准要求默认构造的string_view 为空，这要求其默认构造函数不平凡。