reference_wrapper:make_pair VS类模板参数推导(CTAD)

Question

为什么make_pair和Class Template Argument Deduction(CTAD)不同意生成哪种类型？

#include <iostream>
#include <functional>
#include <utility>
#include <typeinfo>

int main() {
    int myInt = 5;
    std::reference_wrapper<int> myIntRef = myInt;
    auto myPair = std::make_pair(myInt, myIntRef);
    std::pair My2ndPair(myInt, myIntRef);
    std::cout << typeid(myPair).name() << '\n';
    std::cout << typeid(My2ndPair).name() << '\n';
}

输出:

St4pairIiRiE                       // std::pair<int, int&>
St4pairIiSt17reference_wrapperIiEE // std::pair<int, std::reference_wrapper<int> >

更新:

对于扣除导游为什么std::pair不包括指南std::reference_wrapper一样make_pair的过载？

Answer 1

Becase make_pair很聪明:

std::reference_wrapper<int> myIntRef = myInt;
auto myPair = std::make_pair(myInt, myIntRef);

这会调用过载解开std::reference_wrapper<int>:

template<class T1, class T2>
  constexpr pair<unwrap_ref_decay_t<T1>, unwrap_ref_decay_t<T2>> make_pair(T1&& x, T2&& y);

另一方面,隐式生成的 演绎指南用于std::pair按原样取类型.