c++ - 将左值绑定(bind)到右值引用——g++ 错误？

Question

作为对 another question 的回答我想贴出下面的代码(也就是我想贴出基于这个思路的代码):

#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 只是接受它，并使用右值引用形式参数调用构造函数。

在我看来， 好像左值绑定(bind)到右值引用。一个油嘴滑舌的答案可能是左值被转换为右值。但问题是，这是编译器错误吗？如果不是，神圣标准如何允许这样做？

---

编辑:我设法将其全部缩减为以下非常简短的示例:

void foo( double&& ) {}

int main()
{
    char ch = '!';
    foo( ch );
}

用 MSVC 11.0 编译失败，用 MinGW 4.7.1 编译，对吗？

Answer 1

我没有检查规范，但我猜 char 可以自动转换为 int。由于您不能分配任何东西(它是 r 值)，R 值将传递给 int 类型的临时变量(更明确地表示为 (int)c 值) .