Избирательное наследование от parametr pack'a

[220Volt]

struct AND {};
struct OR {};

struct S1 {};
struct S2 {};
struct S3 {};

template <typename... _T>
struct QQ : public _T... {};
 
int main()
{
    QQ <S1, AND, S2, AND, S3> qq;
    
    return 0;
}

Как сделать предком для QQ каждый второй тип (S1, S2, S3)? Количество S неизвестно. Или вместо AND и OR подставить какой-нибудь template <int index> empty; Но откуда взять индекс? Нужна какая-то compile time переменная.

[220Volt]

Всё, додумался:

#include <iostream>
using namespace std;

struct AND {};
struct OR {};

struct S1 { int s{1}; };
struct S2 { int s{2}; };
struct S3 { int s{3}; };

//---- Делаем "прокладку"---
template <typename... _Tail>
struct W {};

template <typename _Type, typename _Operator, typename... _Tail>
struct W<_Type, _Operator, _Tail...> : virtual public _Type, public W<_Tail...> {};

template <typename _Type>
struct W<_Type> : virtual public _Type {};
//-------------------------

template <typename... _T>
struct QQ : public W<_T...> {};
 
int main()
{
    QQ <S1, AND, S2, AND, S3, OR, S2, AND, S1> qq;
    // проверка 
    cout << qq.S1::s << "\n";
    cout << qq.S2::s << "\n";
    cout << qq.S3::s << "\n";
    
    return 0;
}

[rrrFer]

Зачем это? )

[220Volt]

Сообщение от rrrFer

Зачем это? )

Сложно объяснить )). Это что-то вроде подключения модулей к классу. Класс занимается поиском. Например, найти холодное И мокрое ИЛИ теплое И сухое. Вообще я в восторге, очень гибко.

P.S: если кого-то это интересует, могу привести код, в котором отсутствует виртуальное наследование.