&decltype(Obj)：：成员不工作

Question

为什么这不起作用(Visual C++ 2012更新1)，修复它的正确方法是什么？

#include <boost/lambda/bind.hpp>
namespace bll = boost::lambda;

struct Adder
{
    int m;
    Adder(int m = 0) : m(m) { }
    int foo(int n) const { return m + n; }
};

#define bindm(obj, f, ...)  bind(&decltype(obj)::f, obj, __VA_ARGS__)

int main()
{
    return bll::bindm(Adder(5), foo, bll::_1)(5);
}

Answer 1

decltype作为嵌套名称说明符在相对较晚的阶段被添加到C++11中；n3049作为对DR 743 (和DR 950)的解析。n3049是在2010年3月发布的，这可能是它还没有进入VC++的原因。

解决方法是使用身份类型函数：

template<typename T> using id = T;
id<decltype(expression)>::member;

Answer 2

一个编译器错误。

明确允许将解密类型说明符(7.1.6.2简单类型说明符dcl.type.simple)作为嵌套名称特定项(5.1主表达式expr.prim -> 5.1.1通用expr.prim.general] #8)

PS。在@ecatmur的想法之后：

template<typename T> struct id { typedef T type; };

#define bindm(obj, f, ...)  bind(&id<decltype(obj)>::type::f, obj, __VA_ARGS__)