C++14新特性之函数返回值类型推导

1.介绍

        C++14对函数返回类型推导规则做了优化。举个例子：

auto func(int i) {
    return i;
}

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

        上面的例子在C++11中是无法编译通过的。但在C++14中进行了优化能够被支持。

        同样的，返回值类型推导也可以用在模版中：

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

2.注意事项

        （1）函数内有多个return语句，返回值类型必须相同，否者编译失败。例如：

auto func(bool flag) {
    if (flag) return 1;
    else return 2.3; // error
}

        （2）如果返回列表，类型推导也会报错。

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

        （3）如果函数为虚函数，不能使用返回值类型推导。

struct A {
    // error: virtual function cannot have deduced return type
    virtual auto func() { return 1; } 
}

        （4）返回类型推导可以用在前向声明中，但在使用前，必须得到函数定义。

auto f();               // declared, not yet defined
auto f() { return 42; } // defined, return type is int

int main() {
    cout << f() << endl;
}

        （5）返回类型推导可以用在递归函数中，但递归调用必须以至少一个返回语句作为先导，以便编译器推导出返回类型。

auto sum(int i) {
    if (i == 1)
        return i;              // return int
    else
        return sum(i - 1) + i; // ok
}

3.总结

        C++14引入的函数返回类型推导，使用了auto关键字，根据return语句自动推导函数返回类型，简化了代码编写，在函数返回类型复杂或依赖于模版时非常有用。

如有错误，敬请指正!!!