C++标准模板(STL)- 类型支持 (类型属性,检查类型是否拥有强结构相等性,std::has_strong_structural_equality)

类型特性

类型特性定义一个编译时基于模板的结构,以查询或修改类型的属性。

试图特化定义于 <type_traits> 头文件的模板导致未定义行为,除了 std::common_type 可依照其所描述特化。

定义于<type_traits>头文件的模板可以用不完整类型实例化,除非另外有指定,尽管通常禁止以不完整类型实例化标准库模板。

类型属性

检查类型是否拥有强结构相等性

复制代码
std::has_strong_structural_equality

|--------------------------------------------------------------|---|-----------|
| template< class T > struct has_strong_structural_equality; | | (C++20 起) |

T 拥有强结构相等性,则提供等于 true 的成员常量 value 。对于任何其他类型 value 为 false 。

模板形参

|---|---|--------|
| T | - | 要检查的类型 |

辅助变量模板

|----------------------------------------------------------------------------------------------------------------------------|---|-----------|
| template< class T > inline constexpr bool has_strong_structural_equality_v = has_strong_structural_equality<T>::value; | | (C++20 起) |

继承自 std::integral_constant

成员常量

|--------------|---------------------------------------------|
| value [静态] | 若 T 拥有强结构相等性则为 true ,否则为 false (公开静态成员常量) |

成员函数

|--------------------|---------------------------------|
| operator bool | 转换对象为 bool ,返回 value (公开成员函数) |
| operator() (C++14) | 返回 value (公开成员函数) |

成员类型

|--------------|---------------------------------------|
| 类型 | 定义 |
| value_type | bool |
| type | std::integral_constant<bool, value> |

注解

此类型特征可用于检查一个类型能否用作非类型模板形参。

调用示例

复制代码
#include <type_traits>
#include <cstring>
#include <algorithm>
#include <iostream>

namespace std
{
template<typename... Ts> struct make_void
{
    typedef void type;
};
template<typename... Ts> using void_t = typename make_void<Ts...>::type;

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

template <typename T>
struct has_strong_structural_equality<T, std::void_t<decltype(std::declval<T>() == std::declval<T>())>> : std::true_type
{
    template<typename, typename>
    static std::false_type test(...);

    using type = decltype(test<T, T>(0));
};

template<typename T, typename U>
using has_strong_structural_equality_t = typename has_strong_structural_equality<T, U>::type;

template <typename T>
const bool has_strong_structural_equality_v = has_strong_structural_equality<T>::value;
}


class E
{
public:
    template<class T> E(T&&) { }
};

class A {};
class B : public A {};
class C {};
class D
{
public:
    operator C()
    {
        return c;
    }  C c;
};

struct MyStruct
{
    int x;
    double y;
};

// 自定义比较运算符
bool operator==(const MyStruct& lhs, const MyStruct& rhs)
{
    return lhs.x == rhs.x && lhs.y == rhs.y;
}

int main()
{
    std::cout << std::boolalpha;

    std::cout << "std::has_strong_structural_equality<A>::value:       "
              << std::has_strong_structural_equality<A>::value << std::endl;
    std::cout << "std::has_strong_structural_equality<E>::value:       "
              << std::has_strong_structural_equality<E>::value << std::endl;
    std::cout << "std::has_strong_structural_equality<float>::value:   "
              << std::has_strong_structural_equality<float>::value << std::endl;
    std::cout << "std::has_strong_structural_equality<int>::value:     "
              << std::has_strong_structural_equality<int>::value << std::endl;
    std::cout << "std::has_strong_structural_equality<char>::value:    "
              << std::has_strong_structural_equality<char>::value << std::endl;
    std::cout << "std::has_strong_structural_equality<bool>::value:    "
              << std::has_strong_structural_equality<bool>::value << std::endl;
    std::cout << "std::has_strong_structural_equality<MyStruct>::value:"
              << std::has_strong_structural_equality<MyStruct>::value << std::endl;

    std::cout << "-----------------------------------------------" << std::endl;
    std::cout << std::endl;

    return 0;
}

输出

复制代码
std::has_strong_structural_equality<A>::value:       false
std::has_strong_structural_equality<E>::value:       false
std::has_strong_structural_equality<float>::value:   true
std::has_strong_structural_equality<int>::value:     true
std::has_strong_structural_equality<char>::value:    true
std::has_strong_structural_equality<bool>::value:    true
std::has_strong_structural_equality<MyStruct>::value:true
-----------------------------------------------
相关推荐
艾莉丝努力练剑21 分钟前
【LeetCode&数据结构】单链表的应用——反转链表问题、链表的中间节点问题详解
c语言·开发语言·数据结构·学习·算法·leetcode·链表
还债大湿兄2 小时前
《C++内存泄漏8大战场:Qt/MFC实战详解 + 面试高频陷阱破解》
c++·qt·mfc
倔强青铜34 小时前
苦练Python第18天:Python异常处理锦囊
开发语言·python
u_topian5 小时前
【个人笔记】Qt使用的一些易错问题
开发语言·笔记·qt
珊瑚里的鱼5 小时前
LeetCode 692题解 | 前K个高频单词
开发语言·c++·算法·leetcode·职场和发展·学习方法
AI+程序员在路上5 小时前
QTextCodec的功能及其在Qt5及Qt6中的演变
开发语言·c++·qt
xingshanchang5 小时前
Matlab的命令行窗口内容的记录-利用diary记录日志/保存命令窗口输出
开发语言·matlab
Risehuxyc6 小时前
C++卸载了会影响电脑正常使用吗?解析C++运行库的作用与卸载后果
开发语言·c++
AI视觉网奇6 小时前
git 访问 github
运维·开发语言·docker
不知道叫什么呀6 小时前
【C】vector和array的区别
java·c语言·开发语言·aigc