平凡类型的类型特征

Question

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

我想让它回到真实

< li >整数类型(char、short int、int、long int等) < li >浮点数类型(float，double) < li>il::array (il::array是我自己对std::array的实现)for T是int、double、il::array等中的一个。

对于std::vector和任何在构造时需要某些东西对象(大多数对象)则为false。

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

有关信息，这里是我的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

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

您正在描述一种微不足道的类型。您可以使用std：：is_trivial进行检查。

< code>std::is_pod似乎与我想要的非常接近

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

不幸的是，它不会为我自己的 il：：array 返回 true

也许这不是标准布局，在这种情况下< code>is_trivial应该适合您。或者也许它在任何情况下都不是微不足道的。在这种情况下，您可能想要修复它，使它成为。

更新：它有一个用户声明的默认构造html" target="_blank">函数，这使得它非常重要。因为它只检查编译时间常数的值，所以可以用＜code＞static_assert＜/code＞替换它；或者将n更改为更合理的无符号类型，如std：：size_t，以消除对健全性检查的需要。

但是你仍然需要声明它是违约的

array() = default;

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

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

你可以写你自己的特点，针对你的类型进行专门化。但那会很奇怪；如果你的类型应该是琐碎的或POD，那么就让它成为琐碎的。