Visual Studio 2015 在 constexpr 中使用 lambda

Question

所以在最新的 Visual Studio 2015 中，以下代码似乎不再起作用：

template<class F>
struct wrapper
{
    constexpr wrapper()
    {}
};

template<typename T> 
constexpr typename std::remove_reference<T>::type *addr(T&& t) 
{ 
    return &t; 
}

template<class F>
constexpr wrapper<F> wrap(F*)
{
    return wrapper<F>();
}


const constexpr auto add_one = wrap(true ? nullptr : addr([](int x)
{
    return x + 1;
}));

Visual Studio 报告回illegal initialization of 'constexpr' entity with a non-constant expression。这曾经在候选版本中工作，但最新版本似乎不再工作（我正在使用版本14.0.23107.0）。这应该有效（它在 clang 和 gcc 中都有效）。

很遗憾，Microsoft 不允许我报告错误。那么有人知道解决方法吗？

Answer 1

好的，正如@hvd 所指出的那样，Visual Studio 似乎在使用constexpr 转换指针时存在问题。我发现一种解决方法，我可以这样做：

template<class F>
struct wrapper
{
    constexpr wrapper()
    {}
};

struct wrapper_deduce
{
    constexpr wrapper_deduce()
    {}
    template<class T>
    constexpr operator wrapper<T>() const
    {
        return wrapper<T>();
    }
};


template<class F>
constexpr wrapper<F> wrap_direct(const F&)
{
    return wrapper<F>();
}


const constexpr auto add_one = true ? wrapper_deduce() : wrap_direct([](int x)
{
    return x + 1;
});