C++11系列学习之类型推导

 更新时间:2022年04月25日 09:13:13   作者:小杰编程  
这篇文章主要介绍了C++11系列学习之类型推导,文章基于C++的相关资料展开对主题的详细内容介绍,具有一定的参考价值需要的小伙伴可参考一下

auto类型推导

C++旧标准:

具有自动存储的局部变量

auto int i = 0 //C++98

实际上我们一般不这样写,因为非static变量默认就是具有自动存储的局部变量

C++11:

让编译器自动推断出这个变量的类型,而不需要显式指定类型

auto基本用法

演示:

auto x = 5 //x --> int
auto pi = new auto(1) //pi --> int*
const auto *v = &x, u = 6 //v --> const int* 、 u --> const int
static auto y = 0.0 //y --> double
int x = 0
auto * a = &x //a --> int* , auto为int
auto b = &x //b --> int* , auto 为 int*
auto c = x //c --> int& , auto为int
auto d = c //d --> int , auto为int
const auto e = x //e --> const int
auto f = e //f --> int
const auto& g = x //g --> const int&
auto& h = g //h --> const int&

上面就是通常会出现的所有情况,其实可以类比模板参数自动推导

auto 不能用于函数参数

auto 推导规则

黄金法则

  • 当不声明为指针或引用时,auto的推到结果和初始化表达式抛弃引用和cv限定符(cosnt 和 volatile,下同)后类型一致
  • 当声明为指针或引用时,auto的推到结果将保持初始化表达式的cv属性

auto 的限制

  • 不能用于函数参数
  • 不支持非静态成员变量的初始化
  • main函数中auto不会被推导为数组类型,而是指针类型

auto 适用场景

场景一:for循环中用来遍历容器

for(auto it = resultMap.begin(); it != resultMap.end(); ++i){
//do something
}

场景二:用于不知道如何定义变量,多与泛型有关

class Foo{
public:
static int get(void)
{
return 0;
}
};
class Bar{
public:
static const char* get(void)
{
return "0";
}
};
template<class A>
void func(void)
{
auto val = A::get();
// ...
}

decltype 类型推导

decltype( exp )

exp 表示一个表达式
从格式上来看,decltype像sizeof ,但其用来在编译时推导出一个表达式的类型

decltype 基本用法

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 &
cosnt decltype(z) *p = &z //*p -> const int, p -> const int *
decltype(z) * pi = &z //*pi -> int , pi -> int*
decltype(pi) * pp = &pi //*pp -> int * ,pp -> int **

decltype和&结合的推导结果,与引用折叠规则有关,将在本系列后续中详细讲解

decltype 推导规则

黄金法则:

  • exp是标识符、类访问表达式,decltype(exp) 和exp的类型一致
  • exp是寒素调用,decltype(exp) 和返回值 的类型一致
  • 其他情况,若exp是个左值,则 ecltype(exp) 是exp类型的左值引用,否则和exp类型一致

decltype 适用场景

decltype适用于泛型相关

场景一:

标准库中有些类型的定义

typedef decltype(nullptr) nullptr_t
typedef decltype(sizeof(0)) size_t
`

场景二:

通过变量表达式抽取变量类型实现简写

vector<int> v;
decltype(v):value_type i = 0

场景三:

template<class ContainerT>
class Foo
{
decltype(ContainerT().begin()) it_;
public:
void func(ContarinerT& container)
{
it_ = container.begin();
}
// ...
}

auto 和 decltype结合——返回类型后置

即通过两个结合起来,使得语法更加灵活便捷

int & foo(int& i);
float foo(float& f)
template<typename T>
auto fun(T& val) -> decltype(foo(val))
{
return foo(val);
}

小结

autodecltype的出现不仅弥补了C++旧版标准的不足,也大大解放了开发人员的生产力,提升了效率。但是我们在使用的时候仍然需要注意,不能滥用,否则会出现我们期望得到的类型和最终程序的类型不一致,导致一些意想不到的BUG,给我维护增加了成本,适用和巧用才是正解

到此这篇关于C++11系列学习之类型推导的文章就介绍到这了,更多相关C++11类型推导内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

相关文章

  • C++中设计一个类时的注意事项分享

    C++中设计一个类时的注意事项分享

    这篇文章主要来和大家分享一下C++中,设计一个类要注意哪些东西,这往往也是C++面试时会考到的问题,感兴趣的小伙伴可以跟随小编一起学习一下
    2023-06-06
  • C++11中delete和default的用法详解

    C++11中delete和default的用法详解

    这篇文章主要为大家详细介绍了C++11中delete和default的具体用法,文中的示例代码简洁易懂,具有一定的学习价值,感兴趣的小伙伴可以了解下
    2023-08-08
  • C++类型转换归纳总结

    C++类型转换归纳总结

    这篇文章主要介绍了C++类型转换归纳总结,通过本文可以加深读者对于C++变量类型及其相互转换方法的理解,需要的朋友可以参考下
    2014-07-07
  • C++中template方法undefined reference to的问题解决

    C++中template方法undefined reference to的问题解决

    Undefined reference to 错误:这类错误是在连接过程中出现的,本文就来介绍一下C++中template方法undefined reference to的问题解决,具有一定的参考价值,感兴趣的可以了解一下
    2024-03-03
  • C++实现通讯录管理系统设计

    C++实现通讯录管理系统设计

    这篇文章主要为大家详细介绍了C++实现通讯录管理系统设计,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2022-06-06
  • C++中CSimpleList的实现与测试实例

    C++中CSimpleList的实现与测试实例

    这篇文章主要介绍了C++中CSimpleList的实现与测试实例,较为详细的讲述了C++列表类的实现方法,需要的朋友可以参考下
    2014-10-10
  • C++实现DES加密算法实例解析

    C++实现DES加密算法实例解析

    这篇文章主要介绍了C++实现DES加密算法实例解析,是一个很实用的功能,需要的朋友可以参考下
    2014-08-08
  • centos 7 vscode cmake 编译c++工程的教程详解

    centos 7 vscode cmake 编译c++工程的教程详解

    这篇文章给大家介绍了centos 7 使用vscode+cmake配置简单c++项目的方法,本文通过图文并茂的形式给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧
    2020-05-05
  • ReSharper 的安装使用详细教程

    ReSharper 的安装使用详细教程

    resharper安装教程是关于vs2012一个非常好用的插件的安装教程,建议大家尝试安装,今天通过本教程帮助大家学习ReSharper 的安装使用详细教程,感兴趣的朋友一起看看吧
    2021-06-06
  • c/c++ Error: redefinition of 'xxx'的问题及解决方法

    c/c++ Error: redefinition of 'xxx'的问题及解决方法

    两个类/文件同时引用定义ReplyInfo的头文件,会造成头文件中定义重复定义,本文给大家分享c/c++ Error: redefinition of ‘xxx’ 的问题及解决方法,感兴趣的朋友一起看看吧
    2023-08-08

最新评论