C++面试基础系列-decltype

WeSiGJ

已于 2024-09-10 09:06:40 修改

阅读量846

点赞数 32

分类专栏： C++ 文章标签： c++ 面试 java

于 2024-08-23 08:26:07 首次发布

本文链接：https://blog.csdn.net/wesigj/article/details/141447964

版权

C++ 专栏收录该内容

86 篇文章 8 订阅

订阅专栏

系列文章目录

总目录链接

文章目录

系列文章目录
- 总目录链接
C++面试基础系列-decltype

C++面试基础系列-decltype

Overview

在C++中，decltype 是一个类型推导关键字，它用于确定表达式的类型。decltype 可以在编译时确定一个变量或表达式的类型，而不需要显式地声明类型。这在模板编程和泛型编程中非常有用，尤其是在C++11及以后的版本中。

1.decltype关键点

以下是 decltype 的一些关键点：

基本用法：
- decltype 的基本语法是 decltype(表达式)，它返回表达式的类型。
引用修饰符：
- 如果表达式是一个左值，decltype 将返回带有引用修饰符的类型（例如 int&）。如果表达式是一个右值，返回的类型将不包含引用修饰符（例如 int）。
数组和函数类型：
- decltype 不会从数组或函数类型中推导出 pointer 类型，而是保持原始类型（例如 int[] 或 void()）。
结合 auto 关键字：
- decltype 经常与 auto 关键字结合使用，以实现类型推导。
模板参数推导：
- 在模板参数推导中，decltype 可以用于推导出模板参数的类型。
lambda 表达式：
- 对于 lambda 表达式，decltype 推导出的类型是 std::function 的实例类型。

示例代码

#include <iostream>
#include <vector>
#include <functional>
#include <typeinfo> // 需要包含这个头文件来使用 typeid

void exampleFunction(int& i) {
    std::cout << "Type of i: " << typeid(i).name() << std::endl;
    // 注意：这里不需要使用 decltype，因为 i 已经是 int& 类型
}

int main() {
    int a = 10;
    double b = 3.14;

    std::cout << "Type of a: " << typeid(a).name() << std::endl;
    // decltype(a) 是不必要的，因为 a 已经是一个 int 类型的变量

    auto x = a; // 使用 auto 推导 x 的类型为 int
    std::cout << "Type of x: " << typeid(x).name() << std::endl;

    // 移除 exampleFunction 的调用，因为它没有返回值
    // auto y = exampleFunction(a); // 这行是错误的

    // 代码中 auto y = exampleFunction(a); 这一行存在问题，因为 exampleFunction 函数没有返回值，所以尝试将一个没有返回值的函数调用赋值给变量 y 是不正确的。auto 关键字在这里会推导出 void 类型，因为 exampleFunction 的返回类型是 void。

    // decltype 推导 lambda 表达式的类型
    auto lambda = [](int i) { return i * 2; };
    std::cout << "Type of lambda: " << typeid(lambda).name() << std::endl;

    return 0;
}

在这个示例中，decltype 用于推导不同表达式的类型。注意，typeid 用于输出类型信息，它需要包含 <typeinfo> 头文件。decltype 在这里用于推导变量 a 的类型，以及 auto 变量 x 的类型。对于 exampleFunction 函数，decltype 推导了函数参数 i 的类型。最后，对于 lambda 表达式，decltype 推导出了一个 std::function 类型。

请注意，typeid(lambda).name() 可能不会返回一个有用的字符串，因为 lambda 表达式产生的函数对象类型通常不是多态类型，name() 方法对于非多态类型可能返回空指针。如果你想要打印 lambda 表达式的类型，你可能需要使用其他方法，例如直接使用 std::cout 来输出类型信息。