• Index

类型推导和类型提取

Reads: 16

类型推导

写C++代码时,经常遇到特别长的数据类型,由于这个原因,C++新增类型推导功能auto

用法:

auto a = 0;

类型推导,就是由编译器在编译期推导出=右边的数据类型,为=左边的变量决定数据类型。例如上面例子,0默认是int类型,那么变量a的数据类型就是int

类型提取

有时候,不能使用类型推导但还是要用某个变量的类型作为新变量的类型,这个时候就可以用关键字deltype

类型提取经常与模板配合使用,模板是C++的利器,将在后续讲解。

用法:

auto a = 0;
decltype(a) b = 10;

从变量a中提取出数据类型,即int,然后作为变量b的数据类型,所以变量b的数据类型也是int

提示:

当使用VS和VS Code的时候,用鼠标指着变量,将可以看到变量的数据类型。

基础示例

举个完整的代码例子:

#include <iostream> // std::cout std::endl std::boolalpha
#include <type_traits> // std::is_same

int main(void)
{
    const auto value = 0ul; // 在类型中提取出类型作为变量的类型, const unsigned long
    std::cout << std::boolalpha << "value的类型是不是const unsigned long?";
    std::cout << std::is_same<decltype(value), const unsigned long>::value << std::endl;
    return 0;
}

输出结果:

value的类型是不是const unsigned long?true

基础讲解

由于0ulunsigned long的类型,然后再配一个const关键字,所以变量value的类型就是const unsigned long

const auto value = 0ul;

std::is_same可以用来判断两个数据类型是不是一样,用法如下:

std::is_same<数据类型1, 数据类型2>::value

当两个数据类型相同时,上面的值就是true;当两个数据类型不相同时,上面的值就是false

使用decltype提取出变量value的数据类型:decltype(value),然后和const unsigned long进行比较,最后输出结果是true,证明变量value的数据类型就是const unsigned long

另外,std::is_same使用前需要引入type_traits标准库。

补充知识(了解即可)

  1. 关键字auto很久以前,只要声明变量都要在数据类型前面添加auto。事实上,很久以前就可以不加,auto相当一个没用的关键字。所以从C++11起,废弃了这个没用的功能。
  2. 从C++11起,关键字auto被赋予类型推导的功能。
  3. 关键字decltype从C++11开始加入。

Comments

Make a comment

  • Index

WARNING: You are using an old browser that does not support HTML5. Please choose a modern browser (Chrome / Microsoft Edge / Firefox / Sarafi) to get a good experience.