code:
template <typename c>
class a
{
	static c value;
};

typedef a<double> doublea;
double doublea::value = 1.25;

int main(void)
{
}

code:
1.cc:8: error: too few template-parameter-lists

В ответ на:

---

чо-то мне так кажется, что студия налажала

---

code:
  typedef a<double> doublea; 

code:
template<> class a<double>;   

code:
 double doublea::value = 1.25; 
  

В ответ на:

---

Интересно, а если для гнушного компилятора вставить строку

---

В ответ на:

---

template_typedef.cpp:9: ошибка: invalid use of undefined type 'class a<double>'
template_typedef.cpp:3: ошибка: declaration of 'class a<double>'

---

code:
 template class a<double>; 

code:
 double doublea::value = 1.25; 

code:
template <typename c>
class a
{
	static c value; // 1
};

template<>
class a<double>
{
	static double value; // 2
};

typedef a<double> doublea;
double doublea::value = 1.25; // определение 2

int main(void)
{
}

В ответ на:

---

с и без 'template<>' смысл всегда разный, а вот придумать пример, когда оба варианта компилятся, но с разным результатом мне влом

---

code:
template<> double doublea::value = 3.0;   

В ответ на:

---

error C2998: 'double a<double>::value' : cannot be a template definition

---