Здравствуйте, B0FEE664, Вы писали:
VTT>>Просто это не переменные а две специализации шаблона переменной, состоящие из имени шаблона и списков параметров шаблона, заключенных в угловые скобки.
BFE>В том-то и дело, что тип таких переменных не зависит от их специализации. Просто у этих переменных имена сложные, составные.
Ну, вроде бы шаблоны переменных вводили для типизированных констант и разных трейтов? Фактически, синтаксический сахар над:

// Вместо
template <typename F>
struct pi_traits
{
  static F get() {return (F)3.1415...;}
};
// Получаем:
template <typename F>
static const pi<F> = (F)3.1415...;

Не? Есть еще какие-то принципиально новые применения?