Этот пример использования std::forward
меня озадачивает. Это моя отредактированная версия:
#include <iostream>
#include <memory>
#include <utility>
using namespace std;
struct A{
A(int&& n) { cout << "rvalue overload, n=" << n << "\n"; }
A(int& n) { cout << "lvalue overload, n=" << n << "\n"; }
};
template<typename> void template_type_dumper();
template<class T, class U>
unique_ptr<T> make_unique(U&& u){
//Have a "fingerprint" of what function is being called
static int dummyvar;
cout<<"address of make_unique::dummyvar: "<<&dummyvar<<endl;
//g++ dumps two warnings here, which reveal what exact type is passed as template parameter
template_type_dumper<decltype(u)>;
template_type_dumper<U>;
return unique_ptr<T>(new T(forward<U>(u)));
}
int main()
{
unique_ptr<A> p1 = make_unique<A>(2); // rvalue
int i = 1;
unique_ptr<A> p2 = make_unique<A>(i); // lvalue
}
Выход
address of make_unique::dummyvar: 0x6021a4
rvalue overload, n=2
address of make_unique::dummyvar: 0x6021a8
lvalue overload, n=1
а предупреждения о ссылке на template_type_dumper
показывают, что в первом экземпляре decltype(u) = int&&
и U = int
, во втором decltype(u) = int&
и U = int&
.
Очевидно, что есть два разных экземпляра, как и ожидалось, но это мои вопросы:
- как
std::forward
может здесь работать? В первом экземпляре его аргумент шаблона явно равенU = int
, откуда ему знать, что он должен вернуть ссылку на rvalue? Что произойдет, если вместо этого я укажуU&&
? make_unique
объявляется принимающим ссылку на значение rvalue. Почемуu
может быть ссылкой на lvalue? Есть ли какое-то особое правило, которое я упускаю?