C++ 14中的返回类型推导和示例

在C++ 14中引入了返回类型推导（Return Type Deduction，RTD）这一特性，它可以让程序员在不显式指定函数返回类型的情况下，让编译器根据函数体中的代码推导出返回类型。

语法

返回类型推导的语法非常简洁，只需要在函数声明时使用关键字auto作为返回类型即可，例如：

auto myFunction(int x, int y) {
    return x + y;
}

在上面的代码中，myFunction函数的返回类型是由编译器自动推导出来的。

当然，如果你愿意，你也可以在函数定义时给出返回类型，例如：

auto myFunction(int x, int y) -> int {
    return x + y;
}

示例

我们来看一个简单的例子：

#include <iostream>
#include <vector>

auto addVectors(std::vector<int> v1, std::vector<int> v2) {
    std::vector<int> result;
    // 将v1和v2中对应位置的元素相加，并将结果存入result中
    for (size_t i = 0; i < v1.size(); i++) {
        result.push_back(v1[i] + v2[i]);
    }
    return result;
}

int main() {
    std::vector<int> v1{ 1, 2, 3 };
    std::vector<int> v2{ 4, 5, 6 };
    auto result = addVectors(v1, v2); // 自动推导出result的类型为std::vector<int>
    for (auto i : result) {
        std::cout << i << " ";
    }
    return 0;
}

在这个例子中，我们定义了一个名为addVectors的函数，它接受两个std::vector类型的参数。函数体中，我们将这两个vector中对应位置的元素相加，并将结果存入新的vector中，最后返回这个新的vector。由于我们在函数声明中使用了auto作为返回类型，编译器会根据函数体中的代码推导出返回类型为std::vector。

在main函数中，我们定义了两个std::vector类型的变量v1和v2，并将它们传入addVectors函数中。由于addVectors函数的返回类型为std::vector，所以我们定义一个名为result的变量来接收函数的返回值，并使用auto来让编译器自动推导出result的类型为std::vector。最后，我们使用一个for循环输出result中的每一个元素。

总结

通过使用返回类型推导，我们可以更加简洁地定义函数，减少代码量，并且不需要担心类型匹配问题。然而，在某些情况下，显式地指定返回类型仍然是必要的。比如在使用模板函数时，通常需要显式地指定返回类型。