标题有点含糊不清.
可以说我有一个模板定义为：
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);
}
也就是说,定义foo_char,foo_int和foo_short并从客户端代码中调用正确的可能实际上更简单. foo< X>()在语法上与foo_X()没有多大区别.
