Руководства по выводу типов для std::pair

template<class T1, class T2>
pair(T1, T2) -> pair<T1, T2>;

Одно руководство по выводу типов предоставляется для std::pair для учёта граничных случаев, пропущенных неявными руководствами по выводу, в частности, некопируемых аргументов и преобразования массива в указатель.

Пример

#include <utility>
int main()
{
    int a[2], b[3];
    std::pair p{a, b}; // в данном случае используется явный гид дедукции
}