Производный класс не может вызывать рекурсивно унаследованные функции-члены C++ ⇐ C++

[Anonymous]

Я делаю это, используя множественное наследование с парной структурой, которая содержит
индекс и тип элемента в рекурсивной структуре, например:
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