C++ decltype用法举例说明

1.什么是decltype

decltype是C++11新增的一个关键字，和auto的功能一样，用来在编译时期进行自动类型推导。引入decltype是因为auto并不适用于所有的自动类型推导场景，在某些特殊情况下auto用起来很不方便，甚至压根无法使用。

对于内置类型的对象，使用decltype很直观，但当参数为复合类型的时候就应该注意一些使用细节问题。

auto varName=value;
decltype(exp) varName=value;
  • auto根据=右边的初始值推导出变量的类型，decltype根据exp表达式推导出变量的类型，跟=右边的value没有关系
  • auto要求变量必须初始化，这是因为auto根据变量的初始值来推导变量类型的，如果不初始化，变量的类型也就无法推导
  • 而decltype不要求，因此可以写成如下形式

decltype(exp) varName;

原则上将，exp只是一个普通的表达式，它可以是任意复杂的形式，但必须保证exp的结果是有类型的，不能是void；如exp为一个返回值为void的函数时，exp的结果也是void类型，此时会导致编译错误

1.1decltype的几种形式

int x = 0;
decltype(x) y = 1;           // y -> int
decltype(x + y) z = 0;       // z -> int
const int& i = x;
decltype(i) j = y;           // j -> const int &
const decltype(z) * p = &z;  // *p  -> const int, p  -> const int *
decltype(z) * pi = &z;       // *pi -> int      , pi -> int *
decltype(pi)* pp = π      // *pp -> int *    , pp -> int * *

2.推导规则

decltype的推导规则可以简单概述如下：

  • 如果exp是一个不被括号()包围的表达式，或者是一个类成员访问表达式，或者是一个单独的变量，decltype(exp)的类型和exp一致
  • 如果exp是函数调用，则decltype(exp)的类型就和函数返回值的类型一致
  • 如果exp是一个左值，或被括号()包围，decltype(exp)的类型就是exp的引用，假设exp的类型为T，则decltype(exp)的类型为T&

规则1示例：

#include<string>
#include<iostream>
using namespace std;

class A{
public:
    static int total;
    string name;
    int age;
    float scores;
}

int A::total=0;

int main()
{
int n=0;
const int &r=n;
A a;
decltype(n) x=n;    //n为Int，x被推导为Int
decltype(r) y=n;    //r为const int &，y被推导为const int &
decltype(A::total)  z=0;  ///total是类A的一个int 类型的成员变量，z被推导为int
decltype(A.name) url="www.baidu.com";//url为stringleix
return 0;
}

规则2示例：

int& func1(int ,char);//返回值为int&
int&& func2(void);//返回值为int&&
int func3(double);//返回值为int

const int& func4(int,int,int);//返回值为const int&
const int&& func5(void);//返回值为const int&&

int n=50;
decltype(func1(100,'A')) a=n;//a的类型为int&
decltype(func2()) b=0;//b的类型为int&&
decltype(func3(10.5)) c=0;//c的类型为int

decltype(func4(1,2,3)) x=n;//x的类型为const int&
decltype(func5()) y=0;//y的类型为const int&&

exp中调用函数时需要带上括号和参数，但这仅仅是形式，并不会真的去执行函数代码

规则3示例：

class A{
public:
   int x;
}

int main()
{
const A obj;
decltype(obj.x) a=0;//a的类型为int
decltype((obj.x)) b=a;//b的类型为int&

int n=0,m=0;
decltype(m+n) c=0;//n+m得到一个右值，c的类型为int
decltype(n=n+m) d=c;//n=n+m得到一个左值，d的类型为int &
return 0;
}

左值：表达式执行结束后依然存在的数据，即持久性数据；右值是指那些在表达式执行结束不再存在的数据，即临时性数据。一个区分的简单方法是：对表达式取地址，如果编译器不报错就是左值，否则为右值

3.实际应用

类的静态成员可以使用auto， 对于类的非静态成员无法使用auto，如果想推导类的非静态成员的类型，只能使用decltype。

示例如下：

template<typename T>
class A
{
private :
   decltype(T.begin()) m_it;
   //typename T::iterator m_it;   //这种用法会出错
public:
void func(T& container)
{
   m_it=container.begin();
}
};

int main()
{

const vector<int> v;
A<const vector<int>> obj;
obj.func(v);
return 0;
}

到此这篇关于C++ decltype用法举例说明的文章就介绍到这了,更多相关C++ decltype内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！

赞 (0)

相关推荐

  • C++ decltype类型说明符

    1 基本语法 decltype 类型说明符生成指定表达式的类型.在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值. 语法为: decltype( expression ) 编译器使用下列规则来确定expression 参数的类型. 如果 expression 参数是标识符或类成员访问,则 decltype(expression) 是 expression 命名的实体的类型.如果不存在此类实体或 expression 参数命名一组重载函数,则编译器将生成错误消息. 如果 expr

  • C++11新特性中auto 和 decltype 区别和联系

    C++11新特性中auto 和 decltype 区别和联系 一. auto简介 编程时候常常需要把表达式的值付给变量,需要在声明变量的时候清楚的知道变量是什么类型.然而做到这一点并非那么容易(特别是模板中),有时候根本做不到.为了解决这个问题,C++11新标准就引入了auto类型说明符,用它就能让编译器替我们去分析表达式所属的类型.和原来那些只对应某种特定的类型说明符(例如 int)不同.auto 让编译器通过初始值来进行类型推演.从而获得定义变量的类型,所以说 auto 定义的变量必须有初始

  • c++ decltype关键字的用法

    1. decltype关键字的用途是什么 给定变量的名称或者表达式,decltype返回变量或者表达式的类型.如下所示: const int i = 0; // decltype(i) is const int bool f(const Widget& w); // decltype(w) is const Widget&,decltype(f) is bool(const Widget&) struct Point { int x, y; // decltype(Point::x

  • C++11特性小结之decltype、类内初始化、列表初始化返回值

    作用:返回表达式或变量的类型 返回值规则: 若e是一个左值(lvalue,即"可寻址值"),则decltype(e)将返回T& 若e是一个临终值(xvalue),则返回值为T&& 若e是一个纯右值(prvalue),则返回值为T decltype()不会执行括号内的表达式,decltype返回的类型是用于声明的,不能用于单纯的判断.比如decltype(a)==int,是不可以的,只能是在定义新的变量.返回值的地方使用: int a=1; decltype(a)

  • C++ decltype用法举例说明

    1.什么是decltype decltype是C++11新增的一个关键字,和auto的功能一样,用来在编译时期进行自动类型推导.引入decltype是因为auto并不适用于所有的自动类型推导场景,在某些特殊情况下auto用起来很不方便,甚至压根无法使用. 对于内置类型的对象,使用decltype很直观,但当参数为复合类型的时候就应该注意一些使用细节问题. auto varName=value; decltype(exp) varName=value; auto根据=右边的初始值推导出变量的类型,

  • 浅谈Vue.js中ref ($refs)用法举例总结

    本文介绍了Vue.js中ref ($refs)用法举例总结,分享给大家,具体如下: 看Vue.js文档中的ref部分,自己总结了下ref的使用方法以便后面查阅. 一.ref使用在外面的组件上 HTML 部分 <div id="ref-outside-component" v-on:click="consoleRef"> <component-father ref="outsideComponentRef"> </co

  • python中的 zip函数详解及用法举例

    python中zip()函数用法举例 定义:zip([iterable, ...]) zip()是Python的一个内建函数,它接受一系列可迭代的对象作为参数,将对象中对应的元素打包成一个个tuple(元组),然后返回由这些tuples组成的list(列表).若传入参数的长度不等,则返回list的长度和参数中长度最短的对象相同.利用*号操作符,可以将list unzip(解压),看下面的例子就明白了: 示例1 x = [1, 2, 3] y = [4, 5, 6] z = [7, 8, 9] x

  • ES6中async函数与await表达式的基本用法举例

    目录 一.async 函数 二.await表达式 三.async await ajax 基础使用 补充:async await ajax使用 总结 一.async 函数 概念: async 是一个修饰符,async 定义的函数会默认的返回一个Promise对象resolve(成功值)的值,因此对async函数可以直接进行then操作,返回的值即为then方法的传入函数. 举例: async function demo(){ // 1:当返回值不是promise对象 当调用函数的时候就是已成功的值

  • Python中zip()函数的简单用法举例

    Python中zip()函数的简单用法举例

    定义:zip([iterable, ...]) zip()是Python的一个内建函数,它接受一系列可迭代的对象作为参数,将对象中对应的元素打包成一个个tuple(元组),然后返回由这些tuples组成的list(列表).若传入参数的长度不等,则返回list的长度和参数中长度最短的对象相同.利用*号操作符,可以将list unzip(解压),看下面的例子就明白了: >>> a = [1,2,3] >>> b = [4,5,6] >>> c = [4,5

  • mysql递归函数with recursive的用法举例

    目录 AS 用法: 例子1: 例子2: with(Common Table Expressions/CTE)用法: 语法: 例子1: 例子2: 例子3: with的合法用法: 简单递归用法: 例子1:递归得到依次递增的序列: 例子2:递归得到不断复制的字符串 例子3:生成斐波那契数列 语法说明: UNION ALL与UNION DISTINCT UNION ALL: limit控制递归次数 限制递归次数/时间: 补充:MySql8使用WITH RECURSIVE进行递归查询下级节点数据 总结 A

  • 举例讲解Java的JSON类库GSON的基本用法

    GSON这个Java类库可以把Java对象转换成JSON,也可以把JSON字符串转换成一个相等的Java对象.Gson支持任意复杂Java对象包括没有源代码的对象. 其他的json解析库还有json-lib:Jackson:com.alibaba.fastjson 小编还是喜欢Google的Gson. 一.使用场景: java对象和json字符串的相互转换:日志输出. 例如: Logger logger = Logger.getLogger(CommonAction.class); Gson g

  • ThinkPHP模板判断输出Present标签用法详解

    ThinkPHP模板的present标签用于判断模板变量是否已经赋值. ThinkPHP模板引擎的present标签用来判断模板变量是否已经赋值,其功能相当于PHP中的isset()函数行为,格式如下: <present name="变量名">要输出的内容</present> 用法举例如下: <present name="username">{$username} 你好!</present> 该例子等同于: if(is

  • ThinkPHP模板Switch标签用法示例

    ThinkPHP模板中的switch标签用于在模板中根据不同情况输出不同的值. ThinkPHP模板引擎支持switch判断,可根据不同条件输出不同的结果,使用格式如下: <switch name="变量名" > <case value="值1">输出内容1</case> <case value="值2">输出内容2</case> <default />默认情况 </s

  • Zend Framework教程之视图组件Zend_View用法详解

    本文实例讲述了Zend Framework教程之视图组件Zend_View用法.分享给大家供大家参考,具体如下: Zend_View是Zend Framework的视图组件,MVC中的视图层. Zend_View也是应用的直接对用户展示的页面.这里介绍一下Zend_View的实现类,以及如何和Controller结合在一起的. View的实现 Zend_View的实现主要是通过如下目录的类实现: root@coder-671T-M:/library/Zend# tree | grep View.

随机推荐