Я делаю это, используя множественное наследование с парной структурой, которая содержит
индекс и тип элемента в рекурсивной структуре, например:
template
struct ok;
template
struct ok
{
t val;
};
template
struct ok : ok
{
t val;
}
Он также содержит функцию fu (здесь не показана), которая в специализированной версии (той, которую СЛЕДУЕТ использовать всегда) вызывается, когда шаблон int 'index2' совпадает с индексом пары, и просто печатает что-то для подтверждения того, что он был вызван.
Основной кортеж наследует первую пару:
template
struct bok : ok
{
};
Проблема в том, что он вызывает fu только для первой пары, а не для пар, унаследованных от первой пары, которые действительно имеют соответствующий индекс.
Вывод кода:
index:2
index:1
index:0
right: 0
wrong: 0 1
wrong: 0 2
Я пробовал рекурсивно содержать следующую пару, но это тоже не работает.
Как это исправить?
Вот весь код: (MSVC C++20)
#include
using std::cout;
template
struct ok;
template
struct ok
{
ok()
{
cout
Подробнее здесь: https://stackoverflow.com/questions/797 ... unctions-c
