c – 多种类型的模板专业化

概述标题有点含糊不清. 可以说我有一个模板定义为： template < typename T >void foo ( int x ) ;template <>void foo<char> ( int x ) ;template <>void foo<unsigned char> ( int x ) ;template <>void foo<short> ( int x ) ;... 标题有点含糊不清.

可以说我有一个模板定义为：

template < typename T >voID foo ( int x ) ;template <>voID foo<char> ( int x ) ;template <>voID foo<unsigned char> ( int x ) ;template <>voID foo<short> ( int x ) ;...

在内部,foo< signed>()和foo< unsigned>()完全相同.唯一的要求是T是8位类型.

我可以通过创建另一个模板来定义基于大小的标准类型.

template < typename T,size_t N = sizeof( T ) > struct remap ;template < typename T,size_t > struct remap< 1 >{    typedef unsigned char value;}...

注意,功能模板不能有默认参数.此解决方案仅将问题重定位到另一个模板,并且如果有人尝试将结构类型作为参数传递,则也会引入问题.

在不重复这些函数声明的情况下解决这个问题最优雅的方法是什么？

这不是C 11问题.

解决方法 您需要重新映射特征来简单地从输入类型映射到输出类型,并让您的foo< T>(int)接口函数委托给foo_implementation< remap< T> :: type>(int)实现.即：

template <typename T>struct remap {    // Default: Output type is the same as input type.    typedef T type;};template <>struct remap<char> {    typedef unsigned char type;};template <>struct remap<signed char> {    typedef unsigned char type;};template <typename T>voID foo_impl(int x);template <>voID foo_impl<unsigned char>(int x) {    std::cout << "foo_impl<unsigned char>(" << x << ") called\n";}template <typename T>voID foo(int x) {    foo_impl<typename remap<T>::type>(x);}

See it live at ideone.com.

也就是说,定义foo_char,foo_int和foo_short并从客户端代码中调用正确的可能实际上更简单. foo< X>()在语法上与foo_X()没有多大区别.

总结

以上是内存溢出为你收集整理的c – 多种类型的模板专业化全部内容，希望文章能够帮你解决c – 多种类型的模板专业化所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。