c – 多种类型的模板专业化
发布时间：2020-12-16 03:32:33 所属栏目：百科 来源：网络整理
导读：标题有点含糊不清. 可以说我有一个模板定义为： template typename T void foo ( int x ) ;template void foochar ( int x ) ;template void foounsigned char ( int x ) ;template void fooshort ( int x ) ;... 在内部,foo signed()和foo unsigned()完全相
|
标题有点含糊不清.
可以说我有一个模板定义为： 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 << ") calledn";
}
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()没有多大区别. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |