C++标准模板(STL)- 类型支持 (类型特性,is_pointer,is_lvalue_reference,is_rvalue_reference)

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

类型特性

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

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

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

类型属性

定义于头文件 <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_pointer

template< class T >
struct is_pointer;

(C++11 起)

检查 T 是否为指向对象指针或指向函数指针(但不是指向成员/成员函数指针)。若 T 是对象/函数指针类型,则提供等于 true 的成员常量 value 。否则, value 等于 false 。

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

template< class T >
inline constexpr bool is_pointer_v = is_pointer<T>::value;

(C++17 起)
可能的实现 
template< class T > struct is_pointer_helper     : std::false_type {};
template< class T > struct is_pointer_helper<T*> : std::true_type {};
template< class T > struct is_pointer :
is_pointer_helper<typename std::remove_cv<T>::type> {};

检查类型是否为左值引用

std::is_lvalue_reference

template< class T >
struct is_lvalue_reference;

(C++11 起)

检查 T 是否为左值引用类型。若 T 是左值引用类型,则提供等于 true 的成员常量 value ,否则, value 等于 false 。

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

template< class T >
inline constexpr bool is_lvalue_reference_v = is_lvalue_reference<T>::value;

(C++17 起)
可能的实现
template<class T> struct is_lvalue_reference     : std::false_type {};
template<class T> struct is_lvalue_reference<T&> : std::true_type {};

检查类型是否为右值引用

std::is_rvalue_reference

template< class T >
struct is_rvalue_reference;

(C++11 起)

检查 T 是否为右值引用类型。若 T 是右值引用类型,则提供等于 true 的成员常量 value ,否则, value 等于 false 。

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

template< class T >
inline constexpr bool is_rvalue_reference_v = is_rvalue_reference<T>::value;

(C++17 起)
可能的实现
template <class T> struct is_rvalue_reference      : std::false_type {};
template <class T> struct is_rvalue_reference<T&&> : std::true_type {};

调用示例

#include <iostream>
#include <type_traits>class A {};int main()
{std::cout << std::boolalpha;std::cout << "std::is_pointer<A>::value:            "<< std::is_pointer<A>::value << std::endl;std::cout << "std::is_pointer<A *>::value:          "<< std::is_pointer<A *>::value << std::endl;std::cout << "std::is_pointer<A &>::value:          "<< std::is_pointer<A &>::value << std::endl;std::cout << "std::is_pointer<int>::value:          "<< std::is_pointer<int>::value << std::endl;std::cout << "std::is_pointer<int *>::value:        "<< std::is_pointer<int *>::value << std::endl;std::cout << "std::is_pointer<int **>::value:       "<< std::is_pointer<int **>::value << std::endl;std::cout << "std::is_pointer<int[10]>::value:      "<< std::is_pointer<int[10]>::value << std::endl;std::cout << "std::is_pointer<std::nullptr_t>::value:"<< std::is_pointer<std::nullptr_t>::value << std::endl;std::cout << std::endl;std::cout << "std::is_lvalue_reference<A>::value:   "<< std::is_lvalue_reference<A>::value << std::endl;std::cout << "std::is_lvalue_reference<A&>::value:  "<< std::is_lvalue_reference<A&>::value << std::endl;std::cout << "std::is_lvalue_reference<A&&>::value: "<< std::is_lvalue_reference < A&& >::value << std::endl;std::cout << "std::is_lvalue_reference<int>::value: "<< std::is_lvalue_reference<int>::value << std::endl;std::cout << "std::is_lvalue_reference<int&>::value:    "<< std::is_lvalue_reference<int&>::value << std::endl;std::cout << "std::is_lvalue_reference<int&&>::value:   "<< std::is_lvalue_reference < int&& >::value << std::endl;std::cout << std::endl;std::cout << "std::is_rvalue_reference<A>::value:   "<< std::is_rvalue_reference<A>::value << std::endl;std::cout << "std::is_rvalue_reference<A&>::value:  "<< std::is_rvalue_reference<A&>::value << std::endl;std::cout << "std::is_rvalue_reference<A&&>::value: "<< std::is_rvalue_reference < A&& >::value << std::endl;std::cout << "std::is_rvalue_reference<int>::value: "<< std::is_rvalue_reference<int>::value << std::endl;std::cout << "std::is_rvalue_reference<int&>::value:    "<< std::is_rvalue_reference<int&>::value << std::endl;std::cout << "std::is_rvalue_reference<int&&>::value:   "<< std::is_rvalue_reference < int&& >::value << std::endl;std::cout << std::endl;return 0;
}
输出

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



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

相关文章

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

poj3468(线段树成段更新模板题)

题意:包括两个操作:1、将[a.b]上的数字加上v;2、查询区间[a,b]上的和 下面的介绍是下解题思路: 首先介绍  lazy-tag思想:用一个变量记录每一个线段树节点的变化值,当这部分线段的一致性被破坏我们就将这个变化值传递给子区间,大大增加了线段树的效率。 比如现在需要对[a,b]区间值进行加c操作,那么就从根节点[1,n]开始调用update函数进行操作,如果刚好执行到一个子节点,

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

poj 1258 Agri-Net(最小生成树模板代码)

感觉用这题来当模板更适合。 题意就是给你邻接矩阵求最小生成树啦。~ prim代码:效率很高。172k...0ms。 #include<stdio.h>#include<algorithm>using namespace std;const int MaxN = 101;const int INF = 0x3f3f3f3f;int g[MaxN][MaxN];int n

uva 1342 欧拉定理(计算几何模板)

题意: 给几个点,把这几个点用直线连起来,求这些直线把平面分成了几个。 解析: 欧拉定理: 顶点数 + 面数 - 边数= 2。 代码: #include <iostream>#include <cstdio>#include <cstdlib>#include <algorithm>#include <cstring>#include <cmath>#inc

uva 11178 计算集合模板题

题意: 求三角形行三个角三等分点射线交出的内三角形坐标。 代码: #include <iostream>#include <cstdio>#include <cstdlib>#include <algorithm>#include <cstring>#include <cmath>#include <stack>#include <vector>#include <