Как автоматизировать создание наборов шаблонных классов на основе элементов массива?

Question

У меня есть std::array, который заполнен всеми типами перечисления. Я бы хотел реализовать мои кортежи на основе .

class CompBase 
{ 
public: 
    enum CompType{ 
     INPUT, 
     GRAPHICS 
     // (+ 5-10 additional types) 
    }; 

    static const std::array<CompType, 2> compTypeArr; 
}; 

const std::array<CompBase::CompType, 2> CompBase::compTypeArr = 
{ 
    CompBase::INPUT, 
    CompBase::GRAPHICS 
}; 

template<CompBase::CompType compType_e> 
class CompHolder {}; // owns one component 

template<CompBase::CompType compType_e> 
class CompContainer {}; // references N components 

class CompInterface 
{ 
    // ... 
private: 
    std::tuple // I want to automate this, 
    < 
     CompHolder<CompBase::INPUT>, 
     CompHolder<CompBase::GRAPHICS> 
    > compHolders; 
}; 

class CompHandler 
{ 
    // ... 
private: 
    std::tuple // and this process, based on the predefined array 
    < 
     CompCont<CompBase::INPUT>, 
     CompCont<CompBase::GRAPHICS> 
    > compContainers; 
}; 

В моем понимании std::make_tuple даже не constexpr перед тем c++14ref , так что я не уверен, если это вообще возможно, так как я был бы нужен метод c++11. Наличие массива я считаю вроде обязательным, поскольку только перечисление не предоставляет необходимых функций для чего-то вроде этого.

Answer 1

Вот решение, которое работает на C++ 11. Как обсуждалось в комментариях, использование std::array будет работать в C++ 14, где его конструкторы доступа были сделаны constexpr.

#include <tuple> 
#include <type_traits> 
#include <iostream> 

class CompBase 
{ 
public: 
    enum CompType { 
     INPUT, 
     GRAPHICS 
     // (+ 5-10 additional types) 
    }; 
}; 

template<CompBase::CompType...> struct CTLHelper; 
using CompTypeList = CTLHelper< 
    CompBase::INPUT, 
    CompBase::GRAPHICS 
>; 

template<template<CompBase::CompType> class, class> struct CompTupleMaker; 
template<template<CompBase::CompType> class H, CompBase::CompType... Es> 
struct CompTupleMaker<H, CTLHelper<Es...>> 
{ 
    using type = std::tuple<H<Es>...>; 
}; 

template<CompBase::CompType compType_e> 
class CompHolder {}; // owns one component 

template<CompBase::CompType compType_e> 
class CompContainer {}; // references N components 

using CompHolderTuple = CompTupleMaker<CompHolder, CompTypeList>::type; 
using CompContainerTuple = CompTupleMaker<CompContainer, CompTypeList>::type; 

class CompInterface 
{ 
    // ... 
private: 
    CompHolderTuple compHolders; 
}; 

class CompHandler 
{ 
    // ... 
private: 
    CompContainerTuple compContainers; 
}; 


int main() 
{ 
    // just a quick check 
    std::cout << std::is_same<CompHolderTuple, std::tuple<CompHolder<CompBase::INPUT>, CompHolder<CompBase::GRAPHICS>>>::value << '\n'; 
} 

Если вам действительно нужны эти счётчики в массиве в C++ 11, вы можете использовать встроенный в массив, объявленный constexpr - вы можете ссылаться на его элементы в константных выражениях. Я бы сказал, что это имеет смысл только в том случае, если вам нужен массив для чего-то другого; если все, что вам нужно, является держателем списка перечислителей, в этом случае вариационное решение проще. Для решения массива вам понадобится нечто похожее на C++ 14's std::index_sequence, чтобы развернуть массив.