模板偏特化有什么实际的例子吗，到底有什么用？

[看到机器就疯狂]

模板偏特化实际的例子有哪些？不用举vector的例子，那我也看不懂，要短而小的例子，并且很有用的。

[bluewanderer]

引用 4 楼 u010828523 的回复:

[quote=引用 3 楼 bluewanderer 的回复:] 以前被GCC 4.2折磨，现在居然完全想不起来当初被怎么折磨的了... 最简单的例子就是像vector这样，两个模板参数没半毛钱关系的：

template <class T2>
struct Goo
{
	void goo(T2 v)
	{
	}
};

template <class T1, class T2>
struct Foo : Goo<T2>
{
	void foo(T1 v)
	{
	}
};

template <class T2>
struct Foo<int, T2> : Goo<T2>
{
	void foo(int v)
	{
	}
};

你这个例子完全没有用吗， 要有用的。[/quote] 基类是个模板，子类有另外的模板参数。这个时候如果需要特化子类的部分就必须用partial。这种地图炮都没用的话，我是不知道什么还有用了。

[qq120848369]

建议楼主读书。

[xiaohuh421]

http://blog.csdn.net/zhuimengzh/article/details/6838886

[xiaohuh421]

引用 13 楼 bluewanderer 的回复:

[quote=引用 12 楼 xiaohuh421 的回复:] 首先要理解什么叫"模板的特化". 我的理解是这样的, 模板特化 就是 把原来不确定的类型,变成具体类型了. 也就是把T换成了具体的数据类型. 就像vector本身声明是 vector<T> 但是我们特化的时候就是 vector<int> 指定了具体类型了. 网上说分 全部特化和部分特化. 我就按我的理解写一个例子吧: template<class T> class CMyClass { T m_Data; public: CMyClass(){}; ~CMyClass(){}; T GetData(){return m_Data;} }; 然后特化为int CMyClass<int> myIntData; 特化为DWORD CMyClass<DWORD> myDwData; 如果我理解有错, 请大家指正.

这是模板实例化，不是特化。[/quote] 感谢, 那我确实理解错了.

[看到机器就疯狂]

那这个例子有什么功能呢？

[Coder_Y_Jao]

无论特化还是偏特化，一般很少直接使用，所以你会觉得别人给的代码没什么意义，不过这样的代码更容易理解。 其实直接使用一般预示着可能你的设计存在缺陷了，实际上它多用于高级萃取甚至判定，有类似于汽车档位的作用。可以参考gcc 标准库源码中的各种conditional\__and_\__not_\__or_

[bluewanderer]

引用 6 楼 u010828523 的回复:

那这个例子有什么功能呢？

功能就是可以在保留基类多态的基础上，特化子类。模式的功能在于你能怎么干，而不是干了之后能得到什么。我想你就是没搞清楚这个问题，所以会觉得部分特化没用。

[看到机器就疯狂]

我想要一个能实现某种有用的功能的特化，哼哼。

[bluewanderer]

#include <stdio.h>

template <class T>
void print(T v)
{
	puts("Huh?");
}

template <>
void print<int>(int v)
{
	printf("%d\n", v);
}

template <>
void print<float>(float v)
{
	printf("%f\n", v);
}

int main()
{
	print(1);
	print(1.0f);
	print(1.0);
}

[bluewanderer]

啊 看错了...

[lm_whales]

这两个类就是使用的模板偏特化。具体以后再研究一下！ string; wstring;

[bluewanderer]

引用 8 楼 u010828523 的回复:

我想要一个能实现某种有用的功能的特化，哼哼。

你还是暂时不要再学模板了。模板要解决的问题根本不在你所要的“有用功能”这个层面上。钻一个你根本不打算去理解的问题的牛角尖一点意义都没有。

[qq453345496]

等你以后遇到了，需要了的时候再学习模板吧，船到桥头自然直，不然大神们也没几个能帮到你

[bluewanderer]

以前被GCC 4.2折磨，现在居然完全想不起来当初被怎么折磨的了... 最简单的例子就是像vector这样，两个模板参数没半毛钱关系的：

template <class T2>
struct Goo
{
	void goo(T2 v)
	{
	}
};

template <class T1, class T2>
struct Foo : Goo<T2>
{
	void foo(T1 v)
	{
	}
};

template <class T2>
struct Foo<int, T2> : Goo<T2>
{
	void foo(int v)
	{
	}
};

[xiaohuh421]

首先要理解什么叫"模板的特化". 我的理解是这样的, 模板特化 就是 把原来不确定的类型,变成具体类型了. 也就是把T换成了具体的数据类型. 就像vector本身声明是 vector<T> 但是我们特化的时候就是 vector<int> 指定了具体类型了. 网上说分 全部特化和部分特化. 我就按我的理解写一个例子吧: template<class T> class CMyClass { T m_Data; public: CMyClass(){}; ~CMyClass(){}; T GetData(){return m_Data;} }; 然后特化为int CMyClass<int> myIntData; 特化为DWORD CMyClass<DWORD> myDwData; 如果我理解有错, 请大家指正.

[bluewanderer]

引用 12 楼 xiaohuh421 的回复:

首先要理解什么叫"模板的特化". 我的理解是这样的, 模板特化 就是 把原来不确定的类型,变成具体类型了. 也就是把T换成了具体的数据类型. 就像vector本身声明是 vector<T> 但是我们特化的时候就是 vector<int> 指定了具体类型了. 网上说分 全部特化和部分特化. 我就按我的理解写一个例子吧: template<class T> class CMyClass { T m_Data; public: CMyClass(){}; ~CMyClass(){}; T GetData(){return m_Data;} }; 然后特化为int CMyClass<int> myIntData; 特化为DWORD CMyClass<DWORD> myDwData; 如果我理解有错, 请大家指正.

这是模板实例化，不是特化。

[看到机器就疯狂]

引用 3 楼 bluewanderer 的回复:

以前被GCC 4.2折磨，现在居然完全想不起来当初被怎么折磨的了... 最简单的例子就是像vector这样，两个模板参数没半毛钱关系的：

template <class T2>
struct Goo
{
	void goo(T2 v)
	{
	}
};

template <class T1, class T2>
struct Foo : Goo<T2>
{
	void foo(T1 v)
	{
	}
};

template <class T2>
struct Foo<int, T2> : Goo<T2>
{
	void foo(int v)
	{
	}
};

你这个例子完全没有用吗， 要有用的。

[橡木疙瘩]

特化不只是为了性能优化，更多是为了让模板函数能够正常工作，最典型的例子就是STL中的iterator_traits algrithm中大多数算法通过iterator对象来处理数据，但同时允许以指针代替iterator对象——这是为了支持C-style array。如果直接操作iterator，那么为了支持指针类型，每个函数都要进行重载，因为指针没有::valut_type类型，也没有.swap成员方法……这样就会很麻烦。为了解决这一问题，STL使用了iterator_traits，并为指针类型进行特化，算法通过它来操作iterator，不需要知道实际操作的是iterator对象还是指针。 template <typename IteratorClass> class iterator_traits ... template <typename ValueType> class iterator_traits<ValueType *> ... template <typename ValueType> class iterator_traits<ValueType const *> ... 后两个版本的iterator_traits就是对指针类型的特化，这也是一种偏特化的常见形式。

[ForestDB]

依稀记得“特化”主要是 针对“特定”的类型而做的性能优化 而书上很经典的例子就是针对char*这种特殊的vector。

[ligand]

模板的特化/偏特化，是泛型编程的最根本的语言结构！！！ 这就相当于普通编程时的if-then-else分支语言结构。 不过模板编程时的分支情况是依据 模板参数的类型 去选择不同的执行路径： 如果是int型那么程序走这条路；如果是float型那么走那条路；如果是左值引用类型走第三条路；。。。。。。 举个极为精悍的小例子。这就是STL 的<utility>中的std::remove_reference类模板。 其功能是把一个（作为模板参数传进来的）数据类型去除“引用”得到其基类型。其实现为一个普通模板与两个偏特化模板，每个只需要写一行： template< class T > struct remove_reference {typedef T type;}; //普通模板 template< class T > struct remove_reference<T&> {typedef T type;}; //偏特化模板，适用于左值引用 template< class T > struct remove_reference<T&&> {typedef T type;}; //偏特化模板，适用于右值引用（实际上也适用左值引用） 这种模板编程，由编译器来执行（编程者所期望的）程序流程。编译器优先选择做特化的模板并套用之。这就相当于依据模板参数的类型来做了if-then-else分支判断。对于左值引用类型，编译器当然要用上述第二个类模板；对于右值引用类型，编译器只好选择第三个类模板；对于既不是左值引用也非右值引用的类型【即它就不是引用类型】只好选择第一个模板。这就轻而易举的实现了 数据类型去除“引用”得到其基类型 的功能。 结论：对于编程者来说，模板的特化/偏特化的最根本功用就是一种if-then-else的语言分支结构。