普通类型的类型特征

Question

我希望有一个类型特征，对于任何在使用前不需要初始化内存并且可以将其复制构造函数实现为 memcpy 的类型返回 true。

我希望它返回 true

• 整数类型（char、short int、int、long int 等）
• 浮点数类型（float、double）
• il::array（il::array 是我自己的 std::array 实现）因为 T 是 int、double、il::array 等之一。

对于诸如 std::vector 之类的东西以及在构造时需要某些东西的任何对象（大多数对象）为 false。

std::is_pod 似乎非常接近我想要的，因为它也为 std::array 返回 true，但不幸的是它不会为我自己的 il::array 返回 true。有什么方法可以“教导” is_pod 我的 il::array 表现为普通的旧数据，或者一种简单的方法来推出我自己的类型特征？

有关信息，这是我对 il::array: 的实现：

namespace il {

template <typename T, int n>
class array {
private:
    T data_[n > 0 ? n : 1];
public:
    array(const T& value)
            : array() {
        for (int k = 0; k < n; ++k) {
            data_[k] = value;
        }
    }
    array(std::initializer_list<T> list) {
        IL_ASSERT(n == static_cast<int>(list.size()));
        for (int k = 0; k < n; ++k) {
            data_[k] = *(list.begin() + k);
        }
    }
    const T& operator[](int k) const {
        IL_ASSERT(static_cast<unsigned int>(k) < static_cast<unsigned int>(n));
        return data_[k];
    }
    T& operator[](int k) {
        IL_ASSERT(static_cast<unsigned int>(k) < static_cast<unsigned int>(n));
        return data_[k];
    }
    T* data() {
        return data_;
    }
    int size() const {
        return n;
    }
};

}

Answer 1

我希望有一个类型特征，对于任何在使用前不需要初始化内存并且可以将其复制构造函数实现为 memcpy 的类型返回 true。

您正在描述一个普通类型。您可以通过std::is_trivial 进行检查。

std::is_pod 似乎和我想要的很接近

这还要求该类型具有标准布局，这限制了其数据成员的声明方式和位置。

不幸的是，我自己的 il::array 没有返回 true

也许这不是标准布局，在这种情况下is_trivial 应该适合你。或者在任何情况下它实际上都不是微不足道的；在这种情况下，您可能需要修复它。

更新：它有一个用户声明的默认构造函数，这使它变得不平凡。由于它只检查编译时常量的值，因此您可以将其替换为static_assert；或将n 更改为更合理的无符号类型，例如std::size_t，以消除对完整性检查的需要。

但您仍然需要将其声明为默认值

array() = default;

否则其他构造函数的存在会删除它。

有什么方法可以“教导”is_pod 我的 il::array 表现为普通的旧数据？

您可以编写自己的特质，并针对您的类型进行专业化。但这会很奇怪。如果你的类型应该是琐碎的或 POD，那就这样吧。