启用 c++11 时 c++ 递归模板的奇怪行为

我正在尝试理解我收到的一些递归C++模板代码，并且遇到了一些奇怪的行为。 出于某种原因，编译器似乎能够在编译时添加两个值，但执行左移必须留给运行时。 即便如此，只有当我尝试在启用 c++11 的情况下进行构建时，才会出现问题。

代码(我已经归结了，您将在后面看到(定义了两对模板 - 一对名为 shft 和 shft_aux 的模板，另一对名为 add 和 add_aux 递归生成自己。 顺便说一句，add模板不应该有用，它的唯一目的是演示问题，而不是生成实际的min值。

如果我在没有命令行参数的情况下编译此代码，它可以很好地编译。 但是如果我指定-std=c++11 -stdlib=libc++，add_aux上的static_assert仍然很好，但是shft_aux上的static_assert现在生成一个编译时错误，指出static_assert expression is not an integral constant expression。

为什么左移与加法的处理方式不同？

谢谢克里斯

附言我正在使用 clang++ 版本 Apple LLVM version 5.1 (clang-503.0.38) (based on LLVM 3.4svn)

#include <climits>
template <unsigned size> struct shft; // forward
template <unsigned size>
struct shft_aux
{
    static const int min = shft<size>::min;
};
template <unsigned size>
struct shft
{
    typedef shft_aux<size - 1> prev;
    static const int min = prev::min << CHAR_BIT;
};
// Base specialization of shft, puts an end to the recursion.
template <>
struct shft<1>
{
    static const int min = SCHAR_MIN;
};

// -----
template <unsigned size> struct add; // forward
template <unsigned size>
struct add_aux
{
    static const int min = add<size>::min;
};
template <unsigned size>
struct add
{
    typedef add_aux<size - 1> prev;
    static const int min = prev::min + CHAR_BIT;
};
// Base specialization of add, puts an end to the recursion.
template <>
struct add<1>
{
    static const int min = SCHAR_MIN;
};

// -----
int main()
{
    static_assert(shft_aux<sizeof(int)>::min < 0, "min is not negative");
    static_assert(add_aux<sizeof(int)>::min < 0, "min is not negative");
    return 0;
}