Оба синтаксиса формально корректны, но первый не применим в данном контексте.
У вас есть возможность использовать четыре относительно "похожих" синтаксиса за пределами определения самого шаблонного класса
// 1
template<typename T> T X<T>::t;
// "Общее" определение статического члена.
// Является определением независимо от наличия инициализатора.
// 2
template<> double X<double>::t = 3;
// Явная специализация статического члена для `T == double`.
// Является определением только при наличии инициализатора. Без инициализатора
// является просто объявлением.
// Определения, предоставленные методом 1, не распространяются на явные
// специализации, т.е. определение для явной специализации требуется
// предоставить отдельно.
// 3
template double X<double>::t;
// Явное инстанцирование статического члена для `T == double`.
// Не допускает указания инициализатора.
// Может выполняться только после выполнения определения или явной
// специализации. В последнем случае - не имеет никакого эффекта.
// 4
double X<double>::t = 3;
// Определение статического члена явной специализации.
// Является определением независимо от наличия инициализатора.
// Требует, чтобы явная специализация шаблона класса была определена выше.
Все эти синтаксические конструкции единообразно распространяются и на объявления методов класса. В данном случае, однако, мы говорим именно о статических данных.
Таким образом ваше первое объявление будет являться корректным в том и только в том случае, если оно следует за определением явной специализации шаблона класса X
для T == double
template<typename T> class X
{
public:
static T t;
};
template<> class X<double>
{
public:
static double t;
};
double X<double>::t = 5.0f;
Но без явной специализации шаблона класса, как в вашем конкретном примере, такое объявление неуместно.