我们来看std :: pair< T1,T2>举个例子.它有以下两个构造函数：
- constexpr pair( const T1& x,const T2& y ); // #1
- template< class U1,class U2 > constexpr pair( U1&& x,U2&& y ); // #2
看起来#2可以处理#1可以处理的所有情况(没有更差的性能),除了参数是list-initializer的情况.例如,
- std::pair<int,int> p({0},{0}); // ill-formed without #1
所以我的问题是：
>如果#1仅用于list-initializer参数,由于x和y最终绑定到从list-initializers初始化的临时对象,为什么不使用constexpr对(T1&& x,T2&& y);代替？
>否则,#1的实际意图是什么？
解决方法
如果要存储的对象是临时对象但不可移动怎么办？
- #include <type_traits>
- #include <utility>
- #include <iostream>
- class test
- {
- public:
- test() { std::cout << "ctor" << std::endl; }
- test(const test&) { std::cout << "copy ctor" << std::endl; }
- test(test&&) = delete; // { std::cout << "move ctor" << std::endl; }
- ~test() { std::cout << "dtor" << std::endl; }
- private:
- int dummy;
- };
- template <class T1,class T2>
- class my_pair
- {
- public:
- my_pair() {}
- // Uncomment me plz !
- //my_pair(const T1& x,const T2& y) : first(x),second(y) {}
- template <class U1,class U2,class = typename std::enable_if<std::is_convertible<U1,T1>::value && std::is_convertible<U2,T2>::value>::type>
- my_pair(U1&& x,U2&& y) : first(std::forward<U1>(x)),second(std::forward<U2>(y)) {}
- public:
- T1 first;
- T2 second;
- };
- int main()
- {
- my_pair<int,test> tmp(5,test());
- }
上面的代码没有编译,因为my_pair的所谓“完美”转发构造函数将临时测试对象转发为rvalue引用,而rvalue引用又试图调用显式删除的test的构造函数.
如果我们从my_pair中删除注释不是那么“完美”的构造函数,那么它最好通过重载解析来实现,并且基本上强制临时测试对象的副本,从而使其工作.
