C 语言

关注公众号 jb51net

关闭
首页 > 软件编程 > C 语言 > C++ decltype类型推导

详解C++17中的decltype类型推导

作者:@一鸣惊人

这篇文章主要介绍了C++17中的decltype类型推导,本文从泛型编程中经常会遇到2个常见问题入手,循序渐进的分析了从C++11开始引入的关键字decltype,需要的朋友可以参考下

引子

在编程过程中,有时我们需要根据表达式的类型来声明变量,尤其是在涉及模板编程和泛型编程时,经常会遇到这样的问题:(1)、有些泛型类型由模板参数决定,但是却很难或根本无法表示;(2)、需要在编译时确定变量的类型。

除此之外,我们知道auto在自动类型推导时,会忽略类型的修饰符。如此会导致auto推导的类型会与原表达式的类型存在不一致问题。

为了更好的解决这些问题,从C++11标准开始,C++引入了decltype关键字,其作用是让编译器在编译时识别表达式的类型,方便的的进行类型推导,同时也解决泛型编程和模板编程中变量类型表示的问题。

标准演进

decltype是declare type的缩写。C++11标准引入了decltype的核心功能和推导规则,C++11以后的各标准都本别对C++11自定的规则进行扩容和改进。具体演进过程如下所示:

C++11

引入关键字,并引入decltype的核心功能,用于根据表达式推导出变量的类型;当使用decltype(e) 推导表达式 e(类型为T)的类型时,C++11标准定义decltype的推导规则如下:

为了让大家更形象的理解这5条规则,下面我们通过一些示例来说明这五条推导规则。

示例 1: 未加括号标识符表达式

int x = 42;
decltype(x) y; // 推导结果是 int,满足第1条规则

示例 2: 加括号的标识符表达式

int x = 42;
decltype((x)) y = x; // 推导结果是 int&,满足第三条规则

示例3:未加括号的类成员访问

struct MyClass {
    int member;
};
const MyClass obj;
decltype(obj.member) result = obj.member; // 推导结果是 int, 忽略const/volatile 限定符,满足第1条规则

示例4:加括号的类成员访问

struct MyClass {
    int member;
};
const MyClass obj;
decltype((bj.member)) result = obj.member; // 推导结果是 const int&, const/volatile 限定符不能忽略,满足第3条规则

示例 5: 可调用对象表达式

int add(int a, int b)
{
    return a + b;
}
decltype(add(1, 2)) result; // 推导结果是 int,满足第2条规则

示例 6: 将亡值

int x = 42;
decltype(std::move(x)) result = std::move(x); // 推导结果为int&&,std::move(x) 为将亡值

示例 7: 右值表达式

int x = 42;
decltype(x + 1) result; // 推导结果是 int(右值表达式 x + 1 的类型是 int)

示例8:右值引用变量

int&& i = 500;
decltype(i) x2;           // x2的类型是int&&,满足第5条

C++14

C++14主要引进了两个重要改进,他们分别是:放宽对不完整类型的限制;引入decltype(auto)语法。

放宽对不完整类型的限制

C++11标准要求decltype在使用时,推导的表达式必须是完整类型。如果decltype推导的表达式是一个不完整类型,例如某个类的声明但尚未定义,那么会导致编译错误。C++14对这个限制进行了放宽,允许使用decltype推导不完整类型的变量。这使得编写一些特定的模板代码更加方便,因为在某些情况下,可能需要推导出不完整类型。

但是,虽然C++14放宽了对不完整类型的限制,但仍然要求推导的表达式在使用时必须是可见的,即需要在推导时至少对类型进行了前向声明。否则,将会导致编译错误。

以下是一个示例,演示如何在泛型编程中使用 decltype 推导不完整类型:

template <typename T>
struct Container
{
    using ValueType = decltype(*std::declval<T>()); // 使用 decltype 推导不完整类型
    // 其他成员和函数...
};
int main()
{
    Container<std::vector<int>> container;
    using ValueType = typename decltype(container)::ValueType; // 推导结果为 int&
    return 0;
}

decltype(auto)

除了放宽对不完整类型的限制,C++14还有一个特色就是decltype(auto)decltype(auto)作用是告诉编译器auto的推导规则遵循decltype而非auto。不过有一点需要注意就是decltype(auto)必须单独声明,不能与其他相结合。所以下述声明是不合法的:decltype(auto)*const decltype(auto), volatile decltype(auto)

decltype(auto) 的推导规则如下:

示例 1:标识符表达式

int x = 42;
decltype(auto) y = x; // 推导结果是 int(x 的类型)

示例 2:函数调用表达式

int add(int a, int b)
{
    return a + b;
}
decltype(auto) result = add(1, 2); // 推导结果是 int(add 函数返回类型)

示例 3:左值表达式

const int x = 42;
decltype(auto) ref = (x); // 推导结果是 const int&(x 的引用类型)

示例4:右值表达式

decltype(auto) x2 = 50; // 推导结果是 int

示例4:将亡值

int x2 = 50;
decltype(auto) x3 = std::move(x2); // 推导结果为int&&

除了变量类型推导以外,在C++14中引入了decltype(auto)作为一种返回类型的语法。它用于在函数声明中指定返回类型,该返回类型将从函数体中的表达式推导而来。

为了更好的理解decltype(auto)作为一种返回类型的语法,我们参考下面三种函数返回类型自动推导定义方式。

第一种: C++14 基于auto新特性返回值类型自动推导

template<typename Container, typename Index>
auto accessOrUpdate(Container& c, Index i) { 
  return c[i];  // 返回类推导为c[i]的类型,而且会异常引用限制      
}
std::vector<int> v{1,2,3,4,5};
accessOrUpdate(v,2) = 10;      // 编译错误,不允许赋值

第二种:C++14 基于auto和decltype实现返回值类型推导

template <typename Container, typename Index>
auto accessOrUpdate(Container &c, Index i) -> decltype(c[i]) {
  return c[i];
}
std::vector<int> v{1,2,3,4,5};
accessOrUpdate(v,2) = 10;

第三种:C++14 decltype(auto)实现返回值类型推导

template <typename Container, typename Index>
decltype(auto) accessOrUpdate(Container &c, Index i) {
  return c[i];
}
std::vector<int> v{1,2,3,4,5};
accessOrUpdate(v,2) = 10;

对比上述三种函数返回值类型推导,decltype(auto)可让编译器根据表达式的类型自动推导函数的返回类型,而不需要显式地指定返回类型。这种方式可简化代码,而且推导更加灵活。

C++17

为与auto交相辉映,C++17开始支持decltype(auto)非类型模板。但是需特别注意的是在C++17标准中,非类型模板参数类型必须是整理类型(int, short, long等),枚举类型,指针类型,左值引用类型和std::nullptr_t,而自定义类型,浮点数和字符串则不允许作非类型模板参数。

template<decltype(auto) n>  // C++17 decltype(auto)形参声明
auto f() -> std::pair<decltype(n), decltype(n)> // auto 不能从花括号初始化器列表推导
{
    return {n, n};
}
f<5>();      // n为int
f<(5)>();    // n为int&
f<'a'>();    // n为char
f<('a')>();  // n为char&
f<1.0>();    // 编译失败double不能作为模板参数,double不允许做非类型模板参数。

C++20允许字面量类类型作为非类型模板参数。例如在C++20之前,下述代码无法编译通过,而在C++20中则可以编译通过。

class A {};
template <A a>
class B {};
A a;
B<a> b;  // C++20 前编译失败,C++20 可以编译成功。

总结

本文从泛型编程中经常会遇到2个常见问题入手,循序渐进的分析了从C++11开始引入的关键字decltype,希望本文可以对大家有所帮助。

您可能感兴趣的文章:
阅读全文