c++: Example for specialized templates