I have a template class which recursively build fibonacci array using template recursion like this:
#include <iostream>
#include "C++ Helpers/static_check.hpp"
using namespace std;
template <typename T>
struct valid_type : std::integral_constant<bool, std::is_integral<T>::value > {};
template <size_t N, typename = void>
struct fibonacci {
static const int value = fibonacci<N - 1>::value + fibonacci<N - 2>::value;
};
template <size_t N>
struct fibonacci <N, typename std::enable_if<(N < 2)>::type > {
static const int value = 1;
};
template <size_t N, typename T = int>
struct fibonacci_array {
static_assert(valid_type<T>::value, "invalid storage type for fibonacci sequence");
// the base case specialization should has all general case code except for the next line
fibonacci_array<N - 1, T> generate_sequence_here;
int value;
fibonacci_array() : value(fibonacci<N - 1>::value) {}
int operator [] (size_t pos) {
return *((int*)this + pos);
}
};
template <typename T>
struct fibonacci_array<1, T> {
static_assert(valid_type<T>::value, "invalid storage type for fibonacci sequence");
int value;
fibonacci_array() : value(fibonacci<0>::value) {}
int operator [] (size_t pos) {
return *((int*)this + pos);
}
};
int main () {
const size_t n = 10;
fibonacci_array<n, int> arr;
for(size_t i = 0; i < n; ++i)
cout << arr[i] << endl;
return 0;
}
what i want to do is to eliminate code redundancy in the base case specialization (when N == 1
) Note: if i partitioned the class members into private and public ones and used direct inheritance, it wouldn't be efficient because the private members are actually get inherited but without access to them. i'm thinking of creating a base class to make the general template class and the specialization inherit from it, but i don't know the exact syntax for that and if there's nicer way it would be better. thanks!
Aucun commentaire:
Enregistrer un commentaire