特定值的c++模板专门化

C++ template specialization for specific values

本文关键字：专门化 c++      更新时间：2023-10-16

我有一个结构体Opers，它有一些算术运算:mult(), div(), mod()。

我需要为n的某些值特殊化模板。以下是Opers<1>的示例。

但是，我还想对2的幂n进行专一化(n = 2,4,8,16，…)-在这种情况下，我可以优化操作mult()和div()(使用位向左或向右移动)。

#include <iostream>
using namespace std;
template<int n> struct Opers {
    int mult(int x){
        return n*x;
    }
    int div(int x){
        return x / n;
    }   
    int mod(int x){
        return x % n;
    }   
};
template<> struct Opers<1> {
    int mult(int x){
        return 1;
    }
    int div(int x){
        return x;
    }   
    int mod(int x){
        return 0;
    }           
};
int main() {
    Opers<1> el2;
    cout << el2.mult(3) <<endl;
}

我在寻找像

这样的建筑
template<> struct Opers<isPowerOfTwo()>
    int mult(int x){
        // do smth
     }

有可能吗?我应该看什么手册?

乌利希期刊指南。使用c++ 11是允许的，甚至会更好。

在c++ 11中，可以这样做。首先，更改主模板，使其接受第二个虚拟参数:

template<int n, typename = void>
struct Opers 
{
    // ...
};

然后，写一个constexpr函数来判断一个整数是否是2的幂:

constexpr bool is_power_of_two(int x)
{
    return (x == 1) || ((x % 2 == 0) && is_power_of_two(x / 2));
}

最后，根据constexpr函数的结果使用SFINAE来启用或禁用专门化:

#include <type_traits>
template<int n>
struct Opers<n, typename std::enable_if<is_power_of_two(n)>::type>
{
    // ...
};

template <int N, typename = void>
struct Operations
{
    // ....
};
template <int N, typename = std::enable_if<(N & (N - 1))>::type>
struct Operations
{
    // ....
};
相关文章：