specialization

Possible Duplicate: partial specialization of function template I can't find anywhere a solution for my problem, because if I search with the keywords I come up with would give me solutions suited for different problems. I understand that this must been asked before, just can't find a solution. Suppose I have a function template: template<class any> print(any value); I can specialize it like this for let's say a int : template<> print<int>(int value) { std::cout << value; } But now the problem, I want it to work with a vector as well. Since the vector class is a template class it becomes

There is the template class List. template <typename Point> class List { public: template <const unsigned short N> void load ( const char *file); ... }; template <typename Point> template <const unsigned short N> void List <Point>::load ( const char *file) } How to specialize method load for N=2? This code is not valid... template <typename Point> void List <Point> <2>::load ( const char *file) { } And this code also does not work. template <typename Point> void List <Point> ::load <2> ( const char *file ) { } Error 3 error C2768: 'List<Point>::load' : illegal use of explicit template

Consider the following code: template <int dim> struct vec { vec normalize(); }; template <> struct vec<3> { vec cross_product(const vec& second); vec normalize(); }; template <int dim> vec<dim> vec<dim>::normalize() { // code to normalize vector here return *this; } int main() { vec<3> direction; direction.normalize(); } Compiling this code produces the following error: 1>main.obj : error LNK2019: unresolved external symbol "public: struct vec<3> __thiscall vec<3>::normalize(void)" (?normalize@?$vec@$02@@QAE?AU1@XZ) referenced in function _main You can't :) What you want is to specialize the

Specialization promises to provide high-efficiency implmentations for primitive types with minimal extra boilerplate. But specialization seems to be too eager for its own good. If I want to specialize a class or method, def foo[@specialized(Byte) A](a: A): String = ??? class Bar[@specialized(Int) B] { var b: B = ??? def baz: B = ??? } then I am required to write a single implementation that covers both the specialized and the generic cases. What if those cases are really different from each other, such that the implementations do not overlap? For example, if I wanted to perform math on bytes,

I'm basically trying to do what was discussed in Template specialization of a single method from a templated class except that my TClass has multiple template Parameters like this: template < class KEY, class TYPE > class TClass { public: : void doSomething(KEY * v); : }; template < class KEY, class TYPE > void TClass<KEY, TYPE>::doSomething(KEY * v) { // do something } This works so far, but how do I define a specialized implementation for one template Parameter? I tried adding this: template < class TYPE > void TClass<int, TYPE>::doSomething(int * v) { // do something if KEY is int } but the

Why is the output of this code : #include <iostream> template<typename T> void f(T param) { std::cout << "General" << std::endl ; } template<> void f(int& param) { std::cout << "int&" << std::endl ; } int main() { float x ; f (x) ; int y ; f (y) ; int& z = y ; f (z) ; } is General General General The third one is surprizing because the function was specialized exactly for int& Edit : I know that overloading might be a proper solution. I just want to learn the logic behind it. The type of both the expression y and the expression z is int . A reference appearing in an expression won't keep

最近在读《STL源码剖析》。读这本书的时候发现自己的C++的知识其实是非常匮乏的。 从大学的C++教材上学到一些C++基本的语法、内存管理、继承、多态等方面的基础知识。这些只是是一棵大树的根。而读STL的源码和侯捷的解析的时候，发现C++还有很多丰富的细节和技巧。这些是大树上的枝叶。学习C++，不仅要学习根，也要学习枝叶，这样才能让大树茂盛起来。虽然C++语法一些用法较为晦涩，但读完这些代码之后觉得思路比以前更开阔，另外可以活动脑筋。 比如模板的偏特化这个特性。侯捷的《STL源码剖析》中对于模板的偏特化(partial specialization)的解释为： 如果class template拥有一个以上的template参数，我们可以针对其中某个或多个 template参数进行特化工作。template是一个很抽象的东西。template偏特化之后就让模板变得具体那么一点点。 用一个形象一点的比喻吧。我们把template比作一个装东西的篮子。这个篮子既可以装鸡蛋，也可以装苹果。那么所谓偏特化就是让你用一个篮子专门装水果，这就是template水果篮。以后你就只能使用水果篮来装苹果、装梨，而不能使用其他的篮子来装这些水果了。 看一个STL例子： 有一个“篮子” iterator_traits， 它内部typedef 了value_type类型，用来定义模板的参数类型class I