Стенли Липпман - Язык программирования C++. Пятое издание

};

Здесь указано, что специфический экземпляр hashявляется дружественным. Поскольку данный экземпляр определяется в пространстве имен std, следует помнить, что этот тип хеша определяется в пространстве имен std. Следовательно, объявление friendотносится к std::hash.

Чтобы позволить пользователям класса Sales_dataиспользовать специализацию шаблона hash, следует определить эту специализацию в заголовке Sales_data.

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

Частичная специализация (partial specialization) шаблона класса сама является шаблоном. Пользователи должны предоставить аргументы для тех параметров шаблона, которые не затронуты специализацией.

Частично можно специализировать только шаблон класса. Нельзя частично специализировать шаблон функции.

Библиотечный тип remove_referenceбыл представлен в разделе 16.2.3, он работает с серией специализаций:

// первоначальный, наиболее общий шаблон

template struct remove_reference {

typedef T type;

};

// частичные специализации, которые будут использоваться для ссылок

// на l- и r-значения

template struct remove_reference // ссылки на l-значение

{ typedef Т type; };

template struct remove_reference // ссылки на r-значение

{ typedef T type; };

Первый шаблон определяет самую общую версию. Его экземпляр может быть создан с любым типом; он использует свой аргумент шаблона как тип для своего члена type. Следующие два класса — это частичные специализации первоначального шаблона.

Поскольку частичная специализация — это шаблон, начнем, как обычно, с определения параметров шаблона. Подобно любой другой специализации, у частичной специализации то же имя, что и у специализируемого шаблона. Список параметров специализации шаблона включает элементы для каждого параметра шаблона, тип которого не был определен полностью при частичной специализации. После имени класса располагаются аргументы для параметров специализируемого шаблона. Эти аргументы располагаются в угловых скобках после имени шаблона. Аргументы позиционально соответствуют параметрам первоначального шаблона.

Список параметров шаблона частичной специализации — это подмножество или специализация списка параметров первоначального шаблона. В данном случае у специализаций то же количество параметров, что и у первоначального шаблона. Но тип параметров в специализациях отличается от первоначального шаблона. Специализация будут использоваться для ссылок на типы l- и r-значений соответственно:

int i;

// decltype(42) - это int, используется первоначальный шаблон

remove_reference::type a;

// decltype(i) - это int&, используется первая (Т&) частичная

// специализация

remove_reference::type b;

// decltype(std::move(i)) - это int&&, используется вторая (т.е., T&&)

// частичная специализация

remove_reference::type c;

У всех трех переменных, a, bи с, тип int.

Вместо специализации всего шаблона можно специализировать только одну или несколько его функций-членов. Например, если Foo— это шаблон класса с членом Bar, можно специализировать только этот член:

template struct Foo {

Foo (const T &t = T()): mem(t) { }

void Bar() { /* ... */ }

T mem;

// другие члены класса Foo

};

template<> // специализация шаблона

void Foo::Bar() // специализация члена Bar класса Foo

{

// осуществить всю специализированную обработку, относящуюся к целым

// числам

}

Здесь специализируется только один член класса Foo. Другие его члены предоставляются шаблоном Foo:

Foo fs; // создает экземпляр Foo::Foo()

fs.Bar(); // создает экземпляр Foo::Bar()

Foo fi; // создает экземпляр Foo::Foo()

fi.Bar(); // использует специализацию Foo::Bar()

При использовании шаблона Fooс любым типом, кроме int, члены экземпляра создаются, как обычно. При использовании шаблона Fooс типом intвсе члены экземпляра, кроме Bar, создаются, как обычно. Если использовать член Barкласса Foo, то получится специализированное определение.