C++标准模板(STL)- 类型支持 (类型属性,is_bounded_array,is_unbounded_array)

2023-11-06 14:20

本文主要是介绍C++标准模板(STL)- 类型支持 (类型属性,is_bounded_array,is_unbounded_array),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

类型特性

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

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

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

类型属性

继承自 std::integral_constant

成员常量

value

[静态]

T 为拥有已知边界的数组类型则为 true ,否则为 false
(公开静态成员常量)
成员函数

operator bool

转换对象为 bool ,返回 value
(公开成员函数)

operator()

(C++14)

返回 value
(公开成员函数)
成员类型
类型定义
value_typebool
typestd::integral_constant<bool, value>

 检查类型是否为有已知边界的数组类型

std::is_bounded_array

template< class T >
struct is_bounded_array;

(C++20 起)

检查 T 是否为拥有已知边界的数组类型。若 T 是有已知边界的数组则提供等于 true 的成员常量 value 。否则 value 等于 false 。

模板形参
T-要检查的类型
辅助变量模板

template< class T >
inline constexpr bool is_bounded_array_v = is_bounded_array<T>::value;

(C++20 起)
可能的实现
template<class T>
struct is_bounded_array: std::false_type {};template<class T, std::size_t N>
struct is_bounded_array<T[N]> : std::true_type {};
调用示例
#include <iostream>
#include <type_traits>namespace std
{
template<class T>
struct is_bounded_array: std::false_type {};template<class T, std::size_t N>
struct is_bounded_array<T[N]> : std::true_type {};
}class A {};int main()
{std::cout << std::boolalpha;std::cout << "std::is_bounded_array<std::string>::value:    "<< std::is_bounded_array<std::string>::value << std::endl;std::cout << "std::is_bounded_array<A>::value:              "<< std::is_bounded_array<A>::value << std::endl;std::cout << "std::is_bounded_array<A[]>::value:            "<< std::is_bounded_array<A[]>::value << std::endl;std::cout << "std::is_bounded_array<A[3]>::value:           "<< std::is_bounded_array<A[3]>::value << std::endl;std::cout << "std::is_bounded_array<float>::value:          "<< std::is_bounded_array<float>::value << std::endl;std::cout << "std::is_bounded_array<int>::value:            "<< std::is_bounded_array<int>::value << std::endl;std::cout << "std::is_bounded_array<int[]>::value:          "<< std::is_bounded_array<int[]>::value << std::endl;std::cout << "std::is_bounded_array<int[3]>::value:         "<< std::is_bounded_array<int[3]>::value << std::endl;return 0;
}
输出

检查类型是否为有未知边界的数组类型

std::is_unbounded_array

template< class T >
struct is_unbounded_array;

(C++20 起)

检查 T 是否为未知边界数组类型。若 T 是有未知边界的数组类型则提供等于 true, 的成员常量 value 。否则 value 等于 false 。

模板形参
T-要检查的类型
辅助变量模板

template< class T >
inline constexpr bool is_unbounded_array_v = is_unbounded_array<T>::value;

(C++20 起)
可能的实现
template<class T>
struct is_unbounded_array: std::false_type {};template<class T>
struct is_unbounded_array<T[]> : std::true_type {};
调用示例
#include <iostream>
#include <type_traits>namespace std
{
template<class T>
struct is_unbounded_array: std::false_type {};template<class T>
struct is_unbounded_array<T[]> : std::true_type {};
}class A {};int main()
{std::cout << std::boolalpha;std::cout << "std::is_unbounded_array<std::string>::value:    "<< std::is_unbounded_array<std::string>::value << std::endl;std::cout << "std::is_unbounded_array<A>::value:              "<< std::is_unbounded_array<A>::value << std::endl;std::cout << "std::is_unbounded_array<A[]>::value:            "<< std::is_unbounded_array<A[]>::value << std::endl;std::cout << "std::is_unbounded_array<A[3]>::value:           "<< std::is_unbounded_array<A[3]>::value << std::endl;std::cout << "std::is_unbounded_array<float>::value:          "<< std::is_unbounded_array<float>::value << std::endl;std::cout << "std::is_unbounded_array<int>::value:            "<< std::is_unbounded_array<int>::value << std::endl;std::cout << "std::is_unbounded_array<int[]>::value:          "<< std::is_unbounded_array<int[]>::value << std::endl;std::cout << "std::is_unbounded_array<int[3]>::value:         "<< std::is_unbounded_array<int[3]>::value << std::endl;return 0;
}
输出

这篇关于C++标准模板(STL)- 类型支持 (类型属性,is_bounded_array,is_unbounded_array)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/357127

相关文章

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

python删除xml中的w:ascii属性的步骤

《python删除xml中的w:ascii属性的步骤》使用xml.etree.ElementTree删除WordXML中w:ascii属性,需注册命名空间并定位rFonts元素,通过del操作删除属... 可以使用python的XML.etree.ElementTree模块通过以下步骤删除XML中的w:as

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决

C++11委托构造函数和继承构造函数的实现

《C++11委托构造函数和继承构造函数的实现》C++引入了委托构造函数和继承构造函数这两个重要的特性,本文主要介绍了C++11委托构造函数和继承构造函数的实现,具有一定的参考价值,感兴趣的可以了解一下... 目录引言一、委托构造函数1.1 委托构造函数的定义与作用1.2 委托构造函数的语法1.3 委托构造函

C++11作用域枚举(Scoped Enums)的实现示例

《C++11作用域枚举(ScopedEnums)的实现示例》枚举类型是一种非常实用的工具,C++11标准引入了作用域枚举,也称为强类型枚举,本文主要介绍了C++11作用域枚举(ScopedEnums... 目录一、引言二、传统枚举类型的局限性2.1 命名空间污染2.2 整型提升问题2.3 类型转换问题三、C

C++链表的虚拟头节点实现细节及注意事项

《C++链表的虚拟头节点实现细节及注意事项》虚拟头节点是链表操作中极为实用的设计技巧,它通过在链表真实头部前添加一个特殊节点,有效简化边界条件处理,:本文主要介绍C++链表的虚拟头节点实现细节及注... 目录C++链表虚拟头节点(Dummy Head)一、虚拟头节点的本质与核心作用1. 定义2. 核心价值二

C++ 检测文件大小和文件传输的方法示例详解

《C++检测文件大小和文件传输的方法示例详解》文章介绍了在C/C++中获取文件大小的三种方法,推荐使用stat()函数,并详细说明了如何设计一次性发送压缩包的结构体及传输流程,包含CRC校验和自动解... 目录检测文件的大小✅ 方法一:使用 stat() 函数(推荐)✅ 用法示例:✅ 方法二:使用 fsee