C++14新特性知识点汇总

一、类型推导

C++11仅支持Lambda函数的类型推导，C++14对其加以扩展，支持所有函数的返回类型推导：

auto DeducedReturnTypeFunction();

因为C++14是强类型语言，有些限制需要考虑：

• 如果一个函数的实现中有多个返回语句，这些语句一定要推导出同样的类型。
• 返回类型推导可以用在前向声明中，但是在使用它们之前，翻译单元中必须能够得到函数定义。
• 返回类型推导可以用在递归函数中，但是递归调用必须以至少一个返回语句作为先导，以便编译器推导出返回类型。

C++14带来的另一个类型推导方面的改进是decltype(auto)语法，它支持使用与auto同样的机制计算给定表达式的类型。auto和 decltype在C++11中就已经出现了，但是它们在推导类型时使用了不同的机制，这可能会产生不同的结果。

函数返回类型推导

C++14对函数返回类型推导规则做了优化，先看一段代码：

#include <iostream>

using namespace std;

auto func(int i) {
    return i;
}

int main() {
    cout << func(4) << endl;
    return 0;
}

使用C++11编译：

~/test$ g++ test.cc -std=c++11
test.cc:5:16: error: ‘func’ function uses ‘auto’ type specifier without trailing return type
 auto func(int i) {
                ^
test.cc:5:16: note: deduced return type only available with -std=c++14 or -std=gnu++14

上面的代码使用C++11是不能通过编译的，通过编译器输出的信息也可以看见这个特性需要到C++14才被支持。

返回值类型推导也可以用在模板中：

#include <iostream>
using namespace std;

template<typename T> auto func(T t) { return t; }

int main() {
    cout << func(4) << endl;
    cout << func(3.4) << endl;
    return 0;
}

注意：

）函数内如果有多个return语句，它们必须返回相同的类型，否则编译失败。

auto func(bool flag) {
    if (flag) return 1;
    else return 2.3; // error
}
// inconsistent deduction for auto return type: ‘int’ and then ‘double’

）如果return语句返回初始化列表，返回值类型推导也会失败

auto func() {
    return {1, 2, 3}; // error returning initializer list
}

) 如果函数是虚函数，不能使用返回值类型推导

struct A {
    // error: virtual