направления вывода для 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}; // explicit deduction guide is used in this case
}