c++ - 确定存储在 std::vector 中的对象是否可以轻松复制

Question

此代码无法编译，因为静态断言失败。

#include <vector>
#include <type_traits>

class A {
};

int main()
{
    std::vector<A> v;
    static_assert(std::is_trivially_copyable<decltype(v[0])>::value);
    return 0;
}

另一方面，如果我将 decltype(v[0]) 替换为 A，则它可以编译。问题在于 v[0] 是对 A 而不是 A 的类型引用。如何以某种方式使用 v 使其工作？

Answer 1

std::vector 有一个 value_type 成员，它是元素类型 vector 的参数列表中给定的类型。使用它可以给你

static_assert(std::is_trivially_copyable<decltype(v)::value_type>::value);

或者，您可以从 v[0] 中删除引用限定，例如

static_assert(std::is_trivially_copyable<std::remove_reference<decltype(v[0])>::type>::value);
// or if you want to remove all cv and ref qualifications
static_assert(std::is_trivially_copyable<std::remove_cvref<decltype(v[0])>::type>::value);
// or if you want to remove all cv, ref, and array qualifications
static_assert(std::is_trivially_copyable<std::decay<decltype(v[0])>::type>::value);

---

请注意，如果您使用的是较新版本的 C++(例如 C++17 或 C++20)，那么您可以使用 _t 和 _v 版本类型特征将代码简化为

static_assert(std::is_trivially_copyable_v<decltype(v)::value_type>);

static_assert(std::is_trivially_copyable_v<std::remove_reference_t<decltype(v[0])>>);

static_assert(std::is_trivially_copyable_v<std::remove_cvref_t<decltype(v[0])>>);

static_assert(std::is_trivially_copyable_v<std::decay_t<decltype(v[0])>>);