- #include <iostream>
- #include <utility> // std::is_same,std::enable_if
- using namespace std;
- template< class Type >
- struct Boxed
- {
- Type value;
- template< class Arg >
- Boxed(
- Arg const& v,typename enable_if< is_same< Type,Arg >::value,Arg >::type* = 0
- )
- : value( v )
- {
- wcout << "Generic!" << endl;
- }
- Boxed( Type&& v ): value( move( v ) )
- {
- wcout << "Rvalue!" << endl;
- }
- };
- void function( Boxed< int > v ) {}
- int main()
- {
- int i = 5;
- function( i ); //<- this is acceptable
- char c = 'a';
- function( c ); //<- I would NOT like this to compile
- }
但是,MSVC 11.0在最后一次调用时会阻塞,因为IHMO应该使用,MinGW g 4.7.1只是接受它,并使用rvalue引用形式参数调用构造函数.
它看起来好像一个左值被绑定到一个右值引用. glib答案可能是左值被转换为rvalue.但问题是,这是一个编译器的错误,如果不是,圣标是如何允许的？
编辑：我设法把它全部缩小到以下很简单的例子：
- void foo( double&& ) {}
- int main()
- {
- char ch = '!';
- foo( ch );
- }
无法使用MSVC 11.0进行编译,是否与MinGW 4.7.1进行编译,是对吗？
解决方法
- void foo( double ) {} // pass-by-value
- int main()
- {
- char ch = '!';
- foo( ch );
- }
有一个从char到double的隐式转换,所以函数是可行的.
在编辑的问题的示例中是一样的,存在一个隐式转换,产生一个临时的(即rvalue),并且rvalue引用参数绑定到该临时值.如果您愿意,您可以将该转换显式显示：
- void foo( double&& ) {} // pass-by-reference
- int main()
- {
- char ch = '!';
- foo( double(ch) );
- }
但是在这种情况下这并不会改变任何事情.这将是必要的,如果双重 – > char只能被显式转换(例如对于具有显式构造函数或显式转换运算符的类类型),而char的double是有效的隐式转换.
你认为的“一个价值参考不能绑定到一个左值”规则是指绑定一个T&&这个规则并不破坏,因为双重&不绑定到char,它绑定到一个临时创建的隐式转换.
该规则不仅存在,以防止不必要的额外复制,而是修复与以前规则存在的真实安全问题,请参见http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2008/n2812.html
编辑：有人问这个行为是否适合委员会反思(见DR 1414),并且决定是的,这个行为是有意义的,是正确的.用于达成这一职位的一个参数是,使用当前规则,此代码更有效：
- std::vector<std::string> v;
- v.push_back("text");
使用当前规则,通过隐式转换创建临时std :: string,然后调用std :: vector> :: push_back(T&&),并将临时移动到向量中.如果push_back重载对于转换的结果是不可行的,则上面的代码将调用将导致副本的std :: vector> :: push_back(const T&).目前的规则使这个现实世界的用例更加高效.如果规则表明rvalue-refs不能绑定到隐式转换的结果,您将不得不更改上述代码以获得移动效率：
- v.push_back( std::string{"text"} );
当这个构造函数不是显式的时候,IMHO不必明确地构造一个std :: string.我想要显式/隐式构造函数的一致行为,我希望第一个push_back示例更有效率.
