MSVC对constexpr的支持(似乎并不完美)

is_base_of . 这里有一个关于我的实现的小演示(没有考虑健壮性,是类…)。

#include <type_traits>
#include <cstdint>
struct A
{

};
struct B : A
{

};
template
<typename T, typename U>
struct IsBaseOf {
    constexpr static bool Test(T* t)
    {
        return true;
    }

    constexpr static bool Test(...)
    {
        return false;
    }

    constexpr static bool value = IsBaseOf<T,U>::Test(static_cast<U*>(nullptr));
};
int main()
{
    static_assert(IsBaseOf<A, B>::value, "Pass");
}

http://rextester.com/ATOC6638 http://rextester.com/IWU81465

当我在笔记本电脑的visualstudio2015(更新补丁3)上输入时。它也不能编译,IDE提醒我在编译之前“表达式必须有常量值”。

所以我想知道MSVC是如何支持constexpr的,还是我的代码错了?