Type deduction (suy diễn kiểu) trong C++ là gì?

Type inference/deduction: tự động phát hiện kiểu dữ liệu của biểu thức. Trong C++, từ khóa auto (C++11) dùng cho suy diễn kiểu tự động. Ví dụ: tạo iterator cho vector, dùng auto.

Ví dụ

#include <iostream>
#include <vector>
using namespace std;
int main() {
    vector<int> arr(10);
    for(auto it = arr.begin(); it != arr.end(); ++it) cin >> *it;
    return 0;
}

it tự động nhận kiểu std::vector<int>::iterator.