C 11静态断言是否存在可比性类型？

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

导读：如何在C 11中使用static_assert模板类型是EqualityComparable概念？解决方法您可以使用以下类型特征： #include type_traitstemplatetypename T,typename = voidstruct is_equality_comparable : std::false_type{ };templatetypename Tstruct is_equality

如何在C 11中使用static_assert模板类型是EqualityComparable概念？

解决方法

您可以使用以下类型特征：

#include <type_traits>

template<typename T,typename = void>
struct is_equality_comparable : std::false_type
{ };

template<typename T>
struct is_equality_comparable<T,typename std::enable_if<
        true,decltype(std::declval<T&>() == std::declval<T&>(),(void)0)
        >::type
    > : std::true_type
{
};

您将以这种方式测试：

struct X { };
struct Y { };

bool operator == (X const&,X const&) { return true; }

int main()
{
    static_assert(is_equality_comparable<int>::value,"!"); // Does not fire
    static_assert(is_equality_comparable<X>::value,"!"); // Does not fire
    static_assert(is_equality_comparable<Y>::value,"!"); // Fires!
}

这是一个live example.

（编辑：李大同）

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