类模板部分特化

Question

下面的代码编译成功，我不明白为什么：

#include <stdio.h>
#include <vector>
#include <iostream>

// Template definition
template <typename T1, typename T2> class stack
{
};

// Template specialization
template <> class stack <float, float>
{
};

int main ()
{
  stack <char, char> objStack;
  return 0;
}    

部分专业化不意味着我们可以将类用于某些特定数据类型，我们在专业？

这里没有 char 的专门类，如果要使用任何类型的数据类型进行编译，那么专门化的目的是什么？

Answer 1

模板专业化适用于当您想要对特定模板参数执行一些特别不同的操作时。编译器将实例化原始模板中未指定的任何内容。

当您希望特定数据类型有不同的行为时，这非常有用，但也可用于更复杂的模式匹配，例如更改指针类型或 const 类型的行为：

template <typename T>
struct is_pointer { static bool value = false; };

template <typename T>
struct is_pointer<T*> { static bool value = true; };

template <typename T>
struct is_const { static bool value = false; };

template <typename T>
struct is_const<const T>  { static bool value = true; };

// later, try this:
assert(is_pointer<int*>::value == true);
assert(is_pointer<int>::value == false);

所以，说来话长简而言之：不必费心指定您的模板，除非您对某个参数有特殊的处理，而您无法将其推广到基本模板中。模板专业化只是模式匹配的一种相当核心的形式，它既可以用于善意，也可以用于邪恶。

Answer 2

模板专业化意味着采用通用模板并添加将用于一组特殊类型的类型或函数。部分特化是指您的模板类型或函数具有多个参数，并且您没有在特化中指定所有参数。

在您的示例中，此函数是通用模板。

// Template definition
template <typename T1, typename T2> class stack
{
};

它将针对您提供的任何类型进行实例化，除非您提供两个浮点数。如果您提供两个浮点数作为参数，则该模板

// Template specialization
template <> class stack <float, float>
{
};

将被实例化。