可变参数模板和类型特征

发布于 2024-11-14 11:31:06 字数 283 浏览 4 评论 0原文

我目前有一个可变参数函数,它接受任意数量的任意类型的参数(废话),但是,我想将类型限制为仅 POD 的类型,并且大小与 void* 的大小相同或更小。

void* 检查很简单,我只是这样做了:

static_assert(sizeof...(Args) <= sizeof(PVOID), "Size of types must be <= memsize.");

但是我不知道如何对 std::is_pod 执行相同的操作。

这可以吗?

I currently have a variadic function which takes an arbitrary number of arguments of arbitrary types (duh), however, I want to restrict the types to ones which are POD only, and also the same size or smaller than that of a void*.

The void* check was easy, I just did this:

static_assert(sizeof...(Args) <= sizeof(PVOID), "Size of types must be <= memsize.");

However I can't work out how to do the same for std::is_pod.

Is this possible to do?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

巡山小妖精 2024-11-21 11:31:07

你可以写一个元函数来判断是否都是POD类型:

template <typename... Ts>
struct all_pod;

template <typename Head, typename... Tail>
struct all_pod<Head, Tail...>
{
    static const bool value = std::is_pod<Head>::value && all_pod<Tail...>::value;
};

template <typename T>
struct all_pod<T>
{
    static const bool value = std::is_pod<T>::value;
};

然后

static_assert( all_pod<Args...>::value, "All types must be POD" );

You can write a meta-function to determine if all are POD types:

template <typename... Ts>
struct all_pod;

template <typename Head, typename... Tail>
struct all_pod<Head, Tail...>
{
    static const bool value = std::is_pod<Head>::value && all_pod<Tail...>::value;
};

template <typename T>
struct all_pod<T>
{
    static const bool value = std::is_pod<T>::value;
};

then

static_assert( all_pod<Args...>::value, "All types must be POD" );
~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文