Можно ли использовать переменную шаблона `constexpr` как значение по умолчанию для аргумента формального шаблона

Question

Используя clang 3.6.0, я не могу скомпилировать следующий пример кода.

#include <type_traits> 

template <typename T> constexpr bool IS_SCALAR = ::std::is_scalar<T>::value; 
template <typename T, bool = IS_SCALAR<T>> 
struct Class_Breaks 
{ 
}; 

template <typename T, bool = ::std::is_scalar<T>::value> 
struct Class_Works 
{ 
}; 

void function() 
{ 
    Class_Breaks<int> break_error; 
    Class_Breaks<int, IS_SCALAR<int>> breaks_ok; 
    Class_Works<int> ok; 
} 

Но следующие сообщения об ошибках возвращаются:

1> [ 66%] Building CXX object CMakeFiles/Core.dir/tests.cpp.obj 
1>D:\Projects\Core\Core\tests.cpp(4,30): error : non-type template argument is not a constant expression 
1> template <typename T, bool = IS_SCALAR<T>> 
1>        ^
1> D:\Projects\Core\Core\tests.cpp(16,18) : note: while checking a default template argument used here 
1>   Class_Breaks<int> break_error; 
1>   ~~~~~~~~~~~~~~~~^ 
1> 1 error generated. 

Answer 1

Как отметил @StenSoft, это known bug. Если вам нужно, чтобы заставить его работать, потому что у вас есть переменная constexpr шаблона вы хотели бы использовать по умолчанию, вы можете обернуть значение по умолчанию в std::intergral_constant:

template< 
    typename T, 
    bool = std::integral_constant< bool, IS_SCALAR<T> >::value 
> 

Live example

Answer 2

Это не фиксированная в clang 3.7. Отчет об ошибке, упомянутый Даниэлем Фреем, связан с функциями constexpr (которые работают сейчас), но не с переменными шаблонами.