C++03.在编译时测试右值与左值，而不仅仅是在运行时

在C++03中，Boost的Foreach使用这种有趣的技术，可以在运行时检测表达式是左值还是右值。（我发现通过这个StackOverflow问题：C++03中的Rvalues）

这是一个在运行时工作的演示

（这是一个更基本的问题，当我思考我最近的另一个问题时出现了。这个问题的答案可能有助于我们回答另一个。）

既然我已经阐明了这个问题，在编译时测试C++03中的右值，我将谈谈到目前为止我一直在尝试的事情

我希望能够在编译时进行此检查。这在C++11中很容易，但我对C++03很好奇。

我正试图建立在他们的想法之上，但也会对不同的方法持开放态度。他们技术的基本思想是将这些代码放入宏中：

true ? rvalue_probe() : EXPRESSION;

它在?的左边是"true"，因此我们可以确信表达式永远不会被求值。但有趣的是，?:运算符的行为不同，这取决于它的参数是左值还是右值（点击上面的链接了解详细信息）。特别是，它将以两种方式之一转换rvalue_probe对象，具体取决于EXPRESSION是否为左值：

struct rvalue_probe
{
    template< class R > operator       R () { throw "rvalue"; }
    template< class L > operator       L & () const { throw "lvalue"; }
    template< class L > operator const L & () const { throw "const lvalue"; }
};

这在运行时有效，因为抛出的文本可以被捕获并用于分析表达式是左值还是右值。但我希望在编译时用某种方法来识别正在使用的转换。

现在，这可能是有用的，因为这意味着，而不是询问

表达式是右值吗？

我们可以问：

编译器何时编译true？rvalue_probe（）：表达式，选择了两个重载运算符operator X和operator X&中的哪一个？

（通常，您可以通过更改返回类型并获取sizeof来检测调用了哪个方法。但我们无法使用这些转换运算符来检测，尤其是当它们隐藏在?:中时。）

我想我可以用之类的东西

is_reference< typeof (true ? rvalue_probe() : EXPRESSION) > :: type

如果表达式是左值，则选择operator&，我希望整个表达式是&类型。但它似乎不起作用。ref类型和非ref类型很难区分（不可能？），尤其是现在我正试图挖掘?:表达式内部，看看选择了哪个转换。

这是粘贴在这里的演示代码：

#include <iostream>
using namespace std;
struct X {
        X(){}
};
X x;
X & xr = x;
const X xc;
      X   foo()  { return x; }
const X   fooc() { return x; }
      X & foor()  { return x; }
const X & foorc() { return x; }
struct rvalue_probe
{
        template< class R > operator       R () { throw "rvalue"; }
        // template< class R > operator R const () { throw "const rvalue"; } // doesn't work, don't know why
        template< class L > operator       L & () const { throw "lvalue"; }
        template< class L > operator const L & () const { throw "const lvalue"; }
};
typedef int lvalue_flag[1];
typedef int rvalue_flag[2];
template <typename T> struct isref     { static const int value = 0; typedef lvalue_flag type; };
template <typename T> struct isref<T&> { static const int value = 1; typedef rvalue_flag type; };
int main() {
        try{ true ? rvalue_probe() : x;       } catch (const char * result) { cout << result << endl; } // Y lvalue
        try{ true ? rvalue_probe() : xc;      } catch (const char * result) { cout << result << endl; } // Y const lvalue
        try{ true ? rvalue_probe() : xr;      } catch (const char * result) { cout << result << endl; } // Y       lvalue
        try{ true ? rvalue_probe() : foo();   } catch (const char * result) { cout << result << endl; } // Y rvalue
        try{ true ? rvalue_probe() : fooc();  } catch (const char * result) { cout << result << endl; } // Y rvalue
        try{ true ? rvalue_probe() : foor();  } catch (const char * result) { cout << result << endl; } // Y lvalue
        try{ true ? rvalue_probe() : foorc(); } catch (const char * result) { cout << result << endl; } // Y const lvalue
}

（最后我还有一些其他代码，但这只是令人困惑的事情。你真的不想看到我在回答问题时失败的尝试！上面的代码演示了如何在运行时测试左值与右值。）