强加模板函数类型的约束,没有c 0x概念

发布时间：2020-12-16 10:38:42 所属栏目：百科来源：网络整理

导读：现在我们知道Concepts不是C 0x的一部分,我正在寻找对模板函数中的类型施加限制的方法. 这是两个例子：如果我们想确保给定的类型是整数,我们可以使用： template class N inline int f(const N n){ if ((N)0.1 != 0) // if type of N is floating-point err(

现在我们知道Concepts不是C 0x的一部分,我正在寻找对模板函数中的类型施加限制的方法.

这是两个例子：

如果我们想确保给定的类型是整数,我们可以使用：

template <class N> inline int f(const N n)
{
    if ((N)0.1 != 0)               // if type of N is floating-point
        err()

    ....
}

如果我们想确保给定类型是无符号整数,我们可以使用：

template <class N> inline int f(const N n)
{
    if ((N)-1 < (N)1)              // if type of N is floating-point / signed-integer
        err()

    ....
}

我正在寻找创造性的方法来检查额外的限制,这些限制会导致运行时失败,或者更好,在编译时(没有概念和没有RTTI).

有什么建议？

解决方法

通过使用类型特征,可以在编译时更好地处理您的检查.

首先：

STATIC_ASSERT(std::numeric_limits<N>::is_integer)

第二：

STATIC_ASSERT(not std::numeric_limits<M>::is_signed)

看看Boost Concept Check Library和Boost.StaticAssert.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!