Visual Studio 2015 с использованием лямбда в constexpr

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

Итак, кажется, что в визуальной студии есть проблема с преобразованием указателей с constexpr, как указывал @hvd. Обходной путь, я нашел, я могу сделать это вместо этого:

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; 
});