О специализации шаблона: почему код компилируется?

@Gorillych · Регистрация: 04.07.2013

Author24 — интернет-сервис помощи студентам

Добрый день.
Вроде бы, по правилам специализации шаблонов, можно только уточнять поведение шаблонного класса, но нельзя изменять его структуру. Однако, приведенный ниже код успешно компилируется и правильно работает:

C++

template <typename T>
struct A
{
   //Пустой класс 
};
 
template <>
struct A<float>
{
    static std::function<void()> f;
};
 
std::function<void()> A<float>::f = [](){std::cout<<"float specialized\n";};
 
template <>
struct A<double>
{
    static std::function<void()> f;
};
 
std::function<void()> A<double>::f = [](){std::cout<<"double specialized\n";};
 
int main()
{
    A<float> ob1;
    A<double> ob2;
    ob1.f();
    ob2.f();
}

Использую компилятор gcc 4.7. Как это объяснить и стоит ли так делать?

@gray_fox · 22.07.2013, 17:44

Сообщение от Gorillych

Вроде бы, по правилам специализации шаблонов, можно только уточнять поведение шаблонного класса, но нельзя изменять его структуру.

Где об этом сказано?

Croessmah · 22.07.2013, 17:45

Сообщение от Gorillych

но нельзя изменять его структуру.

хоть весь перелопатьте

@Gorillych · 22.07.2013, 17:54 **[ТС]**

Croessmah, я только-только осваиваю эту тему по книге Александреску. На 29-й странице написано следующее (цитата): "...Используя лишь шаблоны, невозможно специализировать структуру класса (т.е. его данные-члены). Специализировать можно только функции".
Вот эта формулировка меня сильно смутила - может быть я ее неверно понял. Что она означает?

@DrOffset · 18.09.2014, 22:17

Сообщение от Gorillych

Вот эта формулировка меня сильно смутила - может быть я ее неверно понял. Что она означает?

В твоем примере ты не специализировал член класса, ты специализировал весь шаблон. А в книге имелось в виду, что недопустима конструкция вида:

C++

template <typename T>
struct A
{
    void foo() {}
 
    int a;
};
 
template <>
double A<double>::a; // как бы специализация переменной класса `а` другим типом.

Однако допустимо специализировать отдельно функции:

C++

template <typename T>
struct A
{
    void foo() {}
 
    int a;
};
 
template <>
void A<double>::foo()
{
}

Именно эта разница и имелась в виду.

@gray_fox What a waste! 1608 / 1300 / 180 Регистрация: 21.04.2012 Сообщений: 2,729
	22.07.2013, 17:44	2
	Сообщение от Gorillych Вроде бы, по правилам специализации шаблонов, можно только уточнять поведение шаблонного класса, но нельзя изменять его структуру. Где об этом сказано? 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,737 Записей в блоге: 1
	22.07.2013, 17:45	3
	Сообщение от Gorillych но нельзя изменять его структуру. хоть весь перелопатьте 0

@Gorillych 15 / 15 / 3 Регистрация: 04.07.2013 Сообщений: 76
	22.07.2013, 17:54 [ТС]	4
	Croessmah, я только-только осваиваю эту тему по книге Александреску. На 29-й странице написано следующее (цитата): "...Используя лишь шаблоны, невозможно специализировать структуру класса (т.е. его данные-члены). Специализировать можно только функции". Вот эта формулировка меня сильно смутила - может быть я ее неверно понял. Что она означает? 0

	18.09.2014, 22:17