分类导航

C&C++ 发布时间：2022-04-03 发布网站：大佬教程 code.js-code.com

大佬教程收集整理的这篇文章主要介绍了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 ) ;
...

在内部,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问题.

解决方法

@H_673_21@ 您需要重新映射特征来简单地从输入类型映射到输出类型,并让您的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);
}